fedora-static-analysis / firehose

Related projects ⓘ

Alternatives and complementary repositories for firehose

• GumTreeDiff / cgum
  The C parser for GumTree
  ☆12Updated 4 years ago
• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆25Updated 2 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆57Updated last week
• octopus-platform / octopus
  Generic server for collaborative code analysis
  ☆12Updated 7 years ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆47Updated last week
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 4 months ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• sarda-nikhil / Sypy
  A symbolic execution engine for Python
  ☆45Updated 11 years ago
• klee / klee-web
  KLEE in the browser
  ☆50Updated 4 months ago
• enthought / depsolver
  Default Repo description from terraform module
  ☆0Updated 9 years ago
• johnlcf / Stana
  Stana - A strace output parser and analyser
  ☆33Updated 6 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆26Updated 5 months ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 5 years ago
• coccinelle / coccinellery
  ☆108Updated 3 months ago
• MozillaSecurity / orion
  CI/CD pipeline for building and publishing multiple 🐳 containers as microservices within a mono repository.
  ☆47Updated this week
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆14Updated 8 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆11Updated 6 years ago
• nccgroup / call_map
  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
• dimkr / pylzfse
  Python bindings for LZFSE
  ☆29Updated 6 years ago
• dedis / Determinator
  Experimental operating system for deterministic parallel computing
  ☆38Updated 9 years ago
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆154Updated last year
• trailofbits / clang-tidy-audit
  Rewrite C/C++/Obj-C to Annotate Points of Interest
  ☆27Updated 8 years ago
• orbitcowboy / afl_cppcheck
  A script to start fuzzing of cppcheck with american fuzzy lop
  ☆10Updated 5 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆45Updated 3 weeks ago
• simonv3 / factbook-country-data
  ☆20Updated 8 years ago