Security Applications Of Static Program Analysis