Instrumentation of Java Bytecode for Runtime Analysis
ThispaperdescribesJSpy,asystemforhigh-levelinstrumentationofJavabytecodeanditsusewithJPaX,oursystemforruntimeanalysisofJavaprograms.JPaXmonitorstheexecutionoftemporallogicformulasandperformspredicativeanalysisofdeadlocksanddataraces.JSpy’sinputisaninstrumentationspecification,whichcons
下载地址
用户评论
