Frank Busse

[Feature request] blacklist post titles

9

It would be nice to have a blacklist of strings for post titles, e.g. "cat", "dog", "mods are asleep", ... Nothing fancy (regex), just plain case-insensitive search. Hope that's not...

PR #634 removed `getAnalysisUsage()` from `BreakConstantGEPs` and `MergeFunctionRets`. Would it be possible to bring those back? Otherwise I can't use those passes via the LegacyPassManager anymore as LLVM triggers an...

memory leak in MemSSA::newSSAName

2

`MRVer` objects are stored in `mr2VerStackMap` here: https://github.com/SVF-tools/SVF/blob/d170bd248d00bb95f80b57372cf365faada6b221/lib/MSSA/MemSSA.cpp#L378 Later the underlying vector is manipulated just by `pop_back/clear` without freeing the objects. However, when I use `unique_ptr`s here, I got invalid...

Greybox Fuzzing: minor issues

1

**Typos/Grammar** 1. > In Python, we can can squeeze long 2. > Lambda allows for quick definitions unnamed functions. 3. > Both greybox fuzzers clearly outperform the greybox fuzzer. **"Wrong"...

**Describe the bug** `PrintRunner` returns `UNRESOLVED` although the Fuzzer chapter states: > A `PrintRunner` will simply print out the given input and return a `PASS` outcome **To Reproduce** Run the...

Hi, when I configure `flex 2.6.4` with `CFLAGS="-ggdb -O0 -fsanitize=address" ./configure --disable-nls` the build crashes: ``` ./stage1flex -o stage1scan.c ./scan.l AddressSanitizer:DEADLYSIGNAL ================================================================= ==261776==ERROR: AddressSanitizer: SEGV on unknown address 0x000000000cd0 (pc...

Introduce persistent process tree (requires #1348)

4

This PR adds 3 features: ## 1. Optional process tree Instead of always maintaining the process tree, the tree now will only be created when it is necessary (when random-path...

STP: make SAT solver configurable

6

This PR enables KLEE to switch the underlying SAT solver for STP: ```bash $ klee --stp-sat-solver=simpleminisat test.bc KLEE: Using STP solver backend KLEE: SAT solver: simplifying MiniSat ``` ```bash $...

Add more statistics (incl. branches and termination classes)

1

This PR adds the following statistics: * InhibitedForks * QCacheHits/Misses * ExternalCalls * Allocations (this one exposes the existing one, in other projects I just count calls to `executeAlloc`) *...

Z3 assertion fails with ptx/sort/split: "Constant array found in query, but not handled by Z3Builder"

3

ptx/sort/split crash with Z3 (4.8.8), rndcov, 4GiB memory limit > klee: /project/src/klee-src/lib/Solver/Z3Solver.cpp:283: bool klee::Z3SolverImpl::internalRunSolver(const klee::Query&, const std::vector*, std::vector*, bool&): Assertion `builder->constant_array_assertions.count(constant_array) == 1 && "Constant array found in query, but...