about summary refs log tree commit diff homepage
AgeCommit message (Collapse)Author
2018-05-12Update clang-format standard for KLEE codebase to C++11Martin Nowack
2018-05-09Fix test case to check for correct call stringMartin Nowack
2018-05-09Improve handling of constant array in Z3Timotej Kapus
2018-05-09Remove the option for truncating lines in assembly.llMartin Nowack
The behaviour couldn't be triggered for a kcachegrind from 2012.
2018-05-09Remove workaround for bug in older LLVM version (< 3)Martin Nowack
2018-05-09Fix include filesMartin Nowack
2018-05-08remove unused file: tools/klee/Debug.cppDaniel Schemmel
2018-05-07Fixed test case to exercise modification to utimes()Cristian Cadar
2018-05-07Fixed utimes() behavior for symbolic files when the second argument is NULLyxliang01
2018-05-06Moved regression test to proper location. Fixes #705Cristian Cadar
2018-05-05Fix handling of errno if external functions are invokedMartin 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
2018-05-05Factor out method to update state memory with process stateMartin Nowack
2018-05-01Ensured program reliably has 3 paths to be explored, and removed unnecessary ↵Cristian Cadar
options. Make klee_abort() call abort() in replay, and removed trivial test which cannot be easily integrated into the test suite.
2018-05-01Implement klee_prefer_cex() and klee_abort() in Runtest and added ↵lyxia
corresponding tests
2018-05-01add blockaddress and indirectbr instructionsFrank Busse
2018-05-01fix compilation warningFrank Busse
2018-04-28exitOnError no output buf fixZekun Shen
2018-04-17Change llvm apt repository to enable llvm 3.7+Timotej Kapus
2018-04-12Fix python2 linkingMartin Nowack
2018-04-09doDumpStates: incorrectly increments statsFrank Busse
doDumpStates calls stepInstruction and therefore indirectly increases time and instruction statistics for all dangling (dumped) states. This patch removes the call, but now the timing stats for the last executed state are lost, as StatsTracker::stepInstruction isn't called anymore.
2018-03-26[CMake] Add option to set GTest include dirlyxia
2018-03-23fix test/Feature/BFSSearcherAndDFSSearcherInterleaved.c to use explicit ↵Julian Büning
enumeration of possible strings instead of CHECK-SAME (does not work as intended with LLVM >= 3.7)
2018-03-01Store CexCache stats and then update klee-stats to use themDomenico Fabio Marino
Signed-off-by: Domenico Fabio Marino <nospamdomi@hotmail.it>
2018-02-18Add missing endian information to avoid selecction of big endian systemsMartin Nowack
2018-02-18Fail for aggegrations with big endian orderingMartin Nowack
2018-02-18Fixed handling of constant vectors with complex dataMartin Nowack
2018-02-18Test complex constant data vectors as wellMartin Nowack
2018-02-18Make print function of ObjectState public and constMartin Nowack
2018-02-18Add testcase for constant array handlingMartin Nowack
2018-02-18Add test case for constant vector initMartin Nowack
2018-02-18Fix correct element order of InsertElement/ExtractElementMartin Nowack
2018-02-18Fix getelementptr for array or vector indicesMartin Nowack
Rewrote code based on: llvm::GEPOperator::accumulateConstantOffset(): Handle signed offset correctly.
2018-02-18Fix generation of expressions from constant sequential dataMartin Nowack
2018-02-18Added comment for getPointerWidthMartin Nowack
2018-02-01llvm50: use auto variable instead of SwitchInst::CaseItJiri Slaby
llvm50 changed the semantics of SwitchInst::CaseIt and started using "auto" variable type. So use it here too for all versions greater than 3.4 -- 3.4 does not support this semantics yet. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2018-01-30Enable caching for travis-ciMartin Nowack
* Use ccache for building * Implement caching of locally build brew packages
2018-01-30Fix coverage generationMartin Nowack
* Generate base coverage tracking all files * Reset coverage tracking before running experiments * Use base path KLEE_SRC * Fix uploading of results
2018-01-22MergeHandler: remove unused closedStateCountJiri Slaby
clang 5 reports: In file included from ../lib/Core/MergeHandler.cpp:10: ../include/klee/MergeHandler.h:81:12: warning: private field 'closedStateCount' is not used [-Wunused-private-field] unsigned closedStateCount; ^ So fix it by removing the member. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2018-01-17add wllvm to the python packages to be installedHexcoder
2018-01-16[Travis-CI] Added codecov.io supportAndrea Mattavelli
2018-01-08[NFC] Remove unused config header template that was only used byDan Liew
the old build system (now removed).
2017-12-11fix regression test: use `%klee` instead of `klee`Felix Rath
2017-12-11fix merging tests: use `%klee` instead of `klee`Felix Rath
Fixes #800
2017-12-05Move Homebrew tap from personal repository to the KLEE organizationAndrea Mattavelli
2017-12-05Updated TravisCI to use pip2 instead of pipAndrea Mattavelli
2017-12-05Bumped xcode version for TravisCIAndrea Mattavelli
2017-11-30Implemented bounded merging functionalityLukas Wölfer
2017-11-30Added pause and continue functionality for states in ExecutorLukas Wölfer
2017-11-26Replace confusing message in lit.site.cfg.in about the file being autogeneratedCristian Cadar
2017-11-24klee_make_symbolic: add test cases for APIFrank Busse
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 23:58:01 +0000