dslab-epfl/s2e — pull request #41 by Calcor (2013-06-04 07:52:13+00:00)
Title: port  klee svn -r 181583 to s2e master

modified: klee/autoconf/configure.ac
modified: klee/configure
deleted: klee/docs/doxygen.cfg
modified: klee/examples/sort/sort.c
modified: klee/include/klee/AddressSpace.h
modified: klee/include/klee/BitfieldSimplifier.h
modified: klee/include/klee/Common.h
deleted: klee/include/klee/Config/common.h
modified: klee/include/klee/Config/config.h.in
modified: klee/include/klee/Constraints.h
modified: klee/include/klee/ExecutionState.h
modified: klee/include/klee/Executor.h
modified: klee/include/klee/Expr.h
modified: klee/include/klee/ExternalDispatcher.h
modified: klee/include/klee/IncompleteSolver.h
modified: klee/include/klee/Internal/Module/KInstruction.h
modified: klee/include/klee/Internal/Module/KModule.h
modified: klee/include/klee/Internal/Support/ModuleUtil.h
modified: klee/include/klee/Interpreter.h
modified: klee/include/klee/Memory.h
modified: klee/include/klee/PTree.h
modified: klee/include/klee/Searcher.h
modified: klee/include/klee/Solver.h
modified: klee/include/klee/SolverImpl.h
modified: klee/include/klee/SolverStats.h
modified: klee/include/klee/Statistic.h
modified: klee/include/klee/StatsTracker.h
modified: klee/include/klee/TimerStatIncrementer.h
modified: klee/include/klee/UserSearcher.h
modified: klee/include/klee/util/Assignment.h
modified: klee/include/klee/util/BitArray.h
modified: klee/include/klee/util/Bits.h
modified: klee/include/klee/util/ExprPPrinter.h
modified: klee/include/klee/util/Ref.h
modified: klee/lib/Core/AddressSpace.cpp
modified: klee/lib/Core/CallPathManager.cpp
modified: klee/lib/Core/Common.cpp
modified: klee/lib/Core/Context.cpp
modified: klee/lib/Core/CoreStats.cpp
modified: klee/lib/Core/ExecutionState.cpp
modified: klee/lib/Core/Executor.cpp
modified: klee/lib/Core/ExecutorTimers.cpp
modified: klee/lib/Core/ExecutorUtil.cpp
modified: klee/lib/Core/ExternalDispatcher.cpp
modified: klee/lib/Core/ImpliedValue.cpp
modified: klee/lib/Core/Makefile
modified: klee/lib/Core/Memory.cpp
modified: klee/lib/Core/MemoryManager.cpp
modified: klee/lib/Core/MemoryManager.h
modified: klee/lib/Core/PTree.cpp
modified: klee/lib/Core/Searcher.cpp
modified: klee/lib/Core/SpecialFunctionHandler.cpp
modified: klee/lib/Core/SpecialFunctionHandler.h
modified: klee/lib/Core/StatsTracker.cpp
modified: klee/lib/Core/TimingSolver.cpp
modified: klee/lib/Core/UserSearcher.cpp
modified: klee/lib/Expr/BitfieldSimplifier.cpp
modified: klee/lib/Expr/Expr.cpp
modified: klee/lib/Expr/ExprPPrinter.cpp
modified: klee/lib/Expr/Lexer.cpp
modified: klee/lib/Expr/Parser.cpp
modified: klee/lib/Expr/Updates.cpp
modified: klee/lib/Module/Checks.cpp
modified: klee/lib/Module/InstructionInfoTable.cpp
modified: klee/lib/Module/IntrinsicCleaner.cpp
modified: klee/lib/Module/KModule.cpp
modified: klee/lib/Module/LowerSwitch.cpp
modified: klee/lib/Module/Makefile
modified: klee/lib/Module/ModuleUtil.cpp
modified: klee/lib/Module/Optimize.cpp
modified: klee/lib/Module/Passes.h
modified: klee/lib/Module/RaiseAsm.cpp
modified: klee/lib/Solver/CachingSolver.cpp
modified: klee/lib/Solver/CexCachingSolver.cpp
modified: klee/lib/Solver/FastCexSolver.cpp
modified: klee/lib/Solver/IncompleteSolver.cpp
modified: klee/lib/Solver/IndependentSolver.cpp
modified: klee/lib/Solver/Makefile
modified: klee/lib/Solver/PCLoggingSolver.cpp
modified: klee/lib/Solver/STPBuilder.cpp
modified: klee/lib/Solver/STPBuilder.h
modified: klee/lib/Solver/Solver.cpp
modified: klee/lib/Solver/SolverStats.cpp
modified: klee/lib/Support/Time.cpp
modified: klee/lib/Support/Timer.cpp
modified: klee/runtime/Intrinsic/Makefile
modified: klee/runtime/Intrinsic/memset.c
modified: klee/runtime/Makefile
modified: klee/runtime/POSIX/fd.c
modified: klee/runtime/POSIX/klee_init_env.c
modified: klee/runtime/POSIX/stubs.c
deleted: klee/runtime/POSIX/testing-dir/a
deleted: klee/runtime/POSIX/testing-dir/b
modified: klee/runtime/POSIX/testing-dir/c
modified: klee/runtime/Runtest/intrinsics.c
modified: klee/runtime/klee-libc/Makefile
modified: klee/runtime/klee-libc/htonl.c
modified: klee/runtime/klee-libc/klee-choose.c
modified: klee/scripts/IStatsMerge.py
modified: klee/scripts/IStatsSum.py
modified: klee/scripts/klee-control
modified: klee/scripts/klee-gcc
modified: klee/scripts/objdump
deleted: klee/stp/AST/AST.cpp
deleted: klee/stp/AST/AST.h
deleted: klee/stp/AST/ASTKind.kinds
deleted: klee/stp/AST/ASTUtil.cpp
deleted: klee/stp/AST/ASTUtil.h
deleted: klee/stp/AST/BitBlast.cpp
deleted: klee/stp/AST/Makefile
deleted: klee/stp/AST/STLport_config.h
deleted: klee/stp/AST/SimpBool.cpp
deleted: klee/stp/AST/ToCNF.cpp
deleted: klee/stp/AST/ToSAT.cpp
deleted: klee/stp/AST/Transform.cpp
deleted: klee/stp/AST/asttest.cpp
deleted: klee/stp/AST/bbtest.cpp
deleted: klee/stp/AST/cnftest.cpp
deleted: klee/stp/AST/genkinds.pl
deleted: klee/stp/INSTALL
deleted: klee/stp/LICENSE
deleted: klee/stp/Makefile
deleted: klee/stp/Makefile.common.in
deleted: klee/stp/README
deleted: klee/stp/bitvec/Makefile
deleted: klee/stp/bitvec/consteval.cpp
deleted: klee/stp/c_interface/Makefile
deleted: klee/stp/c_interface/c_interface.cpp
deleted: klee/stp/c_interface/c_interface.h
deleted: klee/stp/c_interface/fdstream.h
deleted: klee/stp/constantbv/Makefile
deleted: klee/stp/constantbv/constantbv.cpp
deleted: klee/stp/constantbv/constantbv.h
deleted: klee/stp/parser/Makefile
deleted: klee/stp/parser/PL.lex
deleted: klee/stp/parser/PL.y
deleted: klee/stp/parser/let-funcs.cpp
deleted: klee/stp/parser/main.cpp
deleted: klee/stp/parser/smtlib.lex
deleted: klee/stp/parser/smtlib.y
deleted: klee/stp/sat/Global.h
deleted: klee/stp/sat/Heap.h
deleted: klee/stp/sat/LICENSE
deleted: klee/stp/sat/Makefile
deleted: klee/stp/sat/Simplifier.C
deleted: klee/stp/sat/Solver.C
deleted: klee/stp/sat/Solver.h
deleted: klee/stp/sat/SolverTypes.h
deleted: klee/stp/sat/Sort.h
deleted: klee/stp/sat/VarOrder.h
deleted: klee/stp/simplifier/Makefile
deleted: klee/stp/simplifier/bvsolver.cpp
deleted: klee/stp/simplifier/bvsolver.h
deleted: klee/stp/simplifier/simplifier.cpp
deleted: klee/stp/stp/Makefile
modified: klee/test/CXX/ArrayNew.cpp
modified: klee/test/CXX/New.cpp
modified: klee/test/CXX/SimpleVirtual.cpp
modified: klee/test/CXX/StaticConstructor.cpp
modified: klee/test/CXX/StaticDestructor.cpp
modified: klee/test/CXX/Trivial.cpp
modified: klee/test/Concrete/Casts.ll
modified: klee/test/Concrete/ConcreteTest.py
modified: klee/test/Concrete/GlobalInitializers.ll
modified: klee/test/Dogfood/ImmutableSet.cpp
modified: klee/test/Feature/CallToUndefinedExternal.cpp
modified: klee/test/Feature/CopyOnWrite.c
modified: klee/test/Feature/ExprLogging.c
modified: klee/test/Feature/GetValue.c
modified: klee/test/Feature/MakeSymbolicName.c
modified: klee/test/Feature/Optimize.c
deleted: klee/test/Feature/ReallocFailure.c
modified: klee/test/Feature/ReplayPath.c
modified: klee/test/Feature/Searchers.c
modified: klee/test/Feature/WriteCov.c
modified: klee/test/Makefile
modified: klee/test/Runtime/POSIX/DirConsistency.c
modified: klee/test/Runtime/POSIX/DirSeek.c
modified: klee/test/Runtime/POSIX/FDNumbers.c
modified: klee/test/Runtime/POSIX/FD_Fail.c
modified: klee/test/Runtime/POSIX/FD_Fail2.c
modified: klee/test/Runtime/POSIX/Fcntl.c
modified: klee/test/Runtime/POSIX/FilePerm.c
modified: klee/test/Runtime/POSIX/FreeArgv.c
modified: klee/test/Runtime/POSIX/Getenv.c
modified: klee/test/Runtime/POSIX/Ioctl.c
modified: klee/test/Runtime/POSIX/Isatty.c
modified: klee/test/Runtime/POSIX/PrgName.c
modified: klee/test/Runtime/POSIX/Read1.c
modified: klee/test/Runtime/POSIX/SeedAndFail.c
modified: klee/test/Runtime/POSIX/Stdin.c
modified: klee/test/Runtime/POSIX/Write1.c
modified: klee/test/Runtime/POSIX/Write2.c
modified: klee/test/Runtime/Uclibc/Environ.c
modified: klee/test/Solver/FastCexSolver.pc
modified: klee/test/TestRunner.sh
modified: klee/test/lib/llvm.exp
modified: klee/test/regression/2007-08-01-bool-zext-in-call.ll
modified: klee/test/regression/2007-08-16-invalid-constant-value.c
deleted: klee/test/regression/2008-02-11-phi-nodes-after-invoke.ll
modified: klee/tools/gen-random-bout/gen-random-bout.cpp
modified: klee/tools/kleaver/Makefile
modified: klee/tools/kleaver/main.cpp
modified: klee/tools/klee-replay/klee-replay.c
modified: klee/tools/klee-stats/klee-stats
modified: klee/tools/klee/Debug.cpp
modified: klee/tools/klee/Makefile
modified: klee/tools/klee/main.cpp
modified: klee/tools/ktest-tool/ktest-tool
modified: klee/unittests/Expr/Makefile
modified: klee/unittests/Makefile
modified: klee/unittests/Solver/Makefile
modified: klee/www/Documentation.html
modified: klee/www/GetInvolved.html
modified: klee/www/GetStarted.html
modified: klee/www/KQuery.html
modified: klee/www/TestingCoreutils.html
modified: klee/www/Tutorial-1.html
modified: klee/www/Tutorials.html
modified: klee/www/bugs.html
modified: klee/www/klee-files.html
modified: klee/www/klee-tools.html
modified: klee/www/menu.html.incl
modified: qemu/s2e/S2EExecutionState.cpp

