about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2023-03-23stats: add branch type statsFrank Busse
2023-03-23stats: rename States -> ActiveStates, add StatesFrank Busse
2023-03-23stats: add AllocationsFrank Busse
2023-03-23stats: rename numQueries/Queries -> SolverQueries, add QueriesFrank Busse
2023-03-23stats: add ExternalCallsFrank Busse
2023-03-23stats: add QCacheHits/MissesFrank Busse
2023-03-23stats: add InhibitedForksFrank Busse
2023-03-23remove obsolete headerDaniel Schemmel
2023-03-23Run KDAlloc/rusage unittest a few times to allow for swapfile interferenceDaniel Schemmel
2023-03-22Added more test cases for --entry-point. EntryPointMissing is currently expec...Cristian Cadar
2023-03-22STP: add option to switch SAT solver: --stp-sat-solver and set default to Cry...Frank Busse
2023-03-22Change `llvm_map_components_to_libnames` to `llvm_config` CMake functionMartin Nowack
2023-03-22use C++17Julian Büning
2023-03-22Require minimal version of CMake 3.16 for KLEEMartin Nowack
2023-03-22Remove hard to understand and debug pcregrep testCristian Cadar
2023-03-22klee-stats: improve error message for missing tabulate packageFrank Busse
2023-03-22Fixed typoMartin Nowack
2023-03-22Handle fail of KLEE gracefullyMartin Nowack
2023-03-22Explicitly check if 32bit support is enabled for testingMartin Nowack
2023-03-20ConstantArrayExprVisitor: Fix detection of multiple array indicesLukáš Zaoral
2023-03-20ConstantArrayExprVisitor: Deduplicate `visitConcat` and `visitRead`Lukáš Zaoral
2023-03-20llvm14: port test/Feature/VarArgByVal.c to LLVM 14Lukáš Zaoral
2023-03-20llvm14: PointerType::getElementType() was deprecatedLukáš Zaoral
2023-03-20llvm14: TargetRegistry.h was moved from Support to MCLukáš Zaoral
2023-03-20llvm14: Add LLVM 14 job to GitHub ActionsLukáš Zaoral
2023-03-20llvm14: Add LLVM 14 to lit.cfgLukáš Zaoral
2023-03-17Update KDAlloc unittestsMartin Nowack
2023-03-17Update CI componentsMartin Nowack
2023-03-17Fix script to build all the containers we require for GitHub actionsMartin Nowack
2023-03-17Update Docker build componentsMartin Nowack
2023-03-17Use newer LLVM_DIR config option to build FreeBSDMartin Nowack
2023-03-17Don't fail `KleeStats.c` test if it takes 1s or longerMartin Nowack
2023-03-17Disable `const_array_opt1` for ubsan as wellMartin Nowack
2023-03-17Fix uninitialised memory access while reading last path entryMartin Nowack
2023-03-17Fix building of runtime library and klee-replayMartin Nowack
2023-03-17Add support to disable memsan instrumentation; update UB/Asan suppressionMartin Nowack
2023-03-17Update build scriptsMartin Nowack
2023-03-17[MemSan] Mark memory objects modified by syscalls as initialisedMartin Nowack
2023-03-17Fix compiler warning with newer compilersMartin Nowack
2023-03-17Use bitcode library paths via config generation instead of `-D` flagsMartin Nowack
2023-03-17[cmake] Use LLVM's CMake functionality onlyMartin Nowack
2023-03-16Fixed a bug in KLEE libc's implementation of strcmp: according to the C stand...Cristian Cadar
2023-03-16Add some system tests for KDAllocDaniel Schemmel
2023-03-16Integrate KDAlloc into KLEEDaniel Schemmel
2023-03-16Add some unit tests for KDAllocDaniel Schemmel
2023-03-16Add the KDAlloc allocator using both of its suballocatorsDaniel Schemmel
2023-03-16The KDAlloc loh allocator is useful for variable sized (large) allocationsDaniel Schemmel
2023-03-16The KDAlloc slot allocator is useful for small sized allocationsDaniel Schemmel
2023-03-15Do not escape "@". This triggers an error now in the CI.Cristian Cadar
2023-02-28Have the STP coverage build also provide Z3, so that the crosscheck solver ca...Daniel Schemmel