A general description of the high$-$level implementation approach of many static analysis tools is A$.$ Compile, run tests, compute product of CFG and specification automata, determine if language intersection is empty B$.$ Check for proper coding style, check for tainted user input, check for use of deprecated functions, remove all macros C$.$ Parse build annotated CFG$,$ walk CFG to check properties, prioritize$/$compress results and present to user D$.$ Mark variable initializations as "defs, mark variables in expressions as "use's, check all uses are before defs