Instrumentation of Java Bytecode for Runtime Analysis

ThispaperdescribesJSpy,asystemforhigh-levelinstrumentationofJavabytecodeanditsusewithJPaX,oursystemforruntimeanalysisofJavaprograms.JPaXmonitorstheexecutionoftemporallogicformulasandperformspredicativeanalysisofdeadlocksanddataraces.JSpy’sinputisaninstrumentationspecification,whichcons