← STA SPM A PROGRAM FOR STATIC ANALYSIS OF SINGLE …