Untracked files:
(use "git add ..." to include in what will be committed)

klee/docs/doxygen.cfg.in
klee/examples/get_sign/
klee/include/klee/CommandLine.h
klee/include/klee/Config/Version.h
klee/include/klee/klee.h
klee/include/klee/util/ArrayExprHash.h
klee/include/klee/util/ExprSMTLIBLetPrinter.h
klee/include/klee/util/ExprSMTLIBPrinter.h
klee/include/klee/util/GetElementPtrTypeIterator.h
klee/include/klee/util/PrintContext.h
klee/lib/Basic/CmdLineOptions.cpp
klee/lib/Core/CallPathManager.h
klee/lib/Expr/ExprSMTLIBLetPrinter.cpp
klee/lib/Expr/ExprSMTLIBPrinter.cpp
klee/lib/Module/Intrinsic
klee/lib/Solver/QueryLoggingSolver.cpp
klee/lib/Solver/QueryLoggingSolver.h
klee/lib/Solver/SMTLIBLoggingSolver.cpp
klee/test/Concrete/GlobalUndef.ll
klee/test/Expr/print-smt.pc
klee/test/Expr/print-smt.smt2.good
klee/test/Feature/BitcastAlias.ll
klee/test/Feature/ConstantStruct.ll
klee/test/Feature/FloatingPt.c
klee/test/Feature/GetElementPtr.ll
klee/test/Feature/InsertExtractValue.ll
klee/test/Feature/LargeReturnTypes.cpp
klee/test/Feature/LongDouble.cpp
klee/test/Feature/Overflow.ll
klee/test/Feature/Realloc.c
klee/test/Feature/SolverTimeout.c
klee/test/lit.cfg
klee/test/lit.site.cfg.in
klee/test/regression/2012-05-13-asm-causes-aborts.c
klee/unittests/Ref/
klee/utils/hacks/
klee/www/CoreutilsExperiments.html
klee/www/OpenProjects.html
klee/www/Publications.html
klee/www/klee-dev.html
klee/www/klee-options.html
klee/www/resources/get_sign.c.html