about summary refs log tree commit diff homepage
path: root/lib/Core/SpecialFunctionHandler.h
AgeCommit message (Expand)Author
2023-06-11SpecialFunctionHandler: use std::array for handlerInfoJulian Büning
2023-04-06Use newer C++ standard for KLEE's iterators; fixes deprecation warningMartin Nowack
2022-09-14Support UBSan-enabled binariesPavel Yatcheniy
2021-02-16add ifdefs for C++ exception handlingJulian Büning
2020-10-12Implemented support for C++ ExceptionsFelix Rath
2019-06-04make endif guard naming consistentJulian Büning
2019-05-30remove klee_alias_function()Julian Büning
2018-11-23Implemented memalign with alignmentLukas Wölfer
2018-07-04Reorder linking and optimizationsMartin Nowack
2018-05-05Fix handling of errno if external functions are invokedMartin Nowack
2017-11-30Implemented bounded merging functionalityLukas Wölfer
2017-08-04Removed merging searchersLukas Wölfer
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-02-06Implement const_iterator interface for SpecialFunctionHandler soDan Liew
2010-07-15Fix some -Wmismatched-tags warnings.Daniel Dunbar
2010-06-24Implement klee_stack_trace functionPeter Collingbourne
2009-06-01Kill off klee_malloc_n, we don't want to support this.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-11 00:22:40 +0000