[Javapathfinder-svn] SF.net SVN: javapathfinder:[1044] trunk

[<ada...@us...>]

Revision: 1044
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1044&view=rev
Author:   adam_kiezun
Date:     2008-10-20 15:09:17 +0000 (Mon, 20 Oct 2008)

Log Message:
-----------
initial check in of concolic extension and jFuzz whitebox fuzzer (contributed by Adam Kiezun and David Harvison from MIT)

Modified Paths:
--------------
    trunk/.classpath

Added Paths:
-----------
    trunk/extensions/concolic/ReadMe.html
    trunk/extensions/concolic/lib/jpaul-2.5.1.jar
    trunk/extensions/concolic/lib/jpaul-license.txt
    trunk/extensions/concolic/src/gov/
    trunk/extensions/concolic/src/gov/nasa/
    trunk/extensions/concolic/src/gov/nasa/jpf/
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/ConcolicInstructionFactory.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/BytecodeUtils.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/D2I.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/D2L.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/DADD.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/DCMPG.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/DCMPL.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/DDIV.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/DMUL.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/DNEG.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/DREM.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/DSUB.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/F2I.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/F2L.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/FADD.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/FCMPG.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/FCMPL.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/FDIV.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/FMUL.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/FNEG.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/FREM.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/FSUB.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/I2D.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/I2F.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IADD.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IAND.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IDIV.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IFEQ.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IFGE.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IFGT.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IFLE.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IFLT.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IFNE.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IF_ICMPEQ.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IF_ICMPGE.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IF_ICMPGT.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IF_ICMPLE.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IF_ICMPLT.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IF_ICMPNE.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IINC.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IMUL.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/INEG.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/INVOKESPECIAL.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/INVOKESTATIC.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/INVOKEVIRTUAL.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IOR.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IREM.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/ISUB.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/IXOR.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/L2D.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/L2F.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LADD.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LAND.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LCMP.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LDIV.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LMUL.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LNEG.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LOR.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LREM.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LSHL.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LSHR.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LSUB.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LUSHR.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/LXOR.java
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/bytecode/package.html
    trunk/extensions/concolic/src/gov/nasa/jpf/concolic/package.html
    trunk/extensions/concolic/src/gov/nasa/jpf/util/
    trunk/extensions/concolic/src/gov/nasa/jpf/util/CollectionsExt.java
    trunk/extensions/concolic/src/gov/nasa/jpf/util/Command.java
    trunk/extensions/concolic/src/gov/nasa/jpf/util/Files.java
    trunk/extensions/concolic/src/jfuzz/
    trunk/extensions/concolic/src/jfuzz/ConcolicListener.java
    trunk/extensions/concolic/src/jfuzz/DebugFuzz.java
    trunk/extensions/concolic/src/jfuzz/JFuzz.java
    trunk/extensions/concolic/src/jfuzz/JFuzzConfig.java
    trunk/extensions/concolic/src/jfuzz/JPF_jfuzz_DebugFuzz.java
    trunk/extensions/concolic/src/jfuzz/PathCache.java
    trunk/extensions/concolic/src/jfuzz/SimplifyPC.java
    trunk/extensions/concolic/src/jfuzz/package.html
    trunk/extensions/concolic/src/jfuzz/termination/
    trunk/extensions/concolic/src/jfuzz/termination/NeverTerminate.java
    trunk/extensions/concolic/src/jfuzz/termination/TerminationStrategy.java
    trunk/extensions/concolic/src/jfuzz/termination/TimedTermination.java
    trunk/extensions/concolic/src/jfuzz/termination/UpToFixedNumber.java
    trunk/extensions/concolic/test/gov/
    trunk/extensions/concolic/test/gov/nasa/
    trunk/extensions/concolic/test/gov/nasa/jpf/
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/CharMultiArrayPC.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/CharPC.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/JPF_gov_nasa_jpf_concolic_tests_TestUtils.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/MultiArgsPC.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/MultiPC.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/SimpleCharArrayPC.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/SimplePC.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/TestUtils.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/unitTests/
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/unitTests/AbstractConcolicTest.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/unitTests/AllTests.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/unitTests/ArrayTest.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/unitTests/SimpleTest.java
    trunk/extensions/concolic/test/jfuzz/
    trunk/extensions/concolic/test/jfuzz/tests/
    trunk/extensions/concolic/test/jfuzz/tests/LargePC.java
    trunk/extensions/concolic/test/jfuzz/tests/MultipleVars.java
    trunk/extensions/concolic/test/jfuzz/tests/MyClass3.java
    trunk/extensions/concolic/test/jfuzz/tests/ReadChars.java
    trunk/extensions/concolic/test/jfuzz/tests/ReadChars2.java
    trunk/extensions/concolic/test/jfuzz/tests/ReadFile.java
    trunk/extensions/concolic/test/jfuzz/tests/ReadLargeFile.java
    trunk/extensions/concolic/test/jfuzz/tests/StringSym.java
    trunk/extensions/concolic/test/jfuzz/tests/StringTest.java
    trunk/extensions/concolic/test/jfuzz/tests/TwoClass.java
    trunk/extensions/concolic/test/jfuzz/tests/TwoClass2.java
    trunk/extensions/concolic/test/jfuzz/unitTests/
    trunk/extensions/concolic/test/jfuzz/unitTests/AbstractJFuzzTest.java
    trunk/extensions/concolic/test/jfuzz/unitTests/AllTests.java
    trunk/extensions/concolic/test/jfuzz/unitTests/ReadTest.java
    trunk/extensions/concolic/test/jfuzz/unitTests/SimpleTest.java
    trunk/extensions/concolic/test/jfuzz/unitTests/SimplifyPCTest.java
    trunk/extensions/concolic/test/txtfiles/
    trunk/extensions/concolic/test/txtfiles/2class.txt
    trunk/extensions/concolic/test/txtfiles/file.txt
    trunk/extensions/concolic/test/txtfiles/largepc.txt
    trunk/extensions/concolic/test/txtfiles/multiVars.txt
    trunk/extensions/concolic/test/txtfiles/myclass3.txt
    trunk/extensions/concolic/test/txtfiles/readChars.txt
    trunk/extensions/concolic/test/txtfiles/stringsym.txt
    trunk/extensions/concolic/test/txtfiles/ulyss12.txt

Property Changed:
----------------
    trunk/extensions/concolic/


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.