package bap-std
The Binary Analysis Platform Standard Library
Install
Dune Dependency
Authors
Maintainers
Sources
v1.5.0.tar.gz
sha256=1a268004ac16396cbca66a79c8d21cb36f538fc31ed4380ea5d72e337f27bfbf
md5=9eed04fda6610dd4a8aa83948abfffc3
Description
Provides the main BAP library.
Published: 26 Oct 2018
Dependencies (21)
-
conf-clang
build
-
conf-which
build
- monads
- ogre
-
cmdliner
>= "0.9.8"
- zarith
- uuidm
-
utop
build & = "1.19.3"
- uri
- regular
-
ppx_jane
>= "v0.9.0" & < "v0.10"
-
ocamlfind
>= "1.5.6" & < "2.0"
-
oasis
build & >= "0.4.7"
- graphlib
- fileutils
-
bin_prot
>= "v0.9.1" & < "v0.10"
-
core_kernel
>= "v0.9.0" & < "v0.10"
-
camlzip
>= "1.07"
-
bap-future
= "1.5.0"
- base-unix
-
ocaml
>= "4.03" & < "4.06"
Dev Dependencies
None
Used by (55)
-
bap
= "1.5.0"
-
bap-abi
= "1.5.0"
-
bap-api
= "1.5.0"
-
bap-arm
= "1.5.0"
-
bap-beagle
= "1.5.0"
-
bap-bil
< "1.6.0"
-
bap-byteweight
= "1.5.0"
-
bap-byteweight-frontend
= "1.5.0"
-
bap-c
= "1.5.0"
-
bap-cache
= "1.5.0"
-
bap-callsites
= "1.5.0"
-
bap-constant-tracker
< "1.6.0"
-
bap-cxxfilt
= "1.5.0"
-
bap-demangle
= "1.5.0"
-
bap-dump-symbols
= "1.5.0"
-
bap-dwarf
= "1.5.0"
-
bap-elf
= "1.5.0"
-
bap-frames
= "2.1.1"
-
bap-frontc
= "1.5.0"
-
bap-frontend
= "1.5.0"
-
bap-fsi-benchmark
= "1.5.0"
-
bap-llvm
= "1.5.0"
-
bap-mc
= "1.5.0"
-
bap-microx
= "1.5.0"
-
bap-mips
= "1.5.0"
-
bap-objdump
= "1.5.0"
-
bap-optimization
< "1.6.0"
-
bap-phoenix
= "1.5.0"
-
bap-piqi
= "1.5.0"
-
bap-primus
= "1.5.0"
-
bap-primus-dictionary
= "1.5.0"
-
bap-primus-lisp
= "1.5.0"
-
bap-primus-region
= "1.5.0"
-
bap-primus-support
= "1.5.0"
-
bap-primus-test
= "1.5.0"
-
bap-primus-x86
= "1.5.0"
-
bap-print
= "1.5.0"
-
bap-relocatable
= "1.5.0"
-
bap-report
= "1.5.0"
-
bap-run
= "1.5.0"
-
bap-saluki
= "bap-1.5"
-
bap-ssa
= "1.5.0"
-
bap-symbol-reader
= "1.5.0"
-
bap-taint
= "1.5.0"
-
bap-taint-propagator
= "1.5.0"
-
bap-term-mapper
= "1.5.0"
-
bap-trace
= "1.5.0"
-
bap-traces
= "1.5.0"
-
bap-trivial-condition-form
= "1.5.0"
-
bap-warn-unused
= "1.5.0"
-
bap-x86
= "1.5.0"
- cbat-explicit-edge
- cbat-tools
- cbat-vsa
-
fkie-cad-cwe-checker
< "0.2"
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page