test xml#12

Draft

misonijnik wants to merge 320 commits intomisonijnik:masterfrom

UnitTestBot:misonijnik/write-xml-testcases

This pull request is big! We're only showing the most recent 250 commits

Commits on Mar 16, 2023

Fixed a bug in KLEE libc's implementation of strcmp: according to the C standard, characters should be compared as unsigned chars.
ccadar
committed

Commits on Mar 17, 2023

[cmake] Use LLVM's CMake functionality only

MartinNowack
authored and
ccadar
committed
Use bitcode library paths via config generation instead of `-D` flags

MartinNowack
authored and
ccadar
committed
Fix compiler warning with newer compilers

MartinNowack
authored and
ccadar
committed
[MemSan] Mark memory objects modified by syscalls as initialised

MartinNowack
authored and
ccadar
committed
Update build scripts

MartinNowack
authored and
ccadar
committed
Add support to disable memsan instrumentation; update UB/Asan suppression

MartinNowack
authored and
ccadar
committed
Fix building of runtime library and klee-replay

MartinNowack
authored and
ccadar
committed
Fix uninitialised memory access while reading last path entry

MartinNowack
authored and
ccadar
committed
Disable `const_array_opt1` for ubsan as well

MartinNowack
authored and
ccadar
committed
Don't fail `KleeStats.c` test if it takes 1s or longer

MartinNowack
authored and
ccadar
committed
Use newer LLVM_DIR config option to build FreeBSD

MartinNowack
authored and
ccadar
committed
Update Docker build components

MartinNowack
authored and
ccadar
committed
Fix script to build all the containers we require for GitHub actions

MartinNowack
authored and
ccadar
committed
Update CI components

MartinNowack
authored and
ccadar
committed
Update KDAlloc unittests

MartinNowack
authored and
ccadar
committed

Commits on Mar 20, 2023

llvm14: Add LLVM 14 to lit.cfg

lzaoral
authored and
MartinNowack
committed
llvm14: Add LLVM 14 job to GitHub Actions

lzaoral
authored and
MartinNowack
committed
llvm14: TargetRegistry.h was moved from Support to MC

lzaoral
authored and
MartinNowack
committed
llvm14: PointerType::getElementType() was deprecated

lzaoral
authored and
MartinNowack
committed
llvm14: port test/Feature/VarArgByVal.c to LLVM 14

lzaoral
authored and
MartinNowack
committed
ConstantArrayExprVisitor: Deduplicate `visitConcat` and `visitRead`

lzaoral
authored and
MartinNowack
committed
ConstantArrayExprVisitor: Fix detection of multiple array indices

lzaoral
authored and
MartinNowack
committed

Commits on Mar 22, 2023

Explicitly check if 32bit support is enabled for testing

MartinNowack
authored and
ccadar
committed
Handle fail of KLEE gracefully

MartinNowack
authored and
ccadar
committed
Fixed typo

MartinNowack
authored and
ccadar
committed
klee-stats: improve error message for missing tabulate package

251
authored and
ccadar
committed
Remove hard to understand and debug pcregrep test

ccadar
authored and
MartinNowack
committed
Require minimal version of CMake 3.16 for KLEE

MartinNowack
authored and
ccadar
committed
use C++17

jbuening
authored and
ccadar
committed
Change `llvm_map_components_to_libnames` to `llvm_config` CMake function

MartinNowack
authored and
251
committed
STP: add option to switch SAT solver: --stp-sat-solver and set default to CryptoMinisat

251
authored and
ccadar
committed
Added more test cases for --entry-point. EntryPointMissing is currently expected to fail.

ccadar
authored and
MartinNowack
committed

Commits on Mar 23, 2023

Run KDAlloc/rusage unittest a few times to allow for swapfile interference

danielschemmel
authored and
ccadar
committed
remove obsolete header

danielschemmel
authored and
ccadar
committed
stats: add InhibitedForks

251
authored and
ccadar
committed
stats: add QCacheHits/Misses

251
authored and
ccadar
committed
stats: add ExternalCalls

251
authored and
ccadar
committed
stats: rename numQueries/Queries -> SolverQueries, add Queries

251
authored and
ccadar
committed
stats: add Allocations

