Static Automatic (Linux) Source Analyzer. v.3