about summary refs log tree commit diff homepage
path: root/lib/Module/Checks.cpp
AgeCommit message (Expand)Author
2022-03-17remove obsolete KLEE_LLVM legacy definesJulian Büning
2019-10-31support compilation against LLVM 9.0Julian Büning
2018-10-26llvm5: handle getOrInsertFunction terminatorJiri Slaby
2018-10-24ShiftChecker: Instrument shift instructions only onceMartin Nowack
2018-10-24ShiftChecker: Avoid unneeded checksMartin Nowack
2018-10-24ShiftCheck: Use llvm::Builder instead of Inst::Create*Martin Nowack
2018-10-24DivCheck do not instrument multiple timesMartin Nowack
2018-10-24DivCheck Skip unneeded checksMartin Nowack
2018-10-24Use llvm::Builder for DivCheck instrumentationMartin Nowack
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-06-15llvm: get rid of static_casts from iteratorsJiri Slaby
2017-02-28convert iterators using static_castJiri Slaby
2017-02-25llvm: stop using global contextJiri Slaby
2014-09-14[LLVM3.5] Update for CallSite.h move into IR/.Daniel Dunbar
2014-05-29Remove #include <iostream> to avoid static constructorsMartin Nowack
2013-12-19Remove old algorithm for acquiring debug info. Since LLVM 2.7,Dan Liew
2013-12-19Replicate debug information from checked instructions to checker call.Martin Nowack
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
2013-10-29Merge pull request #26 from delcypher/fix_divide_by_zeroPaul
2013-09-02Implemented runtime check for overshift (controllable with --check-overshiftDan Liew
2013-08-27Port to LLVM 3.3Martin Nowack
2012-10-08Make the changes in r165394 be conditional on post LLVM 3.1 changes.Micah Villmow
2012-10-08Move TargetData to DataLayout.Micah Villmow
2011-07-20Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour ofPeter Collingbourne
2010-03-14Update for 2.7.Daniel Dunbar
2009-08-17Update for LLVM API change.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-21 06:42:17 +0000