Menu
▾
▴
javapathfinder-devel
|
From: <pc...@us...> - 2007-06-21 18:28:22
|
Revision: 368
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=368&view=rev
Author: pcorina
Date: 2007-06-21 11:28:16 -0700 (Thu, 21 Jun 2007)
Log Message:
-----------
symbolic execution by "non-standard" bytecode interpretation
== WORK IN PROGRESS ==
Added Paths:
-----------
trunk/extensions/symbc/src/
trunk/extensions/symbc/src/gov/
trunk/extensions/symbc/src/gov/nasa/
trunk/extensions/symbc/src/gov/nasa/jpf/
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicInstructionFactory.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/Helper.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IADD.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/ICONST.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFLE.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFLT.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IINC.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKESTATIC.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKEVIRTUAL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/PCBooleanChoiceGenerator.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/examples/
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/examples/ExSymExe.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/BinaryLinearExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/BinaryNonLinearExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/Comparator.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/Constraint.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/Equal.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/Example.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/Expression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/FloatConstant.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/GreaterEqual.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/GreaterThan.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/IntegerConstant.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/LessEqual.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/LessThan.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/LinearConstraint.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/LinearExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/Minus.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/MultiplyBy.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/NonLinearConstraint.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/NonLinearExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/NotEqual.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/Operator.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/PathCondition.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/Plus.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/SymbolicConstraints.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/SymbolicConstraintsSolver.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/integer/SymbolicInteger.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-06-27 21:30:59
|
Revision: 408
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=408&view=rev
Author: sjp100
Date: 2007-06-27 14:30:58 -0700 (Wed, 27 Jun 2007)
Log Message:
-----------
The invokevirtual bytecode now checks to see if the method invoked is contained in the
JPF property symbolic.method; added the same information to the readme file
Modified Paths:
--------------
trunk/extensions/symbc/Readme
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKEVIRTUAL.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-06-29 17:55:43
|
Revision: 421
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=421&view=rev
Author: sjp100
Date: 2007-06-29 10:55:31 -0700 (Fri, 29 Jun 2007)
Log Message:
-----------
Added support for symbolic execution of bytecodes: IF_ICMPLE & IF_ICMPLT, including unit tests (still in the old style)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicInstructionFactory.java
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPLE.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPLT.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExe18.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExe19.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExe20.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExe21.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-07-02 23:20:59
|
Revision: 425
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=425&view=rev
Author: sjp100
Date: 2007-07-02 16:20:47 -0700 (Mon, 02 Jul 2007)
Log Message:
-----------
Added support to turn state matching off during symbolic execution
and setting it back to what it was originally; note that state
matching stays off for all methods called by the method that
is executed symbolically
Added support for specifying which parameter(s) should be
executed concretely and which should be executed symbolically
during symbolic execution of a method
NOTE: NOT FULLY TESTED!
Modified Paths:
--------------
trunk/extensions/symbc/Readme
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKEVIRTUAL.java
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2007-08-07 18:29:25
|
Revision: 481
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=481&view=rev
Author: ubnepvpb
Date: 2007-08-07 11:29:22 -0700 (Tue, 07 Aug 2007)
Log Message:
-----------
IF_ICMPEQ and IF_ICMPNE byte codes + tests
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPEQ.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPNE.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExe28.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExe29.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-10-04 14:55:42
|
Revision: 595
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=595&view=rev
Author: sjp100
Date: 2007-10-04 07:55:35 -0700 (Thu, 04 Oct 2007)
Log Message:
-----------
Updated support for floating point symbolic execution; fixed a bug in FNEG, added test case for float bytecodes
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicInstructionFactory.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FADD.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FCMPG.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FCMPL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FDIV.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FMUL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FNEG.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FSUB.java
Added Paths:
-----------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExe30.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2007-10-19 23:22:21
|
Revision: 639
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=639&view=rev
Author: ubnepvpb
Date: 2007-10-19 16:22:18 -0700 (Fri, 19 Oct 2007)
Log Message:
-----------
The symbolic and concrete values were swapped in some of the code creating the new PathCondition.
Add TestUtils
Fix PathConditionListener to work with Corina's new PCChoiceGenerator class
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DCMPG.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DCMPL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FCMPG.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FCMPL.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/PathConditionListener.java
Added Paths:
-----------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_TestUtils.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestUtils.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2007-11-30 21:25:21
|
Revision: 674
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=674&view=rev
Author: ubnepvpb
Date: 2007-11-30 13:24:34 -0800 (Fri, 30 Nov 2007)
Log Message:
-----------
Add a worked example to the Symbolic Execution document.
Modified Paths:
--------------
trunk/extensions/symbc/doc/index.html
Added Paths:
-----------
trunk/extensions/symbc/doc/MyClass1_Run_P1.PNG
trunk/extensions/symbc/doc/MyClass1_Run_P2.PNG
trunk/extensions/symbc/doc/MyClass1_Run_P4.PNG
trunk/extensions/symbc/examples/MyClass1.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2007-12-01 01:08:45
|
Revision: 675
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=675&view=rev
Author: ubnepvpb
Date: 2007-11-30 17:08:41 -0800 (Fri, 30 Nov 2007)
Log Message:
-----------
Add some more documentation for symbolic execution.
Modified Paths:
--------------
trunk/extensions/symbc/doc/index.html
Added Paths:
-----------
trunk/extensions/symbc/examples/MyClass2.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2007-12-05 01:21:50
|
Revision: 679
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=679&view=rev
Author: pcorina
Date: 2007-12-04 17:21:48 -0800 (Tue, 04 Dec 2007)
Log Message:
-----------
implemented symbolic I2F
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/I2F.java
Added Paths:
-----------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExeI2F.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2007-12-05 01:53:49
|
Revision: 680
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=680&view=rev
Author: pcorina
Date: 2007-12-04 17:53:47 -0800 (Tue, 04 Dec 2007)
Log Message:
-----------
implemented symbolic F2I
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/F2I.java
Added Paths:
-----------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExeF2I.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2007-12-05 02:00:53
|
Revision: 681
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=681&view=rev
Author: pcorina
Date: 2007-12-04 18:00:51 -0800 (Tue, 04 Dec 2007)
Log Message:
-----------
implemented symbolic F2L
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/D2I.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/F2I.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/F2L.java
Added Paths:
-----------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExeF2L.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2007-12-05 20:46:57
|
Revision: 684
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=684&view=rev
Author: ubnepvpb
Date: 2007-12-05 12:46:55 -0800 (Wed, 05 Dec 2007)
Log Message:
-----------
More Symbolic Execution documentation
Modified Paths:
--------------
trunk/extensions/symbc/doc/index.html
trunk/extensions/symbc/examples/MyClass1.java
Added Paths:
-----------
trunk/extensions/symbc/examples/MyDriver1.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2007-12-06 01:04:33
|
Revision: 688
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=688&view=rev
Author: ubnepvpb
Date: 2007-12-05 17:04:31 -0800 (Wed, 05 Dec 2007)
Log Message:
-----------
Add a floating point example for Symbolic Execution
Modified Paths:
--------------
trunk/extensions/symbc/doc/index.html
Added Paths:
-----------
trunk/extensions/symbc/examples/MyClassFP.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2007-12-07 00:32:40
|
Revision: 694
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=694&view=rev
Author: ubnepvpb
Date: 2007-12-06 16:32:39 -0800 (Thu, 06 Dec 2007)
Log Message:
-----------
More testing of path conditions
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/BinaryLinearIntegerExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/BinaryNonLinearIntegerExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/BinaryRealExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/Constraint.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/Expression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/IntegerConstant.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/IntegerExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/LinearIntegerExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/NonLinearIntegerExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/PathCondition.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/RealConstant.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/RealExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicInteger.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicReal.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_TestUtils.java
Added Paths:
-----------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestPathCondition.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2007-12-08 00:07:47
|
Revision: 696
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=696&view=rev
Author: ubnepvpb
Date: 2007-12-07 16:07:45 -0800 (Fri, 07 Dec 2007)
Log Message:
-----------
Some more updates to the symbolic execution documentation.
Modified Paths:
--------------
trunk/extensions/symbc/doc/index.html
trunk/extensions/symbc/doc/index.pdf
Added Paths:
-----------
trunk/extensions/symbc/examples/MyClassWithFields.java
trunk/extensions/symbc/examples/MyDriverForFields.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2007-12-13 23:52:49
|
Revision: 700
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=700&view=rev
Author: ubnepvpb
Date: 2007-12-13 15:52:47 -0800 (Thu, 13 Dec 2007)
Log Message:
-----------
A new symbolic execution example in the doc: path coverage.
Changes to symbolic execution: new methods for collecting all the variables in a PathCondition and their values.
Modified Paths:
--------------
trunk/extensions/symbc/doc/index.html
trunk/extensions/symbc/doc/index.pdf
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/BinaryLinearIntegerExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/BinaryNonLinearIntegerExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/BinaryRealExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/Constraint.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/Expression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/IntegerConstant.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/RealConstant.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicInteger.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicReal.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/Debug.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_Debug.java
Added Paths:
-----------
trunk/extensions/symbc/examples/coverage/
trunk/extensions/symbc/examples/coverage/CheckCoverage.java
trunk/extensions/symbc/examples/coverage/JPF_coverage_CheckCoverage.java
trunk/extensions/symbc/examples/coverage/MyClassOriginal.java
trunk/extensions/symbc/examples/coverage/MyClassWithPathAnnotations.java
trunk/extensions/symbc/examples/coverage/MyDriverForPathAnnotations.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2007-12-14 22:16:14
|
Revision: 705
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=705&view=rev
Author: ubnepvpb
Date: 2007-12-14 14:16:12 -0800 (Fri, 14 Dec 2007)
Log Message:
-----------
More symbolic execution doc updates
Modified Paths:
--------------
trunk/extensions/symbc/doc/MyClass1_Run_P2.PNG
trunk/extensions/symbc/doc/MyClass1_Run_P4.PNG
trunk/extensions/symbc/doc/PathAnnotations_Run.PNG
trunk/extensions/symbc/doc/index.html
trunk/extensions/symbc/doc/index.pdf
trunk/extensions/symbc/examples/MyClass1.java
trunk/extensions/symbc/examples/MyDriver1.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2008-03-06 01:09:08
|
Revision: 774
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=774&view=rev
Author: ubnepvpb
Date: 2008-03-05 17:09:04 -0800 (Wed, 05 Mar 2008)
Log Message:
-----------
Some cleanup in the INVOKExxx instructions.
Some new tests.
Fix SymbolicInstructionFactory: it was not using the IAND bytecode from symbc.
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicInstructionFactory.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKESPECIAL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKESTATIC.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKEVIRTUAL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicInteger.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestDoubleSpecial1.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestFloatSpecial1.java
Added Paths:
-----------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestBooleanSpecial1.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestIntSpecial1.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2008-03-07 01:24:35
|
Revision: 776
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=776&view=rev
Author: ubnepvpb
Date: 2008-03-06 17:24:21 -0800 (Thu, 06 Mar 2008)
Log Message:
-----------
Make symbc.INVOKEVIRTUAL and symbc.INVOKESPECIAL more alike.
Add some self-checking test cases for INVOKEVIRTUAL.
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKESPECIAL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKEVIRTUAL.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestDoubleVirtual1.java
Added Paths:
-----------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestBooleanVirtual1.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestFloatVirtual1.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestIntVirtual1.java
Property Changed:
----------------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2008-03-26 18:00:30
|
Revision: 793
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=793&view=rev
Author: ubnepvpb
Date: 2008-03-26 10:59:32 -0700 (Wed, 26 Mar 2008)
Log Message:
-----------
Move INVOKExxx.execute() to BytecodeUtils.execute() so we don't have the same code in lots of different places.
Add some more self-checking test cases.
Fix LineNumberListener so it does not print line numbers for code in the packages "java.what.ever".
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKESPECIAL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKESTATIC.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKEVIRTUAL.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/LineNumberListener.java
Added Paths:
-----------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestBooleanStatic1.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestDoubleStatic1.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestFloatStatic1.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestIntStatic1.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2008-04-09 20:48:24
|
Revision: 813
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=813&view=rev
Author: ubnepvpb
Date: 2008-04-09 13:48:16 -0700 (Wed, 09 Apr 2008)
Log Message:
-----------
Fix bug in BytecodeUtils.execute() that only shows up when you do a switch on an enum.
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
Added Paths:
-----------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestSwitch.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
Thanks for helping keep SourceForge clean.
X