IagoAbal / eba
EBA is a static bug finder for C.
☆14Updated 4 years ago
Alternatives and similar repositories for eba:
Users that are interested in eba are comparing it to the libraries listed below
- Make OCaml native debugging awesome☆32Updated 5 years ago
- An OCaml implementation of the FUSE protocol versions 7.8 and 7.23☆30Updated 7 years ago
- OCaml-TLS exposed to C☆23Updated 7 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Updated 7 years ago
- ☆23Updated 13 years ago
- Functional kernel written in OCaml.☆32Updated 11 years ago
- ☆38Updated 8 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- ☆16Updated 6 years ago
- Small example MirageOS unikernels.☆15Updated 5 years ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 5 years ago
- literate programming meets unison☆27Updated last year
- Extensible binary data format, like JSON but faster☆43Updated 2 years ago
- An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary☆27Updated 2 years ago
- Pure OCaml implementation of the D-Bus protocol☆33Updated last year
- ☆38Updated 5 years ago
- Tool to generate test-cases for regular expression engines☆34Updated 2 years ago
- Extra string functions for OCaml☆21Updated 2 years ago
- L-system interpreter in OCaml☆22Updated 9 years ago
- Stub code generator for OCaml/C interface☆33Updated 3 months ago
- Code for "Staged Generic Programming" (ICFP 2017)☆26Updated last year
- OCaml code for generating and analysing pcap (packet capture) files☆21Updated last year
- The core OCaml system: compilers, runtime system, base libraries☆21Updated 2 weeks ago
- MirageOS unikernels☆20Updated 2 years ago
- F* running in the browser☆21Updated 5 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆39Updated 9 months ago
- Example showing how to turn OCaml code (here Xmlm) into a C library.☆45Updated 4 years ago
- E-mail filter and classifier based on Bayesian learning☆15Updated 3 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- A PPX extension for big array literals in OCaml☆20Updated 6 years ago