coccinelle / faults-in-LinuxLinks
Experimental bed to study Linux faults
☆25Updated 2 years ago
Alternatives and similar repositories for faults-in-Linux
Users that are interested in faults-in-Linux are comparing it to the libraries listed below
Sorting:
- Tracking code patterns through software versions☆24Updated 11 months ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- A fast secure userspace pseudorandom number generator☆82Updated 10 years ago
- TLS implemented in f7☆43Updated 8 years ago
- Library wrapper and system-level tracing utilities☆46Updated 8 years ago
- ☆110Updated 10 months ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆30Updated 9 years ago
- Experimental setup of "Intel MPX explained"☆28Updated 5 years ago
- code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896☆18Updated 6 years ago
- Security-Oriented Analysis of Application Programs☆13Updated 6 years ago
- The Cloud9 main repository☆52Updated 11 years ago
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆64Updated 5 years ago
- Test suite for Capsicum☆44Updated 7 months ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- A stack tracer/profiler for Xen domains☆30Updated 2 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆20Updated 5 years ago
- EBA is a static bug finder for C.☆14Updated 4 years ago
- A Python DTrace consumer using libdtrace - Now Python can be used as DTrace Provider and Consumer...☆70Updated 3 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- C code indexer using language semantic from clang☆61Updated 6 years ago
- Experimental operating system for deterministic parallel computing☆38Updated 10 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- A minimalistic and high-performance SAT solver☆28Updated 2 years ago
- custom type systems for Clang☆98Updated 9 years ago
- The bvim is an advanced fork of bvi, a display-oriented editor for binary files, based on the vi texteditor. This version include support…☆30Updated 12 years ago
- Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.☆21Updated last year
- Dynamic instrumentation of the Linux kernel☆40Updated 10 years ago
- Trace software components, packages and files between Development/Source and Deployment/Distribution/Binaries codebases - strace build an…☆25Updated 9 months ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆60Updated this week