about summary refs log tree commit diff homepage
path: root/lib/Core/SpecialFunctionHandler.cpp
AgeCommit message (Expand)Author
2024-02-08Add support to `aligned_alloc` generated by LLVMMartin Nowack
2024-01-12new: persistent ptree (-write-ptree) and klee-ptreeFrank Busse
2023-06-26Remove parentheses around klee_ intrinsics from the help menuCristian Cadar
2023-06-11SpecialFunctionHandler: use std::array for handlerInfoJulian Büning
2023-04-06Support disabling compiler warnings; Use with external headersMartin Nowack
2023-03-23stats: add termination class statsFrank Busse
2022-09-14Support UBSan-enabled binariesPavel Yatcheniy
2022-06-13Update SpecialFunctionHandler.cppChaoqi Zhang
2022-01-05introduce BranchTypesFrank Busse
2022-01-05Remove outdated reference to klee_make_symbolic_nameCristian Cadar
2021-12-23Introduce termination categoriesFrank Busse
2021-11-20Fixed fail with preferCex, removed relation from first argumentTaras Bereznyak
2021-02-16add ifdefs for C++ exception handlingJulian Büning
2020-11-12Casting.h: isa_and_nonnull<>Julian Büning
2020-11-12Ref: implement operator bool()Julian Büning
2020-10-12address MartinNowack's remaining feedbackJulian Büning
2020-10-12Exception handling only for LLVM >= 8.0.0Julian Büning
2020-10-12use isa<> and explicit nullptr-check for compilation with older LLVM versions...Felix Rath
2020-10-12Implemented support for C++ ExceptionsFelix Rath
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 01:11:04 +0000