mc-imperial / jfs

Related projects ⓘ

Alternatives and complementary repositories for jfs

• davidtr1037 / chopper
  KLEE / CSE Project
  ☆43Updated 4 years ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆65Updated 8 years ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆162Updated 5 months ago
• staticafi / sbt-instrumentation
  Configurable instrumentation of LLVM bitcode
  ☆33Updated this week
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 4 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 8 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 4 years ago
• HexHive / Gramatron
  Coverage-guided grammar aware fuzzer that uses grammar automatons
  ☆64Updated 2 years ago
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆134Updated 6 years ago
• hase-project / hase
  Timeless debugging with symbolic execution and processor trace
  ☆74Updated 3 years ago
• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆201Updated 7 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆62Updated 3 years ago
• tum-i4 / macke
  Modular And Compositional analysis with KLEE Engine
  ☆113Updated 4 years ago
• season-lab / survey-symbolic-execution
  A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.
  ☆81Updated 6 years ago
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆224Updated 2 years ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆64Updated 7 years ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆102Updated last year
• carolemieux / perffuzz
  PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs
  ☆132Updated 4 years ago
• kevinkoo001 / CCR
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆58Updated 2 years ago
• SVL-PSU / crete-dev
  CRETE under development
  ☆58Updated 4 years ago
• nsumner / llvm-dataflow-analysis
  ☆62Updated 5 years ago
• AFLplusplus / fuzzer-challenges
  Challenging testcases for fuzzers
  ☆66Updated 8 months ago
• carolemieux / afl-rb
  FairFuzz: AFL extension targeting rare branches
  ☆241Updated 5 years ago
• SoftSec-KAIST / Ankou
  Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)
  ☆54Updated 4 years ago
• angr / tracer
  Utilities for generating dynamic traces
  ☆88Updated 2 years ago
• vusec / parmesan
  ParmeSan: Sanitizer-guided Greybox Fuzzing
  ☆172Updated 7 months ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆22Updated 8 years ago
• caballa / wrapped-intervals
  Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…
  ☆12Updated 6 years ago
• vusec / vuzzer64
  This implements a 64-bit version of vusec/vuzzer fuzzing tool.
  ☆176Updated 2 years ago
• hxuhack / logic_bombs
  This repository contains several examples of logic bomb.
  ☆96Updated 11 months ago