From: <pcm...@us...> - 2007-08-09 06:02:41
|
Revision: 499 http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=499&view=rev Author: pcmehlitz Date: 2007-08-08 23:02:40 -0700 (Wed, 08 Aug 2007) Log Message: ----------- a bunch of extensions that in the end were not needed for the TS extension, but seem to be useful enough to keep them * ClassInfo got refactored to allow reloading of classes, e.g. with a changed bytecode factory * bytecode factory can be set explicitly * ti.createAndThrowException checks if the VM handles it, and if it does so leaves the exception alone. This is esp. useful to consistently handle explicit (thrown) and implicit (VM created) exceptions, e.g. to backtrack when encountering certain exceptions * the GenericBytecodeFactory can filter target classes based on if a class belongs to the parent set of a configued 'leaf class', or the child set of a 'root class' * lots of changes in the TS extension - it now does completely homogenous execution. The mixed symolic/concrete mode was just a snake pit. static init is skipped, the VM backtracks when it encounters an exception. There's probably still a ton of pseudo inits missing though (to avoid NPEs on reference fields) Modified Paths: -------------- trunk/extensions/symts/src/gov/nasa/jpf/ts/TSInstructionFactory.java trunk/extensions/symts/src/gov/nasa/jpf/ts/TSVM.java trunk/src/gov/nasa/jpf/Config.java trunk/src/gov/nasa/jpf/jvm/ClassInfo.java trunk/src/gov/nasa/jpf/jvm/DefaultInstructionFactory.java trunk/src/gov/nasa/jpf/jvm/InstructionFactory.java trunk/src/gov/nasa/jpf/jvm/JVM.java trunk/src/gov/nasa/jpf/jvm/MethodInfo.java trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java trunk/src/gov/nasa/jpf/jvm/bytecode/FieldInstruction.java trunk/src/gov/nasa/jpf/jvm/choice/InvocationCG.java trunk/src/gov/nasa/jpf/util/GenericInstructionFactory.java Added Paths: ----------- trunk/extensions/symts/src/gov/nasa/jpf/ts/ATHROW.java This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |