fedora-static-analysis / firehose

Related projects ⓘ

Alternatives and complementary repositories for firehose

• octopus-platform / octopus
  Generic server for collaborative code analysis
  ☆12Updated 7 years ago
• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆25Updated 2 years ago
• klee / klee-web
  KLEE in the browser
  ☆50Updated 5 months ago
• GumTreeDiff / cgum
  The C parser for GumTree
  ☆12Updated 4 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆57Updated 3 weeks ago
• sarda-nikhil / Sypy
  A symbolic execution engine for Python
  ☆45Updated 11 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• orbitcowboy / afl_cppcheck
  A script to start fuzzing of cppcheck with american fuzzy lop
  ☆10Updated 5 years ago
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆154Updated 2 years ago
• IAIK / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆42Updated 8 years ago
• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆27Updated 5 months ago
• DynamoRIO / drk
  Dynamic instrumentation of the Linux kernel
  ☆41Updated 9 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 5 years ago
• coccinelle / coccinellery
  ☆108Updated 4 months ago
• staticafi / sbt-instrumentation
  Configurable instrumentation of LLVM bitcode
  ☆33Updated 11 months ago
• romanofski / programslice
  Static analysis tool to slice python programs
  ☆36Updated 7 years ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆47Updated this week
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆14Updated 8 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 4 months ago
• CTSRD-SOAAP / soaap
  Security-Oriented Analysis of Application Programs
  ☆13Updated 5 years ago
• jieyu / maple
  A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…
  ☆68Updated 7 years ago
• johnlcf / Stana
  Stana - A strace output parser and analyser
  ☆33Updated 6 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆46Updated last month
• pgoodman / cparser
  Sort-of GNU C99 Declaration Parser
  ☆11Updated 5 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 8 years ago