aryx / pfffLinks
See https://github.com/returntocorp/pfff which is now the official pfff repository
☆34Updated 5 years ago
Alternatives and similar repositories for pfff
Users that are interested in pfff are comparing it to the libraries listed below
Sorting:
- Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.☆83Updated 2 years ago
- Make OCaml native debugging awesome☆32Updated 6 years ago
- EBA is a static bug finder for C.☆15Updated 5 years ago
- Small example MirageOS unikernels.☆15Updated 6 years ago
- Demonstration NATting unikernel.☆29Updated 9 years ago
- Tool to generate test-cases for regular expression engines☆38Updated 2 years ago
- literate programming meets unison☆29Updated 2 weeks ago
- Freestanding OCaml runtime☆108Updated last month
- An OCaml implementation of the FUSE protocol versions 7.8 and 7.23☆30Updated 8 years ago
- CLI to concurrently compress, decompress using Brotli algorithm☆39Updated 6 years ago
- pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source…☆183Updated 3 years ago
- Converts an ELF binary to a JSON representation☆34Updated 10 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- An OCaml/Mirage-friendly implementation of the 9P protocol☆67Updated 5 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆33Updated 7 years ago
- Tool for checking trace equivalence for security protocols☆17Updated 5 years ago
- establish trust in community repositories, cryptographically signed by library authors☆37Updated 2 months ago
- Parsifal : an OCaml-based parsing engine☆64Updated 5 years ago
- some TLS utilities☆17Updated 9 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- A static parser for POSIX Shell☆200Updated 2 years ago
- Pure OCaml implementation of the D-Bus protocol☆34Updated last year
- TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)☆67Updated 6 months ago
- Datalog engine with extensions for integrating analyses☆39Updated 8 years ago
- Find first derivatives of functions automagically☆10Updated 8 years ago
- Extensible binary data format, like JSON but faster☆43Updated 3 years ago
- Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl☆56Updated 5 years ago
- Plan9 software ported to OCaml☆36Updated this week
- Pure OCaml implementation of the "vchan" shared-memory communication protocol☆45Updated 10 months ago
- OCaml bindings to Zstandard☆25Updated 2 weeks ago