dynamic-analysis
⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.
https://github.com/analysis-tools-dev/dynamic-analysis
Last synced: about 15 hours ago
JSON representation
-
Programming Languages
- Valgrind
- Enlightn
- LLVM/Clang Sanitizers - A memory error detector for C/C++</li> <li><a href="https://github.com/google/sanitizers/wiki/MemorySanitizer">MemorySanitizer</a> - A detector of uninitialized memory reads in C/C++ programs.</li> <li><a href="https://github.com/google/sanitizers/wiki/ThreadSanitizerCppManual">ThreadSanitizer</a> - A data race detector for C/C++</li> </ul>
- suture
- hyperfine - line benchmarking tool It features statistical analysis across multiple runs, support for arbitrary shell commands, constant feedback about the benchmark progress and current estimates, warmup runs, a simple and expressive syntax, and more.
- statsviz
- CHAP - instrumented ELF core files for leaks, memory growth, and corruption. It helps explain memory growth, can identify some forms of corruption, and supplements a debugger by giving the status of various memory locations.
- icontract - by-contract library supporting behavioral subtyping
- CrossHair
- Java PathFinder
- Iroh.js
- rust-san - to sanitize your Rust code with built-in Rust dynamic analyzers
- Jalangi2
- MIRI - level intermediate representation, which can detect certain classes of undefined behavior like out-of-bounds memory accesses and use-after-free.
- cargo-careful
- loom
- Scalene - performance, high-precision CPU and memory profiler for Python
- poop
- puffin
- KLEE
- stuck
- Microsoft IntelliTest
- Pex and Moles
- tis-interpreter
- Parasoft Jtest - flow analysis Unit test-case generation and execution, static analysis, regression testing, code coverage, and runtime error detection.
- DynaPyt
- typo
- VB Watch
- Microsoft IntelliTest
- LDRA - code, branch & decsion coverage.
- Parasoft Jtest - flow analysis Unit test-case generation and execution, static analysis, regression testing, code coverage, and runtime error detection.
- WhiteHat Sentinel Dynamic
-
Sponsors
-
Other
- Smartbear
- cadvisor
- angr
- souper
- llvm-propeller
- Wasabi
- BOLT - A linux command-line utility used for optimizing performance of binaries with profile guided permutation of linking to improve cache efficiency
- Dr. Memory - related programming errors ([Github](https://github.com/DynamoRIO/drmemory)).
- DynamoRIO
- prowler
- AppScan Standard
-
Multiple languages
- Sydr
- bytehound
- allocscope
- CASR
- Code Pulse - time code coverage tool for penetration testing activities by OWASP and Code Dx ([GitHub](https://github.com/codedx/codepulse)).
-
Meaning of Symbols:
Programming Languages
Categories
Sub Categories
Keywords
rust
3
static-analysis
2
symbolic-execution
2
dynamic-analysis
2
analysis
2
profiler
2
memory-profiler
2
fuzzing
1
contracts
1
concolic-execution
1
profiling
1
memory-profiling
1
visualization
1
stats
1
runtime
1
plots
1
monitoring
1
metrics
1
live
1
golang-library
1
golang
1
go
1
garbage-collector
1
tool
1
terminal
1
command-line
1
cli
1
benchmark
1
static-code-analysis
1
static-analyzers
1
sast
1
linter
1
code-quality
1
awesome-list
1
webassembly
1
wasm
1
javascript
1
klee
1
flamegraph
1
rust-lang
1
memory-leaks
1
memory-leak-detection
1
memory-allocation
1
cplusplus
1
c-programming
1
sanitizer
1
how-to
1
binary
1
angr
1
z3
1