[Javapathfinder-devel] SF.net SVN: javapathfinder: [368] trunk/extensions/symbc

[<pc...@us...>]

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.