br0kej / FASER
Cross-Architecture Function Similarity Search Model - https://arxiv.org/abs/2310.03605
☆11Updated 11 months ago
Related projects: ⓘ
- A coverage-based software testing tool☆29Updated 3 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆11Updated last year
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 3 years ago
- ☆22Updated last year
- Symbolic execution in radare2 with angr☆40Updated 3 years ago
- ☆37Updated last year
- ☆10Updated 4 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- ☆47Updated 4 years ago
- ☆38Updated 2 years ago
- ☆37Updated 4 years ago
- Disassemblers with various trimming methodologies☆13Updated 2 years ago
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆27Updated last year
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆30Updated 4 months ago
- ☆11Updated 3 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 3 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆83Updated 2 years ago
- Large Commit Precise Vulnerability Dataset based on AOSP CVE☆57Updated last year
- Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…☆26Updated 3 years ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆67Updated 3 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆47Updated 2 months ago
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆48Updated 4 months ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆16Updated last year
- Models and code for the paper: In Nomine Function: Naming Functions in Stripped Binaries with Neural Networks☆18Updated 3 years ago
- Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution☆14Updated 2 years ago
- SAFE embeddings to match functions in yara☆99Updated 4 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆57Updated 3 years ago
- The parser-directed Fuzzer☆38Updated 4 years ago
- ☆91Updated 3 years ago