fedora-static-analysis / firehoseLinks
Interchange format for results for static analysis tools
☆63Updated last year
Alternatives and similar repositories for firehose
Users that are interested in firehose are comparing it to the libraries listed below
Sorting:
- Generic server for collaborative code analysis☆13Updated 8 years ago
- ELF binary patching utility☆41Updated 10 years ago
- KLEE in the browser☆52Updated 3 weeks ago
- The Cloud9 main repository☆53Updated 12 years ago
- Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.☆29Updated 10 years ago
- Picon☆39Updated 8 years ago
- Current development for Call Map takes place at https://github.com/ajylee/call_map. Call Map is a tool for navigating Python call graphs.…☆29Updated 4 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 8 years ago
- The Z3 Theorem Prover - repository for staging python distributions☆53Updated 6 years ago
- ☆27Updated 8 years ago
- A dynamic analysis framework for C and C++ programs☆29Updated this week
- test your Diffie-Hellman parameters for safe primes and right sizes☆20Updated 9 years ago
- A Simple Network Stream Recorder☆35Updated 6 years ago
- CoREBench: Errors in Find, Grep, Make☆13Updated 10 years ago
- Convert git logs to JSON for easy analysis☆74Updated 3 years ago
- PGP packet parser library☆55Updated 6 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆46Updated 9 years ago
- Oink is a collaboration of C++ static analysis tools.☆156Updated 3 years ago
- Mirror of afl-fuzz, a fuzzer with compiler instrumentation. The original source is only distributed over HTTP. SHA256 checksums verified …☆23Updated 10 years ago
- Hierarchical Delta Debugging Framework☆59Updated 2 weeks ago
- Security-Oriented Analysis of Application Programs☆13Updated 6 years ago
- Programmer De-anonymization via Code Stylometry☆79Updated 8 years ago
- Fuzzing things with afl and python-afl☆59Updated 9 years ago
- Borrowed Instructions Synthetic Computation☆70Updated 10 years ago
- The Binary Mutation code based on Uroboros☆14Updated 6 years ago
- Static analysis tool to slice python programs☆38Updated 9 years ago
- a grammar-based data generator☆60Updated 6 years ago
- ☆113Updated last year
- Python code for 1) permuting randomly-generated passwords for easier entry on mobile devices, and 2) for estimating entropy lost as a res…☆16Updated 9 years ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆70Updated 8 years ago