251
authored and
ccadar
committed
stats: rename States -> ActiveStates, add States

251
authored and
ccadar
committed
stats: add branch type stats

251
authored and
ccadar
committed
tests: add Feature/KleeStatsBranches.c

251
authored and
ccadar
committed
stats: add termination class stats

251
authored and
ccadar
committed
tests: add Feature/KleeStatsTermClasses.c

251
authored and
ccadar
committed
Remove model_version from the POSIX runtime, as we have never used it.

ccadar
authored and
MartinNowack
committed
fix unused variable warning

danielschemmel
authored and
ccadar
committed
Transition to GitHub Container Registry hosting

MartinNowack
authored and
ccadar
committed
Fix detection and installation of Ubuntu-provided llvm/clang packages

MartinNowack
authored and
ccadar
committed

Commits on Mar 26, 2023

fix unused variables warning

danielschemmel
authored and
ccadar
committed
tests: add some missing headers

251
authored and
ccadar
committed

Commits on Mar 27, 2023

(gcc-13) include cstdint for *int*_t

Jiri Slaby
authored and
MartinNowack
committed
Core/Executor: long double on i686 must be aligned to 4 bytes

lzaoral
authored and
MartinNowack
committed
ci(lint): add shell linter - Differential ShellCheck

jamacku
authored and
MartinNowack
committed

Commits on Mar 30, 2023

fix CMake: -UNDEBUG

jbuening
authored and
MartinNowack
committed
Prevent fallthrough warning

danielschemmel
authored and
ccadar
committed

Commits on Apr 1, 2023

remove include/klee/Support/IntEvaluation.h

danielschemmel
authored and
251
committed

Commits on Apr 6, 2023

Mark variable as potentially unused

MartinNowack
authored and
ccadar
committed
Support disabling compiler warnings; Use with external headers

MartinNowack
authored and
ccadar
committed
Use newer C++ standard for KLEE's iterators; fixes deprecation warning

MartinNowack
authored and
ccadar
committed
Disable "disabling of warnings" for LLVM >= 14

MartinNowack
authored and
ccadar
committed

Commits on Apr 14, 2023

Modify name of variables in generated cvc files.

ITWOI
authored and
MartinNowack
committed
ci: run ShellCheck on `*.inc` shell scripts

jamacku
authored and
MartinNowack
committed

Commits on Apr 18, 2023

change some obsolete KDAlloc comments

jbuening
authored and
ccadar
committed

Commits on Apr 20, 2023

use `std::mt19937` instead of the custom implementation

danielschemmel
authored and
ccadar
committed
remove unused rng adaptor functions

danielschemmel
authored and
ccadar
committed
ensure that the right mt19937 constructor is chosen during overload resolution

danielschemmel
authored and
ccadar
committed
Remove additional quotation marks

MartinNowack
authored and
ccadar
committed

Commits on Apr 21, 2023

use unique_ptr in STPSolverImpl

danielschemmel
authored and
ccadar
committed
use unique_ptr in ValidatingSolver

danielschemmel
authored and
ccadar
committed
use unique_ptr in Z3SolverImpl

danielschemmel
authored and
ccadar
committed
use unique_ptr in StagedSolverImpl

danielschemmel
authored and
ccadar
committed
use unique_ptr in CachingSolver

danielschemmel
authored and
ccadar
committed
use unique_ptr in AssignmentValidatingSolver

danielschemmel
authored and
ccadar
committed
use unique_ptr in CexCachingSolver

danielschemmel
authored and
ccadar
committed
use unique_ptr in IndependentSolver

danielschemmel
authored and
ccadar
committed
use unique_ptr in QueryLoggingSolver

danielschemmel
authored and
ccadar
committed
use unique_ptr in Solver

danielschemmel
authored and
ccadar
committed
use unique_ptr all throughout the solver chain

danielschemmel
authored and
ccadar
committed
Replaced "-data" and "-stat" by "_data" and "_stat" in the ktest-(rand)gen tools for consistency with recent changes.
ccadar
committed
Tests: replaced "-data" and "-stat" by "_data" and "_stat" for consistency with recent changes.
ccadar
committed

Commits on May 26, 2023

Cleaned up and updated codecov file.
ccadar
committed
Use unique_ptr for MemoryManager and avoid re-creating it in the first place

