PLSysSec / pitchfork-angr

Related projects ⓘ

Alternatives and complementary repositories for pitchfork-angr

• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆29Updated 2 years ago
• HUSTSeclab / KernelTestingPapers
  Papers related with kernel papers
  ☆13Updated last year
• securesystemslab / PKRU-Safe
  ☆18Updated 2 years ago
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆20Updated last year
• mit-ll / HAKC
  ☆34Updated 2 years ago
• hw-sw-contracts / revizor
  Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs
  ☆42Updated last year
• shamedgh / temporal-specialization
  This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…
  ☆34Updated 4 years ago
• vusec / dangzero
  ☆16Updated last year
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆37Updated 4 years ago
• winter2020 / kleespectre
  KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling
  ☆33Updated 4 years ago
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆49Updated 11 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆94Updated last year
• AFLplusplus / qemuafl
  This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.
  ☆79Updated last week
• nyx-fuzz / packer
  ☆19Updated last month
• seclab-ucr / Unias
  A Hybrid Alias Analysis
  ☆18Updated last year
• OleksiiOleksenko / SpecFuzz
  A tool for detecting Spectre vulnerabilities through fuzzing
  ☆35Updated 3 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 4 years ago
• passlab / DCFG
  Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization
  ☆19Updated 7 years ago
• TJAndHisStudents / Griffin-Trace
  A version of Griffin used to provide program traces
  ☆15Updated 4 years ago
• uCFI-GATech / ucfi-compiler
  ☆17Updated 5 years ago
• Systems-ShiftLab / pmfuzz
  A testcase generation tool for Persistent Memory Programs.
  ☆15Updated 3 years ago
• jakobbotsch / llvm-sgx
  LLVM with SGX support
  ☆13Updated 6 years ago
• ZJU-Automated-Reasoning-Group / smtfuzz
  A fuzzer for SMT solvers
  ☆19Updated last year
• s3team / Abacus
  Side-channel Analysis
  ☆15Updated 2 years ago
• awen-li / PCA
  A data dependence analyzer for C program
  ☆19Updated 2 years ago
• cispa / osiris
  Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)
  ☆54Updated 2 years ago
• elManto / DDFuzz
  The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…
  ☆62Updated 2 years ago
• TeamVault / LLVM-CFI
  ☆11Updated 3 years ago
• seclab-ucr / SUTURE
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆71Updated 2 years ago
• sycuricon / MorFuzz
  Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation
  ☆23Updated 10 months ago
• HexHive / ViDeZZo
  ViDeZZo source code.
  ☆30Updated 2 weeks ago