Alternatives and similar repositories for OS-CFI

Users that are interested in OS-CFI are comparing it to the libraries listed below

• mustakimur / CFI-LB

  View on GitHub
  Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19
  ☆22Dec 12, 2022Updated 3 years ago
• SoftwareLanguagesSecurityLab / ConFIRM

  View on GitHub
  ☆25Jun 16, 2021Updated 4 years ago
• TeamVault / LLVM-CFI

  View on GitHub
  ☆12Jun 14, 2021Updated 4 years ago
• vul337 / cfi-eval

  View on GitHub
  ☆22Nov 12, 2020Updated 5 years ago
• Smilencelsy / Control-Flow-Integrity

  View on GitHub
  Sth in Control-Flow Integrity
  ☆20Dec 25, 2018Updated 7 years ago
• vusec / patharmor

  View on GitHub
  ☆24Nov 16, 2023Updated 2 years ago
• HexHive / ShadowStack

  View on GitHub
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆39May 2, 2020Updated 5 years ago
• uCFI-GATech / ucfi-compiler

  View on GitHub
  ☆17Sep 20, 2019Updated 6 years ago
• taptipalit / dynpta

  View on GitHub
  ☆15May 26, 2021Updated 4 years ago
• mcfi / MCFI

  View on GitHub
  MCFI/PICFI tool chain
  ☆45Mar 21, 2024Updated last year
• SVF-tools / SUPA

  View on GitHub
  SUPA
  ☆28Jan 15, 2026Updated last month
• control-flow-attestation / c-flat

  View on GitHub
  Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software
  ☆44Aug 12, 2016Updated 9 years ago
• s3team / DeepType

  View on GitHub
  ☆29Aug 7, 2025Updated 6 months ago
• EMarci15 / asplos22-minesweeper-reproduce

  View on GitHub
  ☆10May 12, 2023Updated 2 years ago
• SafeKeeper / safekeeper-chrome

  View on GitHub
  The Chrome plugin for SafeKeeper password protection service.
  ☆12Apr 25, 2018Updated 7 years ago
• sslab-gatech / hdfi

  View on GitHub
  Hardware-assisted Data-flow Isolation
  ☆29Jan 28, 2018Updated 8 years ago
• SZU-SE / UAF-Fuzzer-TestSuite

  View on GitHub
  [ICSE2020] UAFL DataSet
  ☆12Dec 10, 2022Updated 3 years ago
• fadoss / umaudemc

  View on GitHub
  Unified Maude model-checking tool
  ☆13Feb 4, 2026Updated last week
• suncongxd / ReCFA

  View on GitHub
  Resillent Control-Flow Attestation
  ☆13Sep 30, 2021Updated 4 years ago
• johnwilander / RIPE

  View on GitHub
  Buffer overflow testbed, research paper published at ACSAC 2011
  ☆93Aug 9, 2017Updated 8 years ago
• adelie-kaslr / source

  View on GitHub
  Adelie's source code
  ☆12Mar 2, 2022Updated 3 years ago
• purdue-cap / DryadSynth

  View on GitHub
  A SyGuS Solver
  ☆29May 18, 2025Updated 8 months ago
• seclab-ucr / IncreLux

  View on GitHub
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆33Apr 6, 2022Updated 3 years ago
• mustakimur / COIN-Attacks

  View on GitHub
  COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020
  ☆26Dec 12, 2022Updated 3 years ago
• binjo / ghidra_scripts

  View on GitHub
  ghidra scripts
  ☆15Feb 5, 2021Updated 5 years ago
• xxycfhb / pku_exploit_files

  View on GitHub
  ☆12Jul 26, 2022Updated 3 years ago
• dian-lun-lin / GenFuzz

  View on GitHub
  GPU-enabled Hardware Fuzzer using Genetic Algorithm
  ☆20Jul 12, 2023Updated 2 years ago
• sancus-tee / tutorial-dsn18

  View on GitHub
  Building Distributed Enclave Applications with Sancus and SGX
  ☆16Dec 9, 2020Updated 5 years ago
• teesec-research / optee_examples

  View on GitHub
  OP-TEE Trusted Applications vulnerable to memory corruption bugs.
  ☆16Jul 3, 2020Updated 5 years ago
• HexHive / mitiGate

  View on GitHub
  Benchmark to test different stop the exploit mitigations
  ☆18Jan 8, 2019Updated 7 years ago
• TJAndHisStudents / Griffin-Trace

  View on GitHub
  A version of Griffin used to provide program traces
  ☆15Sep 2, 2020Updated 5 years ago
• ZJU-SEC / Readings

  View on GitHub
  ☆61Jun 20, 2022Updated 3 years ago
• Messi-Q / BinaryCFGExtractor

  View on GitHub
  BinaryCFGExtractor is an automated tool for extracting binary code control flow graph (CFG).
  ☆18May 23, 2021Updated 4 years ago
• uni-due-syssec / teerex-exploits

  View on GitHub
  PoC exploits against various SGX enclaves
  ☆14May 19, 2022Updated 3 years ago
• rimsa / CFGgrind

  View on GitHub
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆130Jan 21, 2026Updated 3 weeks ago
• achieve-lab / assertion_data_for_LLM

  View on GitHub
  ☆23Jan 30, 2025Updated last year
• RiS3-Lab / OAT-Project

  View on GitHub
  Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)
  ☆16Nov 10, 2020Updated 5 years ago
• seclab-ucr / UBITect

  View on GitHub
  ☆42Oct 26, 2022Updated 3 years ago
• isec-tugraz / Chestnut

  View on GitHub
  ☆25Jun 2, 2024Updated last year