STATIC ANALYSIS BASICS