Opam Package bap-primus.2.2.0

Package info

opam-namebap-primus
opam-version2.2.0
synopsisThe BAP Microexecution Framework
description BAP Primus is a Microexecutuin Framework. The Microexecution technique was pioneered by Patrice Godefroid from Microsoft Research. The idea is to execute a binary from any point, using random inputs for undefined values. The idea of Primus is very similiar. A program is lifted into the Intermediate Representation, that is interpreted using the Primus interpreter. The Framework allows users to customize the interpreter by implementing different machine components.
authors
  • BAP Team
homepagehttps://github.com/BinaryAnalysisPlatform/bap/
licenseMIT
deps (12)
revdeps (26)
metas (1)
libraries (1)

Package modules

Package sources

bap-primus

Package files

lib/bap-primus/bap_primus_value.cmx
lib/bap-primus/bap_primus_types.cmx
lib/bap-primus/bap_primus_system.cmx
lib/bap-primus/bap_primus_state.cmx
lib/bap-primus/bap_primus_sexp.cmx
lib/bap-primus/bap_primus_random.cmx
lib/bap-primus/bap_primus_pos.cmx
lib/bap-primus/bap_primus_observation.cmx
lib/bap-primus/bap_primus_memory.cmx
lib/bap-primus/bap_primus_main.cmx
lib/bap-primus/bap_primus_machine.cmx
lib/bap-primus/bap_primus_lisp_word.cmx
lib/bap-primus/bap_primus_lisp_var.cmx
lib/bap-primus/bap_primus_lisp_types.cmx
lib/bap-primus/bap_primus_lisp_type.cmx
lib/bap-primus/bap_primus_lisp_source.cmx
lib/bap-primus/bap_primus_lisp_resolve.cmx
lib/bap-primus/bap_primus_lisp_program.cmx
lib/bap-primus/bap_primus_lisp_parse.cmx
lib/bap-primus/bap_primus_lisp_loc.cmx
lib/bap-primus/bap_primus_lisp_index.cmx
lib/bap-primus/bap_primus_lisp_def.cmx
lib/bap-primus/bap_primus_lisp_context.cmx
lib/bap-primus/bap_primus_lisp_attributes.cmx
lib/bap-primus/bap_primus_lisp_attribute.cmx
lib/bap-primus/bap_primus_lisp.cmx
lib/bap-primus/bap_primus_linker.cmx
lib/bap-primus/bap_primus_iterator.cmx
lib/bap-primus/bap_primus_interpreter.cmx
lib/bap-primus/bap_primus_info.cmx
lib/bap-primus/bap_primus_generator_types.cmx
lib/bap-primus/bap_primus_generator.cmx
lib/bap-primus/bap_primus_exn.cmx
lib/bap-primus/bap_primus_env.cmx
lib/bap-primus/bap_primus_analysis.cmx
lib/bap-primus/bap_primus.mli
lib/bap-primus/bap_primus.cmxs
lib/bap-primus/bap_primus.cmxa
lib/bap-primus/bap_primus.cmx
lib/bap-primus/bap_primus.cmti
lib/bap-primus/bap_primus.cmt
lib/bap-primus/bap_primus.cmi
lib/bap-primus/bap_primus.cma
lib/bap-primus/bap_primus.annot
lib/bap-primus/bap_primus.a
lib/bap-primus/META
lib/bap-primus