MartinNowack
authored and
ccadar
committed
Write `Control::meta` in C++17 style

danielschemmel
authored and
ccadar
committed
prevent assertions from failing unnecessarily

danielschemmel
authored and
ccadar
committed
Add `getSize` primitive to kdalloc

danielschemmel
authored and
ccadar
committed
Add `getMapping` primitive to allocator directly

danielschemmel
authored and
ccadar
committed
Improve error message when KDAlloc fails to create a mapping

danielschemmel
authored and
ccadar
committed
Improve LOH deallocation scheme

danielschemmel
authored and
ccadar
committed
add unsized free to kdalloc

danielschemmel
authored and
ccadar
committed
Refactored and fixed the code dealing with the entry point.
ccadar
committed
Some basic refactoring and pass through comments. In particular, it brings some related code together (deadline with EntryPoint and ReplayPathFile respectively) which was unnecessarily separated.
ccadar
committed
Copy stats to test directory when running tests

danielschemmel
authored and
ccadar
committed

Commits on Jun 5, 2023

CMake: remove unused TARGET_LIBS variable

jbuening
authored and
ccadar
committed
CMake: remove obsolete KLEE_COMPONENT_EXTRA_LIBRARIES

jbuening
authored and
ccadar
committed
CMake: remove obsolete comments

jbuening
authored and
ccadar
committed
docs/CMakeLists.txt: drop support for old CMake versions

jbuening
authored and
ccadar
committed
README-CMake.md: clean up top-level targets

jbuening
authored and
ccadar
committed
CMake: use built-in FindSQLite3 module

jbuening
authored and
ccadar
committed
doxygen.cfg.in: DOXYGEN_OUTPUT_DIR

jbuening
authored and
ccadar
committed
.clang-format: c++17

jbuening
authored and
ccadar
committed
config.h: include FSTATAT_PATH_ACCEPTS_NULL

jbuening
authored and
ccadar
committed
CMake: use check_c_source_compiles() for FSTATAT_PATH_ACCEPTS_NULL

jbuening
authored and
ccadar
committed
also check for default CHECK directive in ArrayOpt Tests

fwc
authored and
ccadar
committed
fix BatchingSearcher's disabled time budget

jbuening
authored and
ccadar
committed
make BatchingSearcher more readable

jbuening
authored and
ccadar
committed
re-enable StackTraceOutput.c test

jbuening
authored and
ccadar
committed
test/Feature/StackTraceOutput.c: relative checks, clang-format

jbuening
authored and
ccadar
committed

Commits on Jun 6, 2023

Further improve KDAlloc memory usage with infinite quarantine

danielschemmel
authored and
ccadar
committed
ktest-gen: remove unused function

251
authored and
ccadar
committed

Commits on Jun 7, 2023

unittests/CMakeLists.txt: gtest check for LLVM 13+

jbuening
authored and
MartinNowack
committed
unittests/CMakeLists.txt: fix LLVM find_package support

jbuening
authored and
MartinNowack
committed
unittests/CMakeLists.txt: remove obsolete policy

jbuening
authored and
MartinNowack
committed
unittests/CMakeLists.txt: no UNITTEST_MAIN_LIBS

jbuening
authored and
MartinNowack
committed
unittests/CMakeLists.txt: do not echo GTEST_SRC_DIR on error

jbuening
authored and
MartinNowack
committed
unittests/CMakeLists.txt: set gtest include dir only if necessary

jbuening
authored and
MartinNowack
committed
Use recommended LLVM 13 as part of the Docker image

MartinNowack
authored and
ccadar
committed
Build and push Docker image as part of a release

MartinNowack
authored and
ccadar
committed
Fixed end date in the 2.3 release notes

ccadar
authored and
251
committed
Set version number to 3.0

ccadar
authored and
251
committed
Release notes for KLEE 3.0

ccadar
authored and
251
committed
Changed version to 3.1-pre

ccadar
authored and
MartinNowack
committed

Commits on Jun 9, 2023

Fixed a format specifier pointed to by a compiler warning.

ccadar
authored and
MartinNowack
committed

Commits on Jun 11, 2023

fix ktest-randgen: use after free

jbuening
authored and
MartinNowack
committed
SpecialFunctionHandler: use std::array for handlerInfo

