Alternatives and similar repositories for C-Path-Finder:

Users that are interested in C-Path-Finder are comparing it to the libraries listed below

• ICSE2020-MemLock / MemLock
  MemLock: Memory Usage Guided Fuzzing
  ☆33Updated 4 years ago
• nettrino / slowfuzz
  ☆50Updated 7 years ago
• MelbourneFuzzingHub / aflteam
  AFLTeam Collaborative Parallel Fuzzing
  ☆73Updated 2 years ago
• sslab-gatech / kernel-analyzer
  ☆70Updated 5 years ago
• yannicnoller / hydiff
  ☆25Updated 3 years ago
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆17Updated 3 years ago
• FoRTE-Research / FoRTE-FuzzBench
  FoRTE-Research's fuzzing benchmarks
  ☆54Updated 5 years ago
• HexHive / datashield
  ☆17Updated 4 years ago
• gryan11 / PGA
  Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…
  ☆32Updated 3 years ago
• atos-tools / qemu-plugins-tutorial
  Tutorial to write qemu plugins
  ☆31Updated 7 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆90Updated 3 years ago
• uds-se / pFuzzer
  The parser-directed Fuzzer
  ☆38Updated 4 years ago
• HexHive / mitiGate
  Benchmark to test different stop the exploit mitigations
  ☆18Updated 6 years ago
• Samsung / afl_cc
  Fuzzing with controlled compilation
  ☆27Updated last year
• rdadolf / clangtool
  An example LLVM pass which can run automatically in clang.
  ☆37Updated 9 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 4 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 3 years ago
• pangine / disasm-benchmark
  Pangine disassembly ground truth benchmark
  ☆11Updated 3 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆43Updated 4 years ago
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 2 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 7 years ago
• staticafi / sbt-instrumentation
  Configurable instrumentation of LLVM bitcode
  ☆33Updated last month
• behzad-a / Dytan
  Dytan Taint Analysis Framework on Linux 64-bit
  ☆46Updated 10 years ago
• junxzm1990 / afl-pt
  ☆52Updated 5 years ago
• RiS3-Lab / muse
  Source code of MEUZZ fuzzer
  ☆44Updated 3 years ago
• SVL-PSU / crete-dev
  CRETE under development
  ☆59Updated 4 years ago
• HexHive / fuzzing-seed-selection
  "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)
  ☆42Updated 2 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆35Updated 5 years ago
• seclab-yonsei / intriguer
  Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing
  ☆33Updated last year
• securesystemslab / periscope
  ☆64Updated 5 years ago