MAMBO

The general design of MAMBO, a new DBM tool for ARM is described, and novel optimisations to handle indirect branches are introduced, and scenarios in which it may be possible to relax the transparency offered by DBM tools to allow extra optimisation to be applied are explored.