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 last month
- CoREBench: Errors in Find, Grep, Make☆13Updated 9 years ago
- The Cloud9 main repository☆52Updated 12 years ago
- The Z3 Theorem Prover - repository for staging python distributions☆53Updated 6 years ago
- ELF binary patching utility☆41Updated 9 years ago
- Picon☆39Updated 8 years ago
- Hierarchical Delta Debugging Framework☆59Updated last month
- Security-Oriented Analysis of Application Programs☆13Updated 6 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 8 years ago
- Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.☆29Updated 10 years ago
- A dynamic analysis framework for C and C++ programs☆29Updated last month
- 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
- Static analysis tool to slice python programs☆38Updated 8 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆46Updated 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
- ☆20Updated 9 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆46Updated 9 years ago
- Clonewise - Detecting Package Clones and Inferring Security Vulnerabilities on Entire Linux Distributions.☆25Updated 12 years ago
- A Simple Network Stream Recorder☆35Updated 6 years ago
- Avalanche is a document generator which uses context-free grammars to generate randomized outputs for fuzz-testing.☆32Updated 4 years ago
- Test and benchmark repository for Z3.☆28Updated this week
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 6 years ago
- ☆27Updated 8 years ago
- Parallel Delta Debugging Framework☆53Updated 2 months ago
- ☆113Updated last year
- Notes relating to secure messaging☆19Updated 9 years ago
- ☆25Updated 10 years ago
- statistical similarity of binaries (Esh)☆73Updated 9 years ago
- TRACER Symbolic Execution Tool☆28Updated 5 years ago