Alternatives and similar repositories for ucfi-compiler

Users that are interested in ucfi-compiler are comparing it to the libraries listed below

• SoftwareLanguagesSecurityLab / ConFIRM

  View on GitHub
  ☆25Jun 16, 2021Updated 4 years ago
• SVF-tools / SUPA

  View on GitHub
  SUPA
  ☆28Jan 15, 2026Updated 3 weeks ago
• ucsb-seclab / autofacts

  View on GitHub
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Feb 19, 2019Updated 6 years ago
• intel / xom-switch

  View on GitHub
  ☆56Aug 4, 2022Updated 3 years ago
• lzto / pex

  View on GitHub
  [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel
  ☆78Dec 30, 2021Updated 4 years ago
• isec-tugraz / Jenny

  View on GitHub
  ☆13Oct 8, 2021Updated 4 years ago
• YuanchengJiang / recipe-benchmark

  View on GitHub
  Source code of AsiaCCS'22 paper - RecIPE: Revisiting the Evaluation of Memory Error Defenses
  ☆13Sep 19, 2023Updated 2 years ago
• HexHive / mitiGate

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

  View on GitHub
  ☆12Jun 14, 2021Updated 4 years ago
• vahldiek / erim

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

  View on GitHub
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆39May 2, 2020Updated 5 years ago
• sslab-gatech / sgx-bomb

  View on GitHub
  ☆18Sep 1, 2018Updated 7 years ago
• TJAndHisStudents / Griffin-Trace

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

  View on GitHub
  MS-Fuzz data
  ☆15Nov 5, 2022Updated 3 years ago
• taptipalit / dynpta

  View on GitHub
  ☆15May 26, 2021Updated 4 years ago
• vusec / safeinit

  View on GitHub
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆26May 5, 2021Updated 4 years ago
• cali-library-isolation / Cali-library-isolation

  View on GitHub
  ☆16Sep 29, 2022Updated 3 years ago
• mcfi / MCFI

  View on GitHub
  MCFI/PICFI tool chain
  ☆45Mar 21, 2024Updated last year
• mustakimur / OS-CFI

  View on GitHub
  Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019
  ☆37Jan 10, 2022Updated 4 years ago
• melynx / DOP-StaticAssist

  View on GitHub
  Public release of the tools used to assist in gadget finding.
  ☆42Jan 29, 2018Updated 8 years ago
• isec-tugraz / Donky

  View on GitHub
  ☆15Apr 13, 2021Updated 4 years ago
• B2R2-org / FunSeeker

  View on GitHub
  FunSeeker: Binary Function Identification Tool
  ☆26Dec 23, 2023Updated 2 years ago
• FPSG-UIUC / Pandora

  View on GitHub
  Opening Pandora's Box: A Systematic Study of New Ways Microarchitecture can Leak Private Data
  ☆20Oct 13, 2022Updated 3 years ago
• vusec / deltapointers

  View on GitHub
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆56May 24, 2022Updated 3 years ago
• yuntongzhang / vulnfix

  View on GitHub
  Program Vulnerability Repair via Inductive Inference
  ☆20Dec 21, 2023Updated 2 years ago
• securesystemslab / PKRU-Safe

  View on GitHub
  ☆20Mar 10, 2022Updated 3 years ago
• wupco / KLAUS

  View on GitHub
  A framework to test the correctness of the Linux kernel patch.
  ☆22Sep 29, 2023Updated 2 years ago
• bu-icsg / PHMon

  View on GitHub
  This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).
  ☆27Aug 10, 2020Updated 5 years ago
• awen-li / PolyCruise

  View on GitHub
  A Cross-Language Dynamic Information Flow Analysis.
  ☆27Nov 29, 2022Updated 3 years ago
• diewufeihong / SLIME

  View on GitHub
  SLIME is a novel program-sensitive fuzzer that designs multiple property-aware queues and leverages a customized Upper Confidence Bound V…
  ☆20Feb 23, 2023Updated 2 years ago
• TortoiseFuzz / TortoiseFuzz

  View on GitHub
  ☆90Oct 25, 2021Updated 4 years ago
• sslab-gatech / libmpk

  View on GitHub
  ☆51Nov 15, 2021Updated 4 years ago
• securesystemslab / sanitizing-for-security-benchmarks

  View on GitHub
  ☆25Oct 4, 2018Updated 7 years ago
• vul337 / cfi-eval

  View on GitHub
  ☆22Nov 12, 2020Updated 5 years ago
• nmt4binaries / nmt4binaries.github.io

  View on GitHub
  ☆22Aug 29, 2023Updated 2 years ago
• riscv-admin / trusted-computing

  View on GitHub
  ☆23Jun 23, 2023Updated 2 years ago
• HexHive / CFIXX

  View on GitHub
  ☆29Jul 4, 2018Updated 7 years ago
• acsl-technion / cosmix

  View on GitHub
  A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves
  ☆29Feb 25, 2021Updated 4 years ago
• tudinfse / intel_mpx_explained

  View on GitHub
  Experimental setup of "Intel MPX explained"
  ☆29Feb 4, 2020Updated 6 years ago