about summary refs log tree commit diff homepage
path: root/lib/Core/SpecialFunctionHandler.cpp
AgeCommit message (Expand)Author
2020-07-01Use constraint sets and separate metadata for timing solver invocationMartin Nowack
2020-04-30Moved header files that were placed directly in include/klee/ into appropriat...Cristian Cadar
2020-04-30Created include/klee/Core directory and moved appropriate files direc\Cristian Cadar
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2020-04-08readStringAtAddress: support pointer into objectsMarek Chalupa
2020-04-08readStringAtAddress: use stringstream to obtain the stringMarek Chalupa
2019-11-28Move merging related code from Executor into MergingSearcherLukas Wölfer
2019-09-03Moved solver-related header files into a separate klee/Solver/ directory.Cristian Cadar
2019-05-30remove klee_alias_function()Julian Büning
2019-04-02Handle __assert() function as handleAssertFail. This assert variant is used o...Gleb Popov
2019-03-15Categorized the options in SpecialFunctionHandler.cppCristian Cadar
2018-11-23Implemented memalign with alignmentLukas Wölfer
2018-10-16Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...Cristian Cadar
2018-07-11Removed support for klee_make_symbolic with 2 arguments. This has been depre...Cristian Cadar
2018-07-04Reorder linking and optimizationsMartin Nowack
2018-06-13klee_int: allow NULL as nameFrank Busse
2018-06-11Fixed memory leak from Executor::inCloseMerge, fixes #883Lukas Wölfer
2018-05-17Improve error messages for ReadStringAtAddressTimotej Kapus
2018-05-15Implemented incomplete mergingLukas Wölfer
2018-05-05Fix handling of errno if external functions are invokedMartin Nowack
2018-05-01fix compilation warningFrank Busse
2017-11-30Implemented bounded merging functionalityLukas Wölfer
2017-11-24klee_make_symbolic: warn on deprecated usageFrank Busse
2017-10-06Removed the word 'unsigned' from integer overflow error messagesAndrew Santosa
2017-08-04Removed merging searchersLukas Wölfer
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2016-08-08Merge pull request #447 from hutoTUM/fix-klee_get_obj_sizeMartinNowack
2016-08-08Fix for klee_get_obj_size() crashing on 64-bit, resolves #446hutoTUM
2016-08-04klee: add exit-on-error-type parameterJiri Slaby
2015-12-17Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...Martin Nowack
2015-12-11Reword help description for ``--silent-klee-assume`` command lineDan Liew
2015-12-11Add command line flag ``--silent-klee-assume``to suppress errors due toValentin Wüstholz
2015-06-03Added an option --readable-posix-inputs which is used to turn on/off the CEX ...Cristian Cadar
2015-02-13refactor integer overflow detection, add signed intLuca Dariz
2015-02-13Detect overflow of unsigned add, sub and mul operationsLuca Dariz
2015-02-13Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub"Cristian Cadar
2015-02-10Merged @luckyluke's change for detecting overflow of unsigned add, subCristian Cadar
2014-09-19Removed code related to underConstrained, as it is unused (issue pointed out ...Cristian Cadar
2014-09-13Add KLEE specific DEBUG macros.Daniel Dunbar
2014-05-29Remove #include <iostream> to avoid static constructorsMartin Nowack
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2014-02-06Implement const_iterator interface for SpecialFunctionHandler soDan Liew
2013-08-27Port to LLVM 3.3Martin Nowack
2013-04-04Patch by Michael Contreras and Jiri Slaby for compiling KLEE with LLVM 3.2Cristian Cadar
2011-05-25Name symbolic arrays using the 3rd argument to klee_make_symbolic,Peter Collingbourne
2011-03-30Fixed some typos.Cristian Cadar
2010-06-28Applied Stefan Bucur's patch fromCristian Cadar
2010-06-24Implement klee_stack_trace functionPeter Collingbourne
2010-05-02Fix some const cast warnings.Daniel Dunbar
2009-09-01Update for LLVM ostream changes.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-21 22:40:52 +0000