jbuening
authored and
MartinNowack
committed
Rewrote has_permission in the POSIX runtime. We now only return with permission error a single time in symbolic execution mode.

ccadar
authored and
MartinNowack
committed

Commits on Jun 26, 2023

Improved help message for --exit-on-error-type=Abort

ccadar
authored and
MartinNowack
committed
Fixed a couple of spelling issues in the help menu

ccadar
authored and
MartinNowack
committed
Remove parentheses around klee_ intrinsics from the help menu

ccadar
authored and
MartinNowack
committed
Consistently use ".ktest" when referring to .ktest files in the help menu

ccadar
authored and
MartinNowack
committed
RefTest: suppress -Wself-move

jbuening
authored and
MartinNowack
committed

Commits on Jul 6, 2023

Commits on Jul 8, 2023

Using std::memcpy prevents alignment problems and removes an unnecessary special case

danielschemmel
authored and
ccadar
committed
Combine all `ConstantExpr::toMemory` cases into one.

danielschemmel
authored and
ccadar
committed

Commits on Jul 10, 2023

Simplify KDAlloc tests

danielschemmel
authored and
ccadar
committed
remove timings from kdalloc tests

danielschemmel
authored and
ccadar
committed

Commits on Jul 12, 2023

Replaced --suppress-external-warnings and --all-external-warnings with --external-call-warnings=none|once-per-function|all.

ccadar
authored and
MartinNowack
committed

Commits on Jul 21, 2023

Move some options to the klee namespace and declare them in OptionCategories.h

ccadar
authored and
MartinNowack
committed
Add code to only keep in the --help menu the KLEE/Kleaver option categories

ccadar
authored and
MartinNowack
committed

Commits on Sep 7, 2023

Remove broken experimental optimisation for validity (--cex-cache-exp)
ccadar
committed

Commits on Sep 11, 2023

Changed use-after-free and double-free tests to expect KDAlloc, plus some small improvements.

ccadar
authored and
MartinNowack
committed
Make KDAlloc the default memory allocator

ccadar
authored and
MartinNowack
committed

Commits on Oct 23, 2023

replace deprecated (as of c++20) std::is_pod with std::trivial && std::is_standard_layout

danielschemmel
authored and
ccadar
committed

Commits on Jan 12, 2024

new: persistent ptree (-write-ptree) and klee-ptree

251
authored and
MartinNowack
committed
SearcherTest: remove redundant root init, fix branch type

251
authored and
MartinNowack
committed
Rename files from PTree to ExecutionTree (and similar)

ccadar
authored and
MartinNowack
committed
Renamed PTree to ExecutionTree (and similar)

ccadar
authored and
MartinNowack
committed
Feature: implement single memory object resolution for symbolic addresses.

tkuchta
authored and
MartinNowack
committed
Follow-up: applied review comments, implemented meta-data cleanup (one more map added to ExecutionState); now storing addresses of MemoryObjects for easier cleanup

tkuchta
authored and
MartinNowack
committed
Make test more deterministic

tkuchta
authored and
MartinNowack
committed
Remove check for the number of solver queries

tkuchta
authored and
MartinNowack
committed

Commits on Jan 30, 2024

Switch to FreeBSD 14 and 13.2; Use LLVM 13

MartinNowack
authored and
ccadar
committed
Concretize constants using seed values, when available. Added two tests (w/ and w/o seed extension) based on FP concretization.

ccadar
authored and
MartinNowack
committed
Concretize arguments to external function calls using seeds, if available. Added a test case.

ccadar
authored and
MartinNowack
committed
On a symbolic allocation, retrieve size from a seed, if available

ccadar
authored and
MartinNowack
committed
Refactored some code related to seeding.

ccadar
authored and
MartinNowack
committed
Removed --zero-seed-extension, and merge it with --allow-seed-extension. This reworked logic also fixes a buffer overflow which could be triggered during seed extension.

ccadar
authored and
MartinNowack
committed
Added a test for --allow-seed-extension

ccadar
authored and
MartinNowack
committed
Add checks to the seed concretization tests about the expected number of queries

ccadar
authored and
MartinNowack
committed
Make Assignment::evaluate be const

