/lib/StaticAnalyzer/