Sciweavers

Share
IWPC
2009
IEEE

Practical static analysis for inference of security-related program properties

8 years 10 months ago
Practical static analysis for inference of security-related program properties
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information flow inference analyses for Java. We perform empirical investigation on a set of Java components, and on a set of established security benchmarks. The results indicate that the analyses are practical and precise, and therefore can be integrated in program comprehension tools that support reasoning about software security and software quality.
Yin Liu, Ana Milanova
Added 24 May 2010
Updated 24 May 2010
Type Conference
Year 2009
Where IWPC
Authors Yin Liu, Ana Milanova
Comments (0)
books