bap-trivial-condition-form

Eliminates 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.

Install
Documentation failed to build. github.com Edit opam file
Published
26 Oct 2018
Authors
Maintainers
Sources
v1.5.0.tar.gz
md5=9eed04fda6610dd4a8aa83948abfffc3
Dependencies
bap-std = "1.5.0"
ocaml >= "4.03" & < "4.06"
Reverse Dependencies
bap = "1.5.0"