Alternatives and similar repositories for TaintFlowAnalysis

Users that are interested in TaintFlowAnalysis are comparing it to the libraries listed below

• behzad-a / Dytan
  Dytan Taint Analysis Framework on Linux 64-bit
  ☆46Updated 11 years ago
• franchiotta / taintchecker
  Clang static checker that carries out tainting analysis.
  ☆88Updated 7 years ago
• sslab-gatech / kernel-analyzer
  ☆74Updated 6 years ago
• CAFA1 / CAFA
  CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage
  ☆31Updated 7 years ago
• tum-i4 / macke
  Modular And Compositional analysis with KLEE Engine
  ☆117Updated 6 years ago
• csienslab / instrim
  InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing
  ☆83Updated 5 years ago
• CAFA1 / long-driller
  ☆44Updated 5 years ago
• SeanHeelan / HeapLayout
  Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'
  ☆101Updated 6 years ago
• michaekang / android_s2e
  Run android with S2E
  ☆31Updated 11 years ago
• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆203Updated 8 years ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆95Updated 7 years ago
• enfuzz / enfuzz
  ☆67Updated 5 years ago
• SVL-PSU / crete-dev
  CRETE under development
  ☆60Updated 5 years ago
• jrmuizel / kemufuzzer
  Automatically exported from code.google.com/p/kemufuzzer
  ☆26Updated 10 years ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆63Updated 8 years ago
• junxzm1990 / pomp
  ☆55Updated 5 years ago
• aflgo / oss-fuzz
  OSS-Fuzz - integrated with AFLGo for Patch Testing
  ☆36Updated 8 years ago
• ICSE2020-MemLock / MemLock
  MemLock: Memory Usage Guided Fuzzing
  ☆32Updated 5 years ago
• bshastry / afl-sancov
  AFL coverage tool using Clang SanitizerCoverage
  ☆37Updated 9 years ago
• nettrino / slowfuzz
  ☆54Updated 8 years ago
• Epeius / FFuzz
  ☆16Updated 7 years ago
• junxzm1990 / afl-pt
  ☆53Updated 6 years ago
• uds-se / pFuzzer
  The parser-directed Fuzzer
  ☆40Updated 5 years ago
• zhunki / skyfire
  ☆55Updated 7 years ago
• angr / tracer
  Utilities for generating dynamic traces
  ☆93Updated 9 months ago
• purdue-secomp-lab / MEDS
  ☆37Updated 3 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆38Updated 6 years ago
• mboehme / pythia
  Pythia (extends AFL with Predictions)
  ☆66Updated 4 years ago
• S2E / docs
  Documentation and Quick Start Guides for the S2E Symbolic Execution Platform
  ☆76Updated 6 years ago
• S2E / s2e-env
  Your S2E project management tools. Visit https://s2e.systems/docs to get started.
  ☆95Updated 2 months ago