Search OCaml packages
max) { row = max } }" @keyup.up="if (row !== null) { row -=1; if (row < 0) { row = null } }" @keyup.right="if (col < 1) col++" @keyup.left="if (col >= 1) col--" :aria-activedescendant="row !== null ? 'package-autocomplete-'+row+'-'+col : null" hx-get="/packages/autocomplete" hx-params="q" hx-trigger="keyup changed, search" hx-target="#header-search-results" hx-indicator="#header-search-indicator" autocomplete="off" >
Standard Library API
Learn
Tools
Packages
Community
News
Play
Get Started
Search OCaml packages
Learn
Tools
Packages
Community
News
Play
Standard Library API
Get started
Search OCaml packages
1 search result for "author:"Guillaume Girol""
Showing 1 - 1
binsec
Documentation
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
et al.
0.9.1
LGPL-2.1-or-later
Used by 0 other packages
21 May 2024