Opam Package bap-trivial-condition-form.2.2.0

Package info

opam-namebap-trivial-condition-form
opam-version2.2.0
synopsisEliminates complex conditionals in branches
description Ensures that all branching conditions are either a variable or a constant. We call such representation a Trivial Condition Form (TCF). During the translation all complex condition expressions are hoisted into the assignemnt section of a block.
authors
  • BAP Team
homepagehttps://github.com/BinaryAnalysisPlatform/bap/
licenseMIT
deps (2)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

bap-trivial-condition-form

Package files

lib/bap/trivial_condition_form.plugin
lib/bap-plugin-trivial_condition_form/trivial_condition_form_plugin.cmxs
lib/bap-plugin-trivial_condition_form/trivial_condition_form_plugin.cmxa
lib/bap-plugin-trivial_condition_form/trivial_condition_form_plugin.cma
lib/bap-plugin-trivial_condition_form/trivial_condition_form_plugin.a
lib/bap-plugin-trivial_condition_form/trivial_condition_form_main.ml
lib/bap-plugin-trivial_condition_form/trivial_condition_form_main.cmx
lib/bap-plugin-trivial_condition_form/trivial_condition_form_main.cmt
lib/bap-plugin-trivial_condition_form/trivial_condition_form_main.cmi
lib/bap-plugin-trivial_condition_form/trivial_condition_form_main.annot
lib/bap-plugin-trivial_condition_form/META
lib/bap-plugin-trivial_condition_form