Sciweavers

IWPC
2009
IEEE

161views Software Engineering» more IWPC 2009»

Practical static analysis for inference of security-related program properties

14 years 2 months ago

We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...

Yin Liu, Ana Milanova

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers