Automatically Inferring Sound Dataflow Functions from Dataflow Fact Schemas


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


  • Presentations referencing similar topics