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:
- Small example MirageOS unikernels.☆15Updated 6 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Updated 8 years ago
- Make OCaml native debugging awesome☆31Updated 5 years ago
- ☆23Updated 14 years ago
- OCaml-TLS exposed to C☆23Updated 7 years ago
- Parsifal : an OCaml-based parsing engine☆64Updated 4 years ago
- Experimental bed to study Linux faults☆26Updated 3 years ago
- An OCaml implementation of the FUSE protocol versions 7.8 and 7.23☆30Updated 7 years ago
- Reed-Solomon Error Correction CODEC☆26Updated 6 years ago
- ☆33Updated 10 years ago
- OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)☆15Updated 6 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Generation of mutant programs☆20Updated 7 years ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Updated 11 years ago
- ☆16Updated 6 years ago
- An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3☆11Updated 9 years ago
- OCaml code for generating and analysing pcap (packet capture) files☆20Updated 5 months ago
- Extensible binary data format, like JSON but faster☆43Updated 3 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 3 years ago
- Find first derivatives of functions automagically☆10Updated 8 years ago
- Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.☆83Updated 2 years ago
- Pure OCaml implementation of the D-Bus protocol☆34Updated last year
- literate programming meets unison☆29Updated last month
- Symbolic execution engine for toy language.☆51Updated 7 years ago
- Extra string functions for OCaml☆21Updated 3 months ago
- If you smash it, you get to keep the pieces.☆29Updated 5 years ago
- A search index specialised for LaTeX equations. Developed for latexsearch.com.☆17Updated 14 years ago
- A free software repository of infographics and visualizations for understanding Computer Science ideas☆22Updated 7 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Updated 7 years ago
- OCaml library for manipulating context-free grammars☆20Updated 2 months ago