Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers
☆37Feb 24, 2026Updated last week
Alternatives and similar repositories for unicorn
Users that are interested in unicorn are comparing it to the libraries listed below
Sorting:
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 5 months ago
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years ago
- ☆11Jul 1, 2025Updated 8 months ago
- ☆25Jan 11, 2023Updated 3 years ago
- An issue in AVG AVG Anti-Spyware v.7.5 allows an attacker to execute arbitrary code via a crafted script to the guard.exe component☆11Aug 5, 2023Updated 2 years ago
- AFL++ with support for FormatFuzzer☆18May 28, 2025Updated 9 months ago
- Handle Fast Signal Traces (fst) in Python☆14Jun 11, 2025Updated 8 months ago
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- Fuzzers implemented with libafl to evaluate several techniques on fuzzbench☆13Oct 10, 2024Updated last year
- BigMap integration on AFL++☆15Apr 5, 2021Updated 4 years ago
- POC of CVE-2023-35086 only DoS☆44Jul 25, 2023Updated 2 years ago
- CVE-2023-20198 Checkscript☆20Oct 23, 2023Updated 2 years ago
- ☆12Jun 14, 2023Updated 2 years ago
- QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification☆16Nov 8, 2016Updated 9 years ago
- ☆19Mar 4, 2023Updated 2 years ago
- 1000 black hat tools Collected From github☆16Nov 28, 2019Updated 6 years ago
- My journey and notes on learning Offensive Security from the ground up☆21Dec 22, 2025Updated 2 months ago
- Symbolic Execution Engine in Rust☆21Oct 8, 2023Updated 2 years ago
- Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.☆21May 17, 2022Updated 3 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆25Nov 21, 2024Updated last year
- Burp extension used to snip any header from all the requests.☆23Nov 12, 2023Updated 2 years ago
- Dynamic-Static binary instrumentation framework on top of GDB☆50Sep 25, 2023Updated 2 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆17Oct 19, 2023Updated 2 years ago
- ☆20May 27, 2020Updated 5 years ago
- Code Continuity Analysis Framework☆23Mar 3, 2025Updated last year
- ☆22Dec 6, 2023Updated 2 years ago
- ☆19Dec 28, 2021Updated 4 years ago
- ☆24Feb 14, 2024Updated 2 years ago
- The datasets and source code of the NDSS 2025 paper《BinEnhance: An Enhancement Framework Based on External Environment Semantics for Bina…☆30Nov 13, 2025Updated 3 months ago
- Linux based vulnerabilities (CVE) exploit detection through runtime security using Falco/Osquery/Yara/Sigma☆21Nov 27, 2023Updated 2 years ago
- ☆27Mar 16, 2023Updated 2 years ago
- ☆29Sep 27, 2020Updated 5 years ago
- Get statically linked utilities☆21Aug 16, 2022Updated 3 years ago
- Using automata learning to mine models used for fuzzing of statefull systems☆24Apr 13, 2021Updated 4 years ago
- vulnlab.com reaper writeup☆27Aug 30, 2023Updated 2 years ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆25Jul 7, 2022Updated 3 years ago
- Bring libfuzzer to Unicorn☆26Jan 23, 2022Updated 4 years ago
- A collection of analysis tools for Kconfig and Kbuild constraints.☆66Jan 30, 2026Updated last month