Daniel Schemmel

Merging two reserved nodes

1

```rust #[derive(logos::Logos)] enum Tokens { #[regex(r#"'(?:'?(?:[[:ascii:][^\\']]|\\[[:ascii:]]))*'"#)] #[regex(r#"'(?:"?(?:[[:ascii:][^\\"]]|\\[[:ascii:]]))*'"#)] Problem, #[error] Error, } fn main() {} ``` Yields: ``` error: proc-macro derive panicked --> src/main.rs:1:10 | 1 | #[derive(logos::Logos)] | ^^^^^^^^^^^^ |...

Add KDAlloc, a deterministic allocator for dynamic symbolic execution

17

## Summary: Given the following program: ``` #include #include #include int main(int argc, char** argv) { int x = klee_int("x"); if(x) { printf("%p\n", malloc(1)); } else { printf("%p\n", malloc(1)); }...

Add a few simple solver tests

4

## Summary: Adds a few more tests to push those code coverage numbers up. ## Checklist: - [x] The PR addresses a single issue. If it can be divided into...

WIP: c++11 FIXMEs

1

## Summary: KLEE currently has a few `FIXME` comments relating to changes that should be mode once C++11 support has landed. This PR goes through all of the open FIXMEs...

Update C++ Standard Revision to 2017

9

## Summary: This PR updates the C++ version used by KLEE to C++17, which is mainly a "cleanup" revision in my eyes. While no other changes are part of this...

Inheritance

1

When inheriting from another class, the inheritance specification is not highlighted: ``` struct A : private B { private: void c(); }; ``` Expected result: Both `private` specifiers are highlighted....

Manifest configurations into klee.kconfig file

1

## Summary: This PR adds a `klee.kconfig` file to each output folder that contains a json object with information related to that run. For now, it emits the KDAlloc configuration....

Arithmetic right shift does not preserve sign on overshift

1

All current solvers ([STP](https://github.com/klee/klee/blob/fc83f06b17221bf5ef20e30d9da1ccff927beb17/lib/Solver/STPBuilder.cpp#L276), [Z3](https://github.com/klee/klee/blob/fc83f06b17221bf5ef20e30d9da1ccff927beb17/lib/Solver/Z3Builder.cpp#L282) and [MetaSMT](https://github.com/klee/klee/blob/fc83f06b17221bf5ef20e30d9da1ccff927beb17/lib/Solver/MetaSMTBuilder.h#L583)) return 0 when arithmetically overshifting to the right. While this makes sense for a logic overshift or an arithmetic overshift to the left,...

Add `rustix::process::exit` to terminate processes

4

This PR adds `rustix::process::exit` to exit the current process. This is useful for `no_std` code, which cannot call `std::process::exit`. The kernel backend uses the `exit_group` syscall, which is equivalent to...