static analysis; data flow analysis; secure information flow
Issue Date
2002-06
Publisher
ASSOC COMPUTING MACHINERY
Citation
ACM SIGPLAN Notices, v. 37, issue. 8, page. 66-71
Abstract
This paper uses the standard technique of data flow analysis to statically find information leaks in simple imperative programs. The correctness of the analysis is discussed and the proof is sketched.