Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization
☆22Jul 5, 2017Updated 8 years ago
Alternatives and similar repositories for DCFG
Users that are interested in DCFG are comparing it to the libraries listed below
Sorting:
- ☆18Sep 4, 2023Updated 2 years ago
- makecfg is a tool for making CFG(Control Flow Graph) from binary.☆18Jan 11, 2022Updated 4 years ago
- Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19☆22Dec 12, 2022Updated 3 years ago
- A demo of Flush-Reload style Side-channel attack.☆10Feb 20, 2019Updated 7 years ago
- ☆11Oct 28, 2020Updated 5 years ago
- Meltdown/Spectre experiments☆54Jan 5, 2018Updated 8 years ago
- ☆14Apr 4, 2024Updated last year
- [ICSE2020] UAFL DataSet☆12Dec 10, 2022Updated 3 years ago
- Side-channel Analysis☆19May 17, 2022Updated 3 years ago
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- ☆12Jun 14, 2021Updated 4 years ago
- Intel PIN rocks☆15Jun 5, 2012Updated 13 years ago
- A compiler for the Meta Attack Language☆15Apr 11, 2022Updated 3 years ago
- ghidra scripts☆15Feb 5, 2021Updated 5 years ago
- An Emulator and SDK for Intel SGX extension☆32Mar 6, 2017Updated 8 years ago
- PIRA - Automatic Instrumentation Refinement☆16Mar 28, 2024Updated last year
- Poise source code repo☆12Aug 12, 2020Updated 5 years ago
- RISC-V vector extension ISA simulation☆16Jun 11, 2019Updated 6 years ago
- Official repo for FSE'24 paper "CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking"☆18Mar 10, 2025Updated 11 months ago
- GraphChi's C++ version. Big Data - small machine.☆17Nov 29, 2020Updated 5 years ago
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆18Aug 4, 2023Updated 2 years ago
- For the analysis of CVE-2013-2028☆30Jun 7, 2018Updated 7 years ago
- A mutation tool for source and IR☆13Sep 6, 2018Updated 7 years ago
- ☆15Feb 27, 2019Updated 7 years ago
- PIN-based Fault-Injector is a fault injector based on the Intel PIN tool. For more information, please refer to the following paper:☆18Jul 6, 2018Updated 7 years ago
- ☆37Jun 19, 2019Updated 6 years ago
- Memory consistency model checking and test generation library.☆16Oct 14, 2016Updated 9 years ago
- Intrepyd Model Checker☆18Nov 5, 2021Updated 4 years ago
- ☆17Nov 21, 2019Updated 6 years ago
- ☆41Feb 25, 2019Updated 7 years ago
- CFG explorer for binaries☆84Oct 29, 2024Updated last year
- A collection of command-line tools based on Dyninst☆17Jun 3, 2021Updated 4 years ago
- Advanced file format fuzzer based-on deep neural language models.☆41Apr 13, 2023Updated 2 years ago
- Use Intel Pin tools to analysis binary.☆38Jul 19, 2015Updated 10 years ago
- A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.☆17Oct 13, 2023Updated 2 years ago
- Contains reference architecture scripts for running the OpenPiton regression using auto-scaling SLURM cluster.☆24Dec 1, 2025Updated 2 months ago
- ☆19Dec 29, 2014Updated 11 years ago
- An Extensible Framework for Hardware Verification and Debugging☆18Sep 14, 2022Updated 3 years ago
- ☆21Feb 15, 2022Updated 4 years ago