Alternatives and similar repositories for dynamic-analysis

Users that are interested in dynamic-analysis are comparing it to the libraries listed below

• cpuu / awesome-fuzzing
  A curated list of awesome Fuzzing(or Fuzz Testing) for software security
  ☆887Updated last year
• uds-se / fuzzingbook
  Project page for "The Fuzzing Book"
  ☆1,171Updated last month
• ksluckow / awesome-symbolic-execution
  A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
  ☆1,399Updated 7 months ago
• david-a-wheeler / flawfinder
  a static analysis tool for finding vulnerabilities in C/C++ source code
  ☆526Updated 10 months ago
• google / fuzzbench
  FuzzBench - Fuzzer benchmarking as a service.
  ☆1,145Updated 3 months ago
• google / clusterfuzzlite
  ClusterFuzzLite - Simple continuous fuzzing that runs in CI.
  ☆486Updated 5 months ago
• fkie-cad / cwe_checker
  cwe_checker finds vulnerable patterns in binary executables
  ☆1,223Updated last month
• strongcourage / awesome-directed-fuzzing
  A curated list of awesome directed fuzzing research papers
  ☆517Updated this week
• ShiftLeftSecurity / codepropertygraph
  Code Property Graph: specification, query language, and utilities
  ☆510Updated this week
• joernio / joern
  Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.…
  ☆2,407Updated this week
• google / fuzzing
  Tutorials, examples, discussions, research proposals, and other resources related to fuzzing
  ☆3,652Updated 7 months ago
• semgrep / semgrep-rules
  Semgrep Community Edition rules, maintained by Semgrep and the community. Free to use under the Semgrep Rules License.
  ☆916Updated this week
• googleprojectzero / halfempty
  A fast, parallel test case minimization tool.
  ☆959Updated 4 years ago
• google / fuzzer-test-suite
  Set of tests for fuzzing engines
  ☆1,446Updated 3 years ago
• trailofbits / it-depends
  A tool to automatically build a dependency graph and Software Bill of Materials (SBOM) for packages and arbitrary source code repositorie…
  ☆358Updated 5 months ago
• trailofbits / deepstate
  A unit test-like interface for fuzzing and symbolic execution
  ☆832Updated 4 months ago
• eurecom-s3 / symcc
  SymCC: efficient compiler-based symbolic execution
  ☆814Updated 2 weeks ago
• googleprojectzero / fuzzilli
  A JavaScript Engine Fuzzer
  ☆2,014Updated 3 months ago
• microsoft / sarif-tutorials
  User-friendly documentation for the SARIF file format.
  ☆304Updated last year
• BinaryAnalysisPlatform / bap
  Binary Analysis Platform
  ☆2,138Updated last month
• secure-software-engineering / phasar
  A LLVM-based static analysis framework.
  ☆987Updated this week
• microsoft / rest-api-fuzz-testing
  REST API Fuzz Testing (RAFT): Source code for self-hosted service developed for Azure, including the API, orchestration engine, and defau…
  ☆263Updated 3 years ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆309Updated last year
• google / AFL
  american fuzzy lop - a security-oriented fuzzer
  ☆3,887Updated 3 years ago
• ossf / fuzz-introspector
  Fuzz Introspector -- introspect, extend and optimise fuzzers
  ☆415Updated this week
• Microsvuln / Awesome-AFL
  A curated list of different AFL forks and AFL inspired fuzzers with detailed equivalent academic papers and AFL-fuzzing tutorials
  ☆546Updated last year
• Dor1s / libfuzzer-workshop
  Repository for materials of "Modern fuzzing of C/C++ Projects" workshop.
  ☆1,278Updated last year
• aflsmart / aflsmart
  Smart Greybox Fuzzing (https://thuanpv.github.io/publications/TSE19_aflsmart.pdf)
  ☆512Updated 3 years ago
• esbmc / esbmc
  The efficient SMT-based context-bounded model checker (ESBMC)
  ☆349Updated this week
• mykter / afl-training
  Exercises to learn how to fuzz with American Fuzzy Lop
  ☆1,259Updated 2 years ago