Experimental bed to study Linux faults
☆26Jul 12, 2022Updated 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:
- Tracking code patterns through software versions☆25Jun 18, 2024Updated last year
- ☆115Jul 14, 2024Updated last year
- Learning Coccinelle☆11Nov 2, 2017Updated 8 years ago
- Cproto generates function prototypes and variable declarations from C source code. Cproto can also convert function definitions between t…☆10Jul 19, 2016Updated 9 years ago
- EBA is a static bug finder for C.☆15Jun 22, 2020Updated 5 years ago
- The C parser for GumTree☆14Sep 25, 2020Updated 5 years ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆777Nov 25, 2025Updated 3 months ago
- Compute mappings between arbitrary trees.☆18Jul 5, 2019Updated 6 years ago
- cpustat periodically dumps out the current CPU utilisation statistics of running processes. cpustat has been optimised to have a minimal …☆19Feb 26, 2025Updated last year
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Sep 2, 2018Updated 7 years ago
- A feature-incomplete peekahole (pahole) clone that doesn't rely on libdwarves (and doesn't choke on Clang output)☆23Oct 23, 2017Updated 8 years ago
- Python code optimizer.☆21Nov 1, 2014Updated 11 years ago
- Semantic grep for the C language based on coccinelle☆122Oct 13, 2024Updated last year
- Universal decompiler☆33Jun 23, 2014Updated 11 years ago
- Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.☆97Nov 14, 2024Updated last year
- The MemCAD static analyzer☆27Oct 15, 2021Updated 4 years ago
- Approximate call graph builder for JavaScript☆32Jul 25, 2018Updated 7 years ago
- MH: a microkernel for fun and experimenting!☆31Feb 22, 2018Updated 8 years ago
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆34Feb 3, 2024Updated 2 years ago
- Tools for "Another Flip in the Wall"☆41Jun 12, 2018Updated 7 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆37Oct 15, 2020Updated 5 years ago
- Atonomi Device SDK for validating devices on the Atonomi Network☆11Feb 19, 2021Updated 5 years ago
- lambda function for eks deployment☆10Oct 11, 2018Updated 7 years ago
- light ifconfig☆14Apr 13, 2019Updated 6 years ago
- A framework, data and configs for generating and building Tesseract OCR lang.traineddata model files, specifically for Japanese☆10Dec 9, 2013Updated 12 years ago
- find movie on yts from IMDB's watchlist☆12Jul 5, 2021Updated 4 years ago
- Turn an Erlang/OTP application into a Unikernel image☆46Sep 21, 2021Updated 4 years ago
- Intrusive Red-Black Tree Collection☆37Jun 17, 2025Updated 8 months ago
- "Save as DAISY" add-in for Microsoft Word☆10Dec 22, 2025Updated 2 months ago
- Generate a README.md file from a configuration file☆11Jan 19, 2023Updated 3 years ago
- Playground for Dasel.☆11Nov 30, 2023Updated 2 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 10 years ago
- Redis tcp map for postfix☆12Jun 28, 2024Updated last year
- Madek main web interface☆21Updated this week
- Group commits by issue into GitHub PRs☆12Feb 25, 2026Updated last week
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform☆10Sep 17, 2024Updated last year
- Grecka is a python script to convert Greek to Greeklish based on ELOT 743☆12Aug 4, 2018Updated 7 years ago
- (Labeled) Latent Dirichlet Allocation on a sentence level with Gibbs Sampling☆10Mar 27, 2014Updated 11 years ago