coccinelle / faults-in-LinuxLinks
Experimental bed to study Linux faults
☆26Updated 3 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:
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆64Updated 5 years ago
- Tracking code patterns through software versions☆25Updated last year
- Scripts that I used to write a blog post about section 7.24.1(2) of C11☆11Updated 9 years ago
- ☆113Updated last year
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆21Updated 5 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆26Updated 6 years ago
- Control and diagnostic applications for rump kernels☆36Updated 8 years ago
- Test suite for Capsicum☆44Updated 9 months ago
- A fast secure userspace pseudorandom number generator☆83Updated 11 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆58Updated 10 years ago
- Experimental operating system for deterministic parallel computing☆38Updated 10 years ago
- Library wrapper and system-level tracing utilities☆47Updated 8 years ago
- OSS-Fuzz - continuous fuzzing of open source software☆10Updated 8 years ago
- MetaSync☆20Updated 9 years ago
- Compiler intermediate language for static analysis.☆107Updated 6 years ago
- ☆14Updated 7 years ago
- in-kernel memcached for linux☆30Updated 6 years ago
- cut out a small (binary) piece of a (binary) file☆15Updated 13 years ago
- The C parser for GumTree☆13Updated 4 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆30Updated 9 years ago
- Low-Level Data Structure - efficient data structures, and fast data access in the 3.x/4.x/5.x/6.x kernel☆120Updated 2 years ago
- coming soon☆13Updated 3 years ago
- turn openssh into a library [OBSOLETE, almost everything has been merged into upstream]☆36Updated 9 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- EBA is a static bug finder for C.☆14Updated 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
- EncFS Encrypted Filesystem☆39Updated 11 years ago
- ZeroVM Run-Time environment☆65Updated 10 years ago
- Mirror Of git://anongit.freedesktop.org/git/dbus/dbus Root Of Much Evil See also Systemd☆11Updated 8 years ago