cksystemsgroup / unicornLinks
Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers
☆37Updated 3 weeks ago
Alternatives and similar repositories for unicorn
Users that are interested in unicorn are comparing it to the libraries listed below
Sorting:
- Symbolic Execution Engine in Rust☆21Updated 2 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆54Updated 6 months ago
- Proof-of-concept for the GhostWrite CPU bug.☆116Updated last year
- Binary-only fuzzer for WebAssembly (WASI)☆51Updated last year
- ☆23Updated 2 years ago
- A structured fuzzing framework built in Rust☆31Updated 3 years ago
- A small tool for quickly generating LLVM passes☆29Updated 2 months ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- libLISA: Instruction Discovery and Analysis on x86-64☆120Updated 9 months ago
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆17Updated 3 weeks ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆31Updated last year
- Spectre based on Linear Address Masking☆67Updated 2 years ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆18Updated 8 months ago
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets☆57Updated 3 weeks ago
- A Rust crate for creating memory dumps of running processes on Linux☆61Updated 6 months ago
- Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects☆86Updated 3 years ago
- Uncovering Container Confusion in the Linux Kernel☆45Updated last year
- ☆23Updated 2 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆78Updated last week
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59Updated 6 months ago
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆19Updated 10 months ago
- Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]☆64Updated last year
- NVidia sass disassembler/inline patcher☆34Updated last week
- A system call interception tool☆58Updated last year
- ☆59Updated 2 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆22Updated 2 years ago
- Symbolic execution of LLVM IR☆13Updated last year
- Program synthesis tools and utilities for LLVM.☆20Updated 2 years ago
- A fast, deterministic, non-cryptographic hash for use in hash tables for Rust☆15Updated 4 years ago