Bernhard Scholz, Chenyi Zhang, Cristina Cifuentes. User-Input Dependence Analysis via Graph Reachability. In Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 28-29 September 2008, Beijing, China. pages 25-34, IEEE, 2008. [doi]
Abstract is missing.