Static flow-sensitive & context-sensitive information-flow analysis for software product lines: position paper.

Eric Bodden

Browse the full PLDI paper archive.