klee

Here are 7 public repositories matching this topic...

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

Seeding fuzzers with symbolic execution

Create CFGs and compute complexity metrics for Python, C++, and Java code.

An automation tool to generate, obfuscate, compile and run symbolic execution on c source files

docker obfuscation llvm gcc symbolic-execution tigress angr argon klee

Python post-processor that summarizes potential privacy leaks in taint-style KLEE/KLEE-taint logs.

Symbolic execution tool for CLI programs in embedded systems. Created for COMP 637 at UNC-Chapel Hill.

symbolic-execution klee

Modular And Compositional analysis with KLEE Engine

llvm symbolic-execution program-analysis klee masters-thesis

Add a description, image, and links to the klee topic page so that developers can more easily learn about it.

To associate your repository with the klee topic, visit your repo's landing page and select "manage topics."