coccinelle / faults-in-Linux

Related projects ⓘ

Alternatives and complementary repositories for faults-in-Linux

• 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
• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆44Updated 7 years ago
• llvm-mirror / poolalloc
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆29Updated 9 years ago
• IAIK / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• regehr / rb_tree_demo
  code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
  ☆18Updated 5 years ago
• agl / nullok
  Scripts that I used to write a blog post about section 7.24.1(2) of C11
  ☆11Updated 8 years ago
• sysml / uniprof
  A stack tracer/profiler for Xen domains
  ☆30Updated 2 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆26Updated 4 years ago
• CTSRD-SOAAP / soaap
  Security-Oriented Analysis of Application Programs
  ☆13Updated 5 years ago
• snu-sf / crellvm
  Crellvm: Verified Credible Compilation for LLVM
  ☆15Updated 6 years ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆63Updated 4 years ago
• klee / klee-web
  KLEE in the browser
  ☆50Updated 5 months ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆32Updated 3 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
• google / navc
  C code indexer using language semantic from clang
  ☆63Updated 5 years ago
• DynamoRIO / drk
  Dynamic instrumentation of the Linux kernel
  ☆41Updated 9 years ago
• octopus-platform / octopus
  Generic server for collaborative code analysis
  ☆12Updated 7 years ago
• joe-lawrence / linux-inject
  Proof of concept use of linux-inject and proces patching
  ☆39Updated 7 years ago
• llvm-mirror / zorg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆20Updated 5 years ago
• llvm-mirror / klee
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆17Updated 7 years ago
• intel / satt
  ☆74Updated 2 years ago
• fedora-static-analysis / firehose
  Interchange format for results for static analysis tools
  ☆63Updated 6 months ago
• bnoordhuis / strace
  http://sourceforge.net/projects/strace/
  ☆25Updated 9 years ago
• trailofbits / clang-tidy-audit
  Rewrite C/C++/Obj-C to Annotate Points of Interest
  ☆27Updated 8 years ago
• Z3Prover / z3test
  Test and benchmark repository for Z3.
  ☆24Updated 2 weeks ago