• OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get Started
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get started

2 search results for "author:"Robin David""

binsec
Semantic analysis of binary executables
binary code analysis symbolic execution deductive program verification formal specification automated theorem prover plugins abstract interpretation dataflow analysis linking disassembly
Adel Djoudi Benjamin Farinier Chakib Foulani Dorian Lesbre Frédéric Recoules Guillaume Girol Josselin Feist Lesly-Ann Daniel Manh-Dung Nguyen Mathéo Vergnolle Mathilde Ollivier Matthieu Lemerre Olivier Nicole Richard Bonichon Robin David Sébastien Bardin Soline Ducousso Ta Thanh Dinh Yaëlle Vinçont
0.6.3
LGPL-2.1-or-later
Used by 0 other packages
frama-c-luncov
Luncov plugin of Frama-C, part of the LTest suite
software testing Frama-C LTest
Robin David Mickaël Delahaye Michael Marcozzi Thibault Martin
0.2
LGPL-2.1-only
Used by 0 other packages

Footer

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS

About Us

  • Industrial Users
  • Academic Users
  • Why OCaml

Resources

  • Get Started
  • Language Docs
  • Books
  • Releases

Community

  • Blog
  • Jobs

Policies

  • Carbon Footprint
  • Governance
  • Privacy
  • Code of Conduct