Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
- ida-plugin
- taint-analysis
- reverse-engineering
- disassembly
58,136 visible repositories in the index
1–23 of 23 · Most stars
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
A modern supercompiler for call-by-value functional languages
Declarative definition of command line interfaces for OCaml
OCaml type-safe query builder with syntax tree extension
Declarative 2D vector graphics for OCaml
The transitory OCaml software packager
Syntax extension for embedded SQL queries using PG'OCaml.
The repository host gives no description.
Non-blocking streaming Unicode codec for OCaml
Inspection of internal value representations and the object graph
general value printing within compiled programs
Print OCaml values based on their runtime representation
Unicode text normalization for OCaml
A library for printing OCaml values with sharing
Unicode text segmentation for OCaml
Unicode character properties for OCaml
A simple OCaml ppx filter to support string interpolation like [%str "value of foo is $(foo)"]
A command-line tool to manage Github Issues
OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX deriver that automatically generates validators.
Unicode character database decoder for OCaml
Official OCaml port of Sqids. Generate short unique IDs from numbers.
The dumb OCaml key-value store
A structured logger for Fluentd (OCaml)