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
- KLEE in the browser☆52Updated 2 months ago
- ELF binary patching utility☆41Updated 9 years ago
- A Simple Network Stream Recorder☆35Updated 6 years ago
- The Cloud9 main repository☆52Updated 12 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.…☆28Updated 4 years ago
- The Z3 Theorem Prover - repository for staging python distributions☆54Updated 6 years ago
- Hierarchical Delta Debugging Framework☆59Updated 2 weeks ago
- Picon☆39Updated 8 years ago
- Security-Oriented Analysis of Application Programs☆13Updated 6 years ago
- Programmer De-anonymization via Code Stylometry☆79Updated 8 years ago
- PGP packet parser library☆55Updated 6 years ago
- Eclipse plugin that synthesizes real Java code☆26Updated 11 years ago
- Mirror of freehaven's anonymous research bibliography☆14Updated 10 years ago
- Security and Privacy Assurance Research Test and Assessment (SPARTA) tool suite☆37Updated 8 years ago
- Fuzzing things with afl and python-afl☆59Updated 9 years ago
- "What if I tossed small pox into a room filled with sprinters after filling their water cups with red bull."☆33Updated 10 years ago
- GCC plugins☆28Updated 14 years ago
- a license identification tool for Source Code☆110Updated 3 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
- 📜Automated review of open source software projects☆118Updated 9 months ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- Notes relating to secure messaging☆19Updated 9 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 8 years ago
- Oink is a collaboration of C++ static analysis tools.☆155Updated 2 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆44Updated 9 years ago
- ☆20Updated 9 years ago
- Systematic Classification Engine for Advanced Data ANalysis☆22Updated 8 years ago
- Avalanche is a document generator which uses context-free grammars to generate randomized outputs for fuzz-testing.☆32Updated 4 years ago
- Static analysis tool to slice python programs☆38Updated 8 years ago