cksystemsgroup / unicorn
Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers
☆29Updated last month
Related projects: ⓘ
- A Rust crate for parsing Windows user minidumps.☆40Updated 4 months ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆65Updated 2 weeks ago
- Binary-only fuzzer for WebAssembly (WASI)☆48Updated last month
- ☆23Updated last year
- Easy way to run a LLVM instrumented kernel in qemu with gdb☆18Updated 5 months ago
- A structured fuzzing framework built in Rust☆24Updated last year
- Uncovering Container Confusion in the Linux Kernel☆42Updated 6 months ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆58Updated 2 weeks ago
- Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects☆77Updated last year
- Symbolic execution tool for Sail ISA specifications☆62Updated this week
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy☆47Updated 3 months ago
- A super simple /sbin/init for Linux which allows running one and only one program☆23Updated 9 months ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Updated last year
- Practical fuzzing tutorials and training☆26Updated 2 months ago
- A toy symbolic execution engine, supporting the blog article ...☆16Updated 3 years ago
- A tour of what some Rust language features look like after compilation.☆38Updated last year
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆15Updated 11 months ago
- ☆56Updated last year
- Some Rust bindings for Binary Ninja☆31Updated 11 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆83Updated 2 years ago
- drop-in replacement for libfuzzer☆66Updated 2 weeks ago
- Rust out-of-tree Linux Kernel Modules (LKMs) experimentation framework☆39Updated last year
- ManticoreUI support for Ghidra. This is primarily a prototype repository. See the main ManticoreUI repo (https://github.com/trailofbits/M…☆11Updated 2 years ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- A rust based DLL injection project☆30Updated 2 years ago
- InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets☆37Updated last month
- A binary analysis framework written in Rust.☆19Updated 8 months ago
- Dynamically discover the commands used to create a piece of software☆45Updated 3 months ago
- A high-performance, parallel, compilation-based symbolic execution engine☆114Updated last week