Alternatives and similar repositories for DCFG

Users that are interested in DCFG are comparing it to the libraries listed below

• winter2020 / oo7
  oo7, a binary analysis tool to defend against Spectre vulnerabilities
  ☆34Updated 5 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆39Updated 5 years ago
• mustakimur / CFI-LB
  Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19
  ☆22Updated 3 years ago
• uCFI-GATech / ucfi-compiler
  ☆17Updated 6 years ago
• adrianherrera / llvm-cfg-to-json
  Exports an LLVM control flow graph (CFG) (including function calls) to JSON
  ☆25Updated 4 years ago
• vusec / dangzero
  ☆18Updated 2 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 5 years ago
• hw-sw-contracts / revizor
  Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs
  ☆41Updated 3 years ago
• OleksiiOleksenko / SpecFuzz
  A tool for detecting Spectre vulnerabilities through fuzzing
  ☆45Updated 4 years ago
• TJAndHisStudents / Griffin-Trace
  A version of Griffin used to provide program traces
  ☆15Updated 5 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 6 years ago
• cispa / osiris
  Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)
  ☆65Updated 7 months ago
• HexHive / mitiGate
  Benchmark to test different stop the exploit mitigations
  ☆18Updated 7 years ago
• michaelbrownuc / GadgetSetAnalyzer
  A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.
  ☆17Updated 2 years ago
• bin2415 / llvm_DFGPass
  llvm Data Flow Graph dump
  ☆36Updated 4 years ago
• yannicnoller / hydiff
  ☆25Updated 4 years ago
• libtea / frameworks
  Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser
  ☆62Updated 3 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆32Updated 3 years ago
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆18Updated 4 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆22Updated 5 years ago
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆51Updated 12 years ago
• ssl-tud / k-miner
  K-Miner
  ☆74Updated 6 years ago
• vusec / kmvx
  kMVX: Detecting Kernel Information Leaks with Multi-variant Execution
  ☆22Updated 6 years ago
• vul337 / cfi-eval
  ☆22Updated 5 years ago
• melynx / peekaboo
  An standalone execution trace library built on DynamoRIO.
  ☆23Updated 3 years ago
• ICSE2020-MemLock / MemLock
  MemLock: Memory Usage Guided Fuzzing
  ☆32Updated 5 years ago
• securesystemslab / sanitizing-for-security-benchmarks
  ☆24Updated 7 years ago
• SoftwareLanguagesSecurityLab / ConFIRM
  ☆25Updated 4 years ago
• awen-li / PCA
  A data dependence analyzer for C program
  ☆20Updated 3 years ago
• melynx / DOP-StaticAssist
  Public release of the tools used to assist in gadget finding.
  ☆42Updated 7 years ago