62 citations · 109 across the 12 of their papers we have counts for
1 paper · 2 filters
Will Crichton, Marco Patrignani, Maneesh Agrawala +1
Statically analyzing information flow, or how data influences other data within a program, is a challenging task in imperative languages. Analyzing pointers and mutations requires…