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:
- ☆113Updated last year
- Library wrapper and system-level tracing utilities☆47Updated 8 years ago
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆64Updated 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
- Tracking code patterns through software versions☆25Updated last year
- EBA is a static bug finder for C.☆14Updated 5 years ago
- A fast secure userspace pseudorandom number generator☆83Updated 11 years ago
- Compiler intermediate language for static analysis.☆107Updated 6 years ago
- The Cloud9 main repository☆52Updated 12 years ago
- Tiny Transactions on Computer Systems (TinyToCS) Site☆32Updated 9 years ago
- Minimalistic Operating System for Xen☆66Updated 3 years ago
- This repo is a mirror of the official lttng-modules git found at git://git.lttng.org/lttng-modules.git. The LTTng modules provide Linux k…☆98Updated last week
- A stack tracer/profiler for Xen domains☆30Updated 3 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 8 years ago
- Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (m…☆97Updated 2 years ago
- A Python DTrace consumer using libdtrace - Now Python can be used as DTrace Provider and Consumer...☆72Updated 3 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- Upstream Linux Kernel Validation Project API☆38Updated last year
- Security-Oriented Analysis of Application Programs☆13Updated 6 years ago
- TLA+ and Alloy specs of database isolation☆21Updated 10 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆231Updated 4 years ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆62Updated last week
- Python bindings for libgccjit.so☆48Updated 10 years ago
- Linux kernel with Capsicum support☆210Updated 5 years ago
- C code indexer using language semantic from clang☆60Updated 6 years ago
- Matching Commits with Their Mailing List Discussions☆39Updated 7 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆65Updated 6 years ago
- LIBrary for Asynchronous File Descriptor Transfer☆41Updated 6 years ago
- Unofficial mirror of xenbits.xen.org/xen.git☆75Updated 2 years ago
- rdtscbench measures small and large operations using clock cycles as time measurement unit. It uses RDTSC x86 instruction to get clock cy…☆31Updated 8 years ago