We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
A symbolic execution engine for LLVM IR
C++ 32 6
Tools for working with traces emitted by caffeine
Rust 1
Github workflows to build dependencies for caffeine
A bzlmod repository with custom caffeine dependencies
Collected harnesses for fuzzing various libraries using caffeine
This repo builds LLVM IR for libcxx and libcxxabi
Caffeine test harnesses for various programs
Used to compile libc to LLVM IR
Experimental Symbolic Execution Prototype
Loading…