ccadar
authored and
MartinNowack
committed
Modify getValueFromSeeds() to include more functionality and simplify its callers

ccadar
authored and
MartinNowack
committed
Avoid generating array names in solver builders that could accidently collide
MartinNowack
committed
Change `GetConstraintLog` to work with `std::string`s instead of `char*`s

danielschemmel
authored and
MartinNowack
committed

Commits on Feb 8, 2024

Add support to build newer LLVM versions

MartinNowack
authored and
ccadar
committed
MERGE libc++ build system

MartinNowack
authored and
ccadar
committed
Add support for newer `libc++`; Simplify path detection

MartinNowack
authored and
ccadar
committed
Replace `%libcxx_include` with `%libcxx_includes` for multi-include directories

MartinNowack
authored and
ccadar
committed
Fix `klee-libc/memchr.c` compiler warning

MartinNowack
authored and
ccadar
committed
Fix `klee_eh_cxx.cpp` compiler error

MartinNowack
authored and
ccadar
committed
Refactor invocation of old pass manager into legacy function

MartinNowack
authored and
ccadar
committed
Use KLEE's uClibc v1.4 as default to support the compilation with newer compilers

MartinNowack
authored and
ccadar
committed
Assume C compiler's default standard is `-std=gnu17`

MartinNowack
authored and
ccadar
committed
Explicitly build KLEE's exception handling runtime with C++11

MartinNowack
authored and
ccadar
committed
Explicitly enable opaque pointer support for LLVM 15

MartinNowack
authored and
ccadar
committed
Add support for opaque pointers

MartinNowack
authored and
ccadar
committed
Fix test cases to support opaque pointers

MartinNowack
authored and
ccadar
committed
Fix test case: using unsupported `CHECK_NEXT` instead of `CHECK-NEXT`

MartinNowack
authored and
ccadar
committed
Use APIs of newer LLVM versions instead of unsupported ones

MartinNowack
authored and
ccadar
committed
Add support for `Intrinsic::get_rounding` for LLVM 16

MartinNowack
authored and
ccadar
committed
Add support to `aligned_alloc` generated by LLVM

MartinNowack
authored and
ccadar
committed
Disable unsupported passes for newer LLVM versions

MartinNowack
authored and
ccadar
committed
Disable `2018-10-30-llvm-pr39177.ll` for newer LLVM versions.

MartinNowack
authored and
ccadar
committed
Handle check for thrown libc++ exceptions more general

MartinNowack
authored and
ccadar
committed
Update test case for expressions using `udiv`, `urem`, `sdiv` and `srem`

MartinNowack
authored and
ccadar
committed
Support newer LLVM versions in `lit`

MartinNowack
authored and
ccadar
committed
Enable CI to test newer LLVM versions

MartinNowack
authored and
ccadar
committed
Use `std::` namespace for `uint64_t`

authored and
ccadar
committed
Mention default value in help text for `--strip-all` and `--strip-debug`

authored and
ccadar
committed
Add space between include and main function for updated test cases

authored and
ccadar
committed

Commits on Feb 12, 2024

Fix brittleness in Feature/VarArgByVal test

danielschemmel
authored and
MartinNowack
committed

Commits on Feb 16, 2024

drop llvm 9 and 10

danielschemmel
authored and
ccadar
committed

Commits on Feb 17, 2024

Fixed incorrect reference in ExternalCallWarnings

ccadar
authored and
MartinNowack
committed
Remove the not Darwin requirement for the test TargetMismatch.c

ccadar
authored and
MartinNowack
committed

Commits on Feb 19, 2024

Rename --ptree-batch-size to --exec-tree-batch size, and --compress-execution-tree to --compress-exec-tree. Fix an incorrect reference to --write-exec-tree.

ccadar
authored and
MartinNowack
committed

Commits on Feb 27, 2024

Commits on Feb 28, 2024

Compare LLVM_VERSION_SHORT to "140" rather than "14".

sp1ff
authored and
MartinNowack
committed

Commits on Feb 29, 2024

Set version number to 3.1

ccadar
authored and
251
committed
Release notes for KLEE 3.1

ccadar
authored and
251
committed
Test case for externally concretized variables and constraint fully symbolic variables

MartinNowack
authored and
ccadar
committed
Correctly update symbolic variables that have been changed externally

