Automatically Inferring Sound Dataflow Functions from Dataflow Fact Schemas

Abstract

In previous work, we presented a language called Rhodium for writing program analyses and transformations that could be checked for soundness automatically. In this work, we present an algorithm for automatically inferring sound flow functions given only a set of dataflow fact schemas. By generating the flow functions mechanically, our approach reduces the… (More)

1 Figure or Table

Topics

  • Presentations referencing similar topics