Binary Analysis Platform
- binary-analysis
- reverse-engineering
- program-analysis
- static-analysis
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
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
TLS in pure OCaml
Simple hash algorithms in OCaml
- hash
- ocaml
- sha1
- sha256
OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.
- ocaml
- oidc
- oidc-client
A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. :four_leaf_clover: :camel: :lock: :key:
- ocaml
- commitment-schemes
- secure-multi-party-computation
- cryptography