Ironpatch: Automatic Generation of Assured Micropatches

The goal of the Ironpatch proposal is to develop rigorous program transformation, analysis, and
verification techniques to generate assured micropatches for mission-critical software. To accomplish
this goal, we will develop automated binary patching techniques for platforms ranging from commodity