Static Layer Analysis for C Programs
