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:
- KLEE in the browser☆54Updated 2 weeks ago
- Generic server for collaborative code analysis☆13Updated 9 years ago
- The Cloud9 main repository☆54Updated 12 years ago
- The Z3 Theorem Prover - repository for staging python distributions☆52Updated 6 years ago
- ELF binary patching utility☆41Updated 10 years ago
- Security-Oriented Analysis of Application Programs☆13Updated 7 years ago
- ☆114Updated last year
- Picon☆39Updated 8 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 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 Simple Network Stream Recorder☆35Updated 6 years ago
- Hierarchical Delta Debugging Framework☆60Updated 2 months ago
- Static analysis tool to slice python programs☆38Updated 9 years ago
- statistical similarity of binaries (Esh)☆73Updated 9 years ago
- Oink is a collaboration of C++ static analysis tools.☆156Updated 3 years ago
- Experimental bed to study Linux faults☆26Updated 3 years ago
- CoREBench: Errors in Find, Grep, Make☆13Updated 10 years ago
- PGP packet parser library☆55Updated 6 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
- Mirror of afl-fuzz, a fuzzer with compiler instrumentation. The original source is only distributed over HTTP. SHA256 checksums verified …☆23Updated 10 years ago
- Fuzzing things with afl and python-afl☆59Updated 9 years ago
- C Quality Metrics☆68Updated 3 years ago
- The C parser for GumTree☆14Updated 5 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆46Updated 10 years ago
- ☆27Updated 9 years ago
- GCC plugins☆29Updated 14 years ago
- Eclipse plugin that synthesizes real Java code☆26Updated 11 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆36Updated 4 years ago
- A Python3 software that validates a client's side SSL/TLS application's X509 verification process☆141Updated 11 years ago
- A dynamic analysis framework for C and C++ programs☆29Updated 2 weeks ago