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
- The C parser for GumTree☆13Updated 4 years ago
- Add ipython magic to call python trepan☆13Updated 4 years ago
- A Python implementation of JOSE☆14Updated 6 years ago
- Experimental bed to study Linux faults☆25Updated 2 years ago
- Hierarchical Delta Debugging Framework☆59Updated 5 months ago
- The Z3 Theorem Prover - repository for staging python distributions☆56Updated 5 years ago
- A Simple Network Stream Recorder☆35Updated 6 years ago
- “a” vs “an” checker☆33Updated 3 weeks ago
- Experimental operating system for deterministic parallel computing☆38Updated 10 years ago
- Tools for analysing python code☆19Updated 8 years ago
- The Cloud9 main repository☆52Updated 11 years ago
- Scripts that I used to write a blog post about section 7.24.1(2) of C11☆11Updated 8 years ago
- Default Repo description from terraform module☆1Updated 10 years ago
- Sort-of GNU C99 Declaration Parser☆11Updated 5 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- Presentation on Hana for C++Now 2015☆10Updated 6 years ago
- Fuzzing things with afl and python-afl☆59Updated 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.…☆28Updated 3 years ago
- C Quality Metrics☆66Updated 2 years ago
- cut out a small (binary) piece of a (binary) file☆15Updated 13 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆43Updated 9 years ago
- INACTIVE - http://mzl.la/ghe-archive - make implementation in Python☆80Updated 6 years ago
- Dan Kaminsky's clock drift entropy generator☆6Updated 10 years ago
- A gdb gui written in Python, running inside gdb itself.☆46Updated last year
- C call graph generator☆55Updated 7 years ago
- Parallel Delta Debugging Framework☆51Updated 5 months ago
- static analysis benchmarks from Toyota ITC☆113Updated 2 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- KLEE in the browser☆52Updated 11 months ago