MartinNowack
authored and
ccadar
committed
Use correctly constrained constants if the memory object is fully symbolic

MartinNowack
authored and
ccadar
committed
Refactor `ObjectState::flushToConcreteStore` to use `toConstant`

MartinNowack
authored and
ccadar
committed
Support external call concretisation policies for referenced objects

MartinNowack
authored and
ccadar
committed
Add support to fully concretise objects if modified externally

MartinNowack
authored and
ccadar
committed
Final changes to release notes for v3.1
ccadar
committed
Setting version to 3.2-pre

ccadar
authored and
MartinNowack
committed

Commits on Mar 4, 2024

Remove FreeBSD 13.2 from CirrusCI, as the image does not seem to be available anymore.

ccadar
authored and
251
committed

Commits on Mar 13, 2024

New domain name klee-se.org, updating links.

ccadar
authored and
251
committed
TARGET_TRIPLE was renamed to LLVM_TARGET_TRIPLE since LLVM 15

ccadar
authored and
251
committed

Commits on Mar 15, 2024

add pythonpath to lit forwarded env vars

danielschemmel
authored and
ccadar
committed

Commits on Mar 20, 2024

Addressed missing override warnings emitted by recent compilers

ccadar
authored and
251
committed
Workaround for MSan failures due to https://github.com/llvm/llvm-project/issues/78354

ccadar
authored and
251
committed

Commits on Mar 27, 2024

Commits on Apr 7, 2024

Switch to LLVM 13 as the default version in the CI
ccadar
committed

Commits on Apr 18, 2024

ci: add shellcheckrc

jamacku
authored and
MartinNowack
committed
ci: update Differential ShellCheck to v5

jamacku
authored and
MartinNowack
committed
ci: update actions/checkout to v4

jamacku
authored and
MartinNowack
committed

Commits on Apr 28, 2024

Add handler for _Exit(3)

fwc
authored and
ccadar
committed

Commits on Jun 11, 2024

Install lit and tabulate via brew on macOS

ccadar
authored and
MartinNowack
committed
Use LLVM 14 for the macOS CI target

ccadar
authored and
MartinNowack
committed
Fix/update LLVM path on macOS

ccadar
authored and
MartinNowack
committed
Fix test case that currently fails on Apple Silicon, where sizeof(long double) == sizeof(double)

ccadar
authored and
MartinNowack
committed
Inline assembly is not supported on Apple Silicon, so disabling these tests on macOS

ccadar
authored and
MartinNowack
committed
Moving inline assembly tests to a separate directory

ccadar
authored and
MartinNowack
committed
Moved variable argument tests to separate directory

ccadar
authored and
MartinNowack
committed
Variadic functions are not currently supported on Apple Silicon

ccadar
authored and
MartinNowack
committed
The test currently fails on the macOS version used in the CI: the compiler does not generate a call to __ubsan_handle_invalid_builtin. This seems to be an issue with Clang rather than KLEE.

ccadar
authored and
MartinNowack
committed
Move test/Feature/ubsan to test/UBSan as for the tests of other features

ccadar
authored and
MartinNowack
committed
Add support for x86_64 and arm targets to lit testing

ccadar
authored and
MartinNowack
committed
Mark inline assembly tests as requiring x86_64

ccadar
authored and
MartinNowack
committed
Mark variadic argument tests as requiring x86_64

ccadar
authored and
MartinNowack
committed
Update Python installation for FreeBSD on CirrusCI

ccadar
authored and
MartinNowack
committed
Upgrade to FreeBSD 15 on CirrusCI

ccadar
authored and
MartinNowack
committed

Commits on Jun 14, 2024

Fixed bug that disabled the CI tests for the Linux targets

ccadar
authored and
MartinNowack
committed

Commits on Jul 2, 2024

fix(klee-replay): add missing `<limits.h>` includes

Sergei Zimmerman
authored and
ccadar
committed

Commits on Jul 3, 2024

Specialize the build for some expensive components for Arch & Debian.

sp1ff
authored and
MartinNowack
committed
Whitespace fix

sp1ff
authored and
MartinNowack
committed

Commits on Jul 9, 2024

Commits on Jul 10, 2024

Fixup
misonijnik
committed