david-a-wheeler / flawfinder
a static analysis tool for finding vulnerabilities in C/C++ source code
☆478Updated last month
Related projects: ⓘ
- cwe_checker finds vulnerable patterns in binary executables☆1,101Updated last month
- ☆697Updated last week
- A collection of my Semgrep rules to facilitate vulnerability research.☆542Updated 2 months ago
- ⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.☆926Updated this week
- Fuzz Introspector -- introspect, extend and optimise fuzzers☆368Updated this week
- ClusterFuzzLite - Simple continuous fuzzing that runs in CI.☆454Updated 3 months ago
- AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)☆852Updated last month
- An example C program which contains vulnerable code for common types of vulnerabilities. It can be used to show fuzzing concepts.☆657Updated last month
- ☆230Updated this week
- Binary Analysis Next Generation (BANG)☆471Updated 2 weeks ago
- FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.☆395Updated 2 years ago
- Set of tests for fuzzing engines☆1,425Updated 3 years ago
- Library for structured fuzzing with protobuffers☆575Updated last week
- FuzzBench - Fuzzer benchmarking as a service.☆1,086Updated 2 weeks ago
- A lightweight dynamic instrumentation library☆1,157Updated 3 months ago
- Tracking CVEs for the linux Kernel☆738Updated 5 months ago
- Semgrep rules registry☆772Updated this week
- A fuzzer for full VM kernel/driver targets☆643Updated last week
- Security-related flags and options for C compilers☆182Updated last year
- Splint - annotation-assisted static program checker☆298Updated 6 months ago
- ☆257Updated last year
- A powerful static binary rewriting tool☆963Updated last month
- A binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix ELF binary formats☆768Updated last month
- Checksec tool in Python, Rich output. Based on LIEF☆312Updated this week
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆518Updated this week
- SymCC: efficient compiler-based symbolic execution☆776Updated 2 months ago
- A curated list of different AFL forks and AFL inspired fuzzers with detailed equivalent academic papers and AFL-fuzzing tutorials☆525Updated 9 months ago
- Tutorials, examples, discussions, research proposals, and other resources related to fuzzing☆3,445Updated last month
- Resources related to GitHub Security Lab☆1,392Updated last month
- the Network Protocol Fuzzer that we will want to use.☆719Updated 7 months ago