IagoAbal / ebaLinks
EBA is a static bug finder for C.
☆14Updated 5 years ago
Alternatives and similar repositories for eba
Users that are interested in eba are comparing it to the libraries listed below
Sorting:
- Make OCaml native debugging awesome☆32Updated 5 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Updated 8 years ago
- Small example MirageOS unikernels.☆15Updated 6 years ago
- OCaml-TLS exposed to C☆23Updated 7 years ago
- Pure OCaml implementation of the D-Bus protocol☆35Updated last year
- Parsifal : an OCaml-based parsing engine☆63Updated 4 years ago
- Find first derivatives of functions automagically☆10Updated 8 years ago
- Tool to generate test-cases for regular expression engines☆37Updated 2 years ago
- An OCaml implementation of the FUSE protocol versions 7.8 and 7.23☆30Updated 7 years ago
- literate programming meets unison☆29Updated last week
- A free software repository of infographics and visualizations for understanding Computer Science ideas☆22Updated 7 years ago
- Extensible binary data format, like JSON but faster☆43Updated 3 years ago
- The core OCaml system: compilers, runtime system, base libraries☆21Updated last week
- Generation of mutant programs☆20Updated 6 years ago
- Reed-Solomon Error Correction CODEC☆26Updated 6 years ago
- OCaml code for generating and analysing pcap (packet capture) files☆21Updated 3 months ago
- OCaml library for combinatorics☆35Updated 4 months ago
- See https://github.com/returntocorp/pfff which is now the official pfff repository☆34Updated 5 years ago
- ☆23Updated 14 years ago
- OCaml library for manipulating context-free grammars☆20Updated last month
- persistent-mode afl-fuzz for ocaml☆17Updated 10 months ago
- E-mail filter and classifier based on Bayesian learning☆15Updated 3 years ago
- I am learning OCaml by implementing some Z-machine tools, for fun!☆30Updated 9 years ago
- List of bindings in OCaml to cordova plugins.☆27Updated 8 years ago
- ☆33Updated 10 years ago
- An absurdly tiny Lisp interpreter in OCaml☆32Updated 13 years ago
- Continuation Passing C☆114Updated 6 years ago
- Off-the-record (OTR) messaging protocol, purely in OCaml☆39Updated 9 months ago
- ☆16Updated 6 years ago
- OCaml for web programming☆52Updated 9 years ago