about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2016-02-10Add some of the basic plumbing required to support a Z3 solver in KLEE.Dan Liew
2016-02-10Teach the configure script to configure the build to use the Z3 SMTDan Liew
2016-02-09Merge pull request #335 from mdimjasevic/spelling-error-fixesMartinNowack
2016-02-08Fixed two spelling errors.Marko Dimjašević
2016-01-14Try to unbreak the Docker build broken byDan Liew
2016-01-14Output a message reporting if the MetaSMT backend is enabled whenDan Liew
2016-01-14Remove unnecessary MetaSMT includes from kleaver's ``main.cpp``.Dan Liew
2016-01-14Refactor the MetaSMT makefile commands into its own file which canDan Liew
2016-01-14Fix linking with stp via MetaSMT when not building with direct STPDan Liew
2016-01-14MetaSMT build fixes.Dan Liew
2016-01-14Fix behaviour of --with-metasmt when passed a path that doesn't exist.Dan Liew
2016-01-14Make it possible to build KLEE without using STP and only MetaSMT.Dan Liew
2016-01-12Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providingDan Liew
2016-01-12Drop unnecessary ``#include``s from Solver.cpp.Dan Liew
2016-01-12Refactor MetaSMTSolver and MetaSMTSolverImpl out of Solver.cpp intoDan Liew
2016-01-12[NFC] Refactor STPSolver and STPSolverImpl out of Solver.cpp into theirDan Liew
2016-01-12[NFC] Refactor DummySolver out of Solver.cpp into its own fileDan Liew
2016-01-12[NFC] Refactor ValidatingSolver out of Solver.cpp into its own fileDan Liew
2016-01-07[NFC] Refactor SolverImpl out of Solver.cpp into its own fileDan Liew
2016-01-05Merge pull request #325 from delcypher/fix_independence_solver_leakCristian Cadar
2015-12-26Merge pull request #326 from domainexpert/upstreamDan Liew
2015-12-25Removed Language: Cpp entry from .clang-format due to incompatibility with Cl...Andrew Santosa
2015-12-23Fix memory leak detected by ASan whenDan Liew
2015-12-23[NFC]Dan Liew
2015-12-23Merge pull request #323 from delcypher/support_objectsize_intrinsicDan Liew
2015-12-23Merge pull request #321 from delcypher/fix_parser_leakDan Liew
2015-12-23Merge pull request #319 from delcypher/fix_inc_array_hash_exprDan Liew
2015-12-19Implement support for lowering the ``llvm.objectsize`` intrinsicDan Liew
2015-12-18Fix a leak detected by ASan in the KQuery parser where on destruction ofDan Liew
2015-12-18Fix duplication of ``klee::ArrayHashFn`` inDan Liew
2015-12-18Move lib/Solver/SolverStats.h -> include/klee/SolverStats.hDan Liew
2015-12-18Remove a bunch of LeakSanitizer suppressions that aren't needed anymoreDan Liew
2015-12-18Merge pull request #315 from delcypher/array_leakDan Liew
2015-12-18Fix memory leaks of ``Array`` objects detected by ASan.Dan Liew
2015-12-17Clean up the check in the previous commit by using one of KLEE'sDan Liew
2015-12-17Fixed a bug with how non power 2 values were written to memory, added test fo...Timotej Kapus
2015-12-17[Solver]Add support to dump STP qeries usingMartin Nowack
2015-12-17Report fatal error in case CexCache Bindings do not matchMartin Nowack
2015-12-17Add dump function for AssignmentMartin Nowack
2015-12-17[Solver]Add simple option to dump queriesMartin Nowack
2015-12-17Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...Martin Nowack
2015-12-17Merge pull request #316 from delcypher/update_list_leakDan Liew
2015-12-17Fix a memory leak in ``UpdateList`` detected by AddressSanitizer.Dan Liew
2015-12-17Add LeakSanitizer (component of AddressSanitizer) suppression fileDan Liew
2015-12-16Propagate AddressSanitizer, LeakSanitizer (part of AddressSanitizer),Dan Liew
2015-12-13Ignore some generated files that will be visible if doing an in sourceDan Liew
2015-12-13Ignore some autoconf generated files.Dan Liew
2015-12-13Set C++ standard in Clang format settings file to C++03. OtherwiseDan Liew
2015-12-11Reword help description for ``--silent-klee-assume`` command lineDan Liew
2015-12-11Change SilentKleeAssume.c test slightly so thatDan Liew