A Logic for Information Flow Analysis of Pointer Programs

Symposium on Principles of Programming Languages, 2006.

Cited by: 7|Views5

Abstract:

This paper specifies a nontermination-insensitive, interprocedural, information flow analysis for object- oriented programs via a Hoare-like logic. Pointer aliasing is ubiquitous in such programs, and can poten- tially leak confidential information. Therefore, assertions in the logic not only describe the noninterference property that for...More

Code:

Data:

Get fulltext within 24h
Bibtex
Your rating :
0

 

Tags
Comments