 <a href = "http://www.cs.washington.edu/homes/jbaer/layers.html">Static Layer Analysis for C Programs</a> </ul>
