Opam Package bap-core-theory.2.2.0

Package info

opam-namebap-core-theory
opam-version2.2.0
synopsisBAP Semantics Representation
description The Core Theory is an intermediate language that is designed to express the semantics of computer programs. It focuses on programs that are represented in binary machine code and is capable of an accurate representation of the architectural and micro-architectural details of the program behavior.
authors
  • BAP Team
homepagehttps://github.com/BinaryAnalysisPlatform/bap/
licenseMIT
deps (9)
revdeps (18)
metas (1)
libraries (1)

Package modules

Package sources

bap-core-theory

Package files

lib/bap-core-theory/bap_core_theory_var.cmx
lib/bap-core-theory/bap_core_theory_value.cmx
lib/bap-core-theory/bap_core_theory_target.cmx
lib/bap-core-theory/bap_core_theory_program.cmx
lib/bap-core-theory/bap_core_theory_parser.cmx
lib/bap-core-theory/bap_core_theory_manager.cmx
lib/bap-core-theory/bap_core_theory_grammar_definition.cmx
lib/bap-core-theory/bap_core_theory_empty.cmx
lib/bap-core-theory/bap_core_theory_effect.cmx
lib/bap-core-theory/bap_core_theory_definition.cmx
lib/bap-core-theory/bap_core_theory_basic.cmx
lib/bap-core-theory/bap_core_theory_IEEE754.cmx
lib/bap-core-theory/bap_core_theory.mli
lib/bap-core-theory/bap_core_theory.cmxs
lib/bap-core-theory/bap_core_theory.cmxa
lib/bap-core-theory/bap_core_theory.cmx
lib/bap-core-theory/bap_core_theory.cmti
lib/bap-core-theory/bap_core_theory.cmt
lib/bap-core-theory/bap_core_theory.cmi
lib/bap-core-theory/bap_core_theory.cma
lib/bap-core-theory/bap_core_theory.annot
lib/bap-core-theory/bap_core_theory.a
lib/bap-core-theory/META
lib/bap-core-theory