B2R2-org / FunSeekerLinks
FunSeeker: Binary Function Identification Tool
☆25Updated last year
Alternatives and similar repositories for FunSeeker
Users that are interested in FunSeeker are comparing it to the libraries listed below
Sorting:
- Signedness-Agnostic Strided-Interval☆37Updated 6 years ago
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- ☆53Updated 6 years ago
- ☆24Updated 2 years ago
- A suite of experiments for evaluating open-source binary taint trackers.☆32Updated 3 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆33Updated 4 months ago
- ☆42Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆30Updated 3 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 6 years ago
- experiments for IJON☆12Updated 5 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Updated 4 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆34Updated 5 years ago
- An approximate solver for concolic execution☆18Updated last month
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 4 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆59Updated 4 years ago
- ☆27Updated 3 years ago
- AFLTeam Collaborative Parallel Fuzzing☆74Updated 2 years ago
- ROP Benchmark is a tool to compare ROP compilers☆42Updated 2 years ago
- Benchmark to test different stop the exploit mitigations☆18Updated 6 years ago
- ☆38Updated 4 years ago
- kAFL Fuzzer☆33Updated 3 months ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 6 years ago
- ☆28Updated 6 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Updated 2 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆29Updated 4 years ago
- ☆24Updated 6 years ago
- ☆16Updated 7 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆20Updated 2 years ago
- KLEE / CSE Project☆45Updated 5 years ago