SeanHeelan / claude_opus_cve_2023_0266
Demo showing Claude Opus does not find CVE-2023-0266
☆12Updated 6 months ago
Related projects: ⓘ
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆47Updated 2 months ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated last year
- ☆30Updated 4 years ago
- KLEE Symbolic Execution Engine☆61Updated 4 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆24Updated 2 weeks ago
- ☆37Updated 4 years ago
- Tool to extract the kallsyms (System.map) from a memory dump☆24Updated last year
- Dr. Disassembler☆35Updated 2 years ago
- experimentation/code from Tanguy Dubroca (summer 2019)☆26Updated 5 years ago
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆25Updated last year
- A Ghidra plugin for locating object file boundaries.☆114Updated last week
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆18Updated last year
- transpile llil to c++ for execution and testing☆41Updated 8 months ago
- A tool to perform so called BGE attack☆20Updated 5 months ago
- Toshiba MeP-c4 for Ghidra☆22Updated 5 years ago
- Automated recovery of Linux kernel build configurations☆23Updated 2 years ago
- Binary Ninja Plugin for Generating Callgraphs☆17Updated 2 years ago
- Python interface for Binexport, the Bindiff export format☆14Updated 2 months ago
- Library to manipulate and create Sourcetrail databases☆14Updated last month
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- Cumulative cyclomatic complexity calculation for Ghidra☆20Updated 3 years ago
- Load function names from an IDA Pro database inside GDB☆20Updated 5 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆22Updated 5 years ago
- Build your emulation environment as needed☆64Updated 3 years ago
- ☆15Updated this week
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 4 years ago
- tool for multi-execution jump coverage introspection☆62Updated last year
- A code skeleton of Samsung's Shannon S5000 baseband modem.☆40Updated 4 years ago