~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2018-11-23	Implemented memalign with alignment	Lukas Wölfer

2018-07-04	Reorder linking and optimizations	Martin Nowack
	Link intrinsic library before executing optimizations. This makes sure that any optimization run by KLEE on the module is executed for the intrinsic library as well. Support .ll files as input for KLEE as well.
2018-05-05	Fix handling of errno if external functions are invoked	Martin Nowack
	If an external function in KLEE is invoked, it might update errno. Previously, the errno specific variable in a state was only updated if it was part of the executed instructions. That opened up a timeframe that increased the likelihood of errno being overwritten by another method call. This patch fixes two issues: * the errno of the KLEE process state is updated before the external function call allowing to detect changes to it later on * after the external call, the memory object of errno is directly updated with its new value, reducing the likelihood to be overwritten by another call Additional features: * Add support for `errno()` for Darwin as well. * Simplified errno handling in POSIX layer
2017-11-30	Implemented bounded merging functionality	Lukas Wölfer

2017-08-04	Removed merging searchers	Lukas Wölfer

2015-06-03	Added an option --readable-posix-inputs which is used to turn on/off the CEX ↵	Cristian Cadar
	preferences added in the POSIX model. Removed option --prefer-cex which controlled all CEX preferences.
2015-02-13	refactor integer overflow detection, add signed int	Luca Dariz
	Instead of checking for every possible casse which result in overflow, it is much simpler to perform the operation using integers with bigger dimension and check if the result overflow
2015-02-13	Detect overflow of unsigned add, sub and mul operations	Luca Dariz
	This requires clang with -fsanitize=unsigned-integer-overflow tested with clang and llvm 3.4.2
2015-02-13	Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub"	Cristian Cadar
	Will redo the merge to preserve original commits. This reverts commit a743d7072d9ccf11f96e3df45f25ad07da6ad9d6.
2015-02-10	Merged @luckyluke's change for detecting overflow of unsigned add, sub	Cristian Cadar
	and mul operations. Refactored tests into two main cases, and disabled them on LLVM 2.9, which does not support -fsanitized=*signed-integer-overflow.
2014-02-06	Implement const_iterator interface for SpecialFunctionHandler so	Dan Liew
	that clients can access HandlerInfo nicely.
2010-07-15	Fix some -Wmismatched-tags warnings.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@108403 91177308-0d34-0410-b5e6-96231b3b80d8
2010-06-24	Implement klee_stack_trace function	Peter Collingbourne
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@106799 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-01	Kill off klee_malloc_n, we don't want to support this.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72693 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-21	Initial KLEE checkin.	Daniel Dunbar
	- Lots more tweaks, documentation, and web page content is needed, but this should compile & work on OS X & Linux. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8