pattern-directed approach. The idea was to use formalized
patterns to search for corresponding errors. The PA project was
the first project to explore automation of security defects
detection. However, the procedure for reducing defects to abstract