bam-bam-boogieman (rubygems): [![Build Status](https://travis-ci.org/michael-emmi/bam-bam-boogieman.svg?branch=master)](https://travis-ci.org/michael-emmi/bam-bam-boogieman)  # BAM! BAM! Boogieman  BAM! BAM! Boogieman is a Boogie AST Manipulator which implements various code analyses and transformations for the [Boogie][boogie] intermediate verification language, including the construction of call graphs and control-flow graphs, pruning of unreachable code, and various code simplifications. Boogie code is parsed into an abstract-syntax tree (AST) with an expressive API which facilitates the creation of new AST passes.
Keywords: boogie|program-transformations