analysis-tools-dev / dynamic-analysisLinks
⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.
☆1,018Updated last week
Alternatives and similar repositories for dynamic-analysis
Users that are interested in dynamic-analysis are comparing it to the libraries listed below
Sorting:
- A curated list of awesome Fuzzing(or Fuzz Testing) for software security☆902Updated last year
- Project page for "The Fuzzing Book"☆1,196Updated 3 months ago
- a static analysis tool for finding vulnerabilities in C/C++ source code☆535Updated last year
- FuzzBench - Fuzzer benchmarking as a service.☆1,156Updated 5 months ago
- ClusterFuzzLite - Simple continuous fuzzing that runs in CI.☆493Updated 8 months ago
- A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.☆1,424Updated last month
- ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The foc…☆13,976Updated this week
- Code Property Graph: specification, query language, and utilities☆524Updated last week
- Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.…☆2,534Updated this week
- Tutorials, examples, discussions, research proposals, and other resources related to fuzzing☆3,682Updated 9 months ago
- A tool to automatically build a dependency graph and Software Bill of Materials (SBOM) for packages and arbitrary source code repositorie…☆365Updated 7 months ago
- User-friendly documentation for the SARIF file format.☆316Updated last year
- A LLVM-based static analysis framework.☆993Updated this week
- Set of tests for fuzzing engines☆1,449Updated 3 years ago
- Semgrep Community Edition rules, maintained by Semgrep and the community. Free to use under the Semgrep Rules License.☆949Updated this week
- Fuzz Introspector -- introspect, extend and optimise fuzzers☆424Updated last week
- cwe_checker finds vulnerable patterns in binary executables☆1,241Updated 3 months ago
- Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic e…☆946Updated 3 years ago
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆359Updated this week
- Source code understanding via Machine Learning techniques☆137Updated 2 years ago
- A unit test-like interface for fuzzing and symbolic execution☆837Updated 6 months ago
- A curated list of awesome directed fuzzing research papers☆530Updated this week
- Collection of tools for analyzing open source packages.☆350Updated this week
- Coverage-guided, in-process fuzzing for the JVM☆1,127Updated 2 weeks ago
- Scan is a free & Open Source DevSecOps tool for performing static analysis based security testing of your applications and its dependenci…☆847Updated last year
- Mutation testing resources: how to make better code by introducing bugs☆428Updated last month
- KLEE Symbolic Execution Engine☆2,806Updated 3 weeks ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆572Updated 3 months ago
- Academic papers related to fuzzing, binary analysis, and exploit dev, which I want to read or have already read☆1,318Updated 5 months ago
- A compilation of resources in the software supply chain security domain, with emphasis on open source☆325Updated 2 years ago