BAP Source Changes

BAP is distributed with a pre-packaged version of OCamlgraph. All patches applied here have been submitted to the upstream code base.

Where possible, we've altered the build to use opam distributed packages.

The majority of BAP OCaml modifications are to the Pp and Ast modules - generally, changes have been made to:

• allow the use of HTML based labels in the outputted OCaml graphs
• add in block line numberings to CFG and SSA graph nodes.

In addition, BAPs VSA implementation has been enabled and its output used to annotate the graph output.