Report this document Boolean Formulas for the Static Identification of Injection Attacks mernst/pubs/detect... · PDF file 2019-09-13 · HP Fortify SCA F E Julia F E G 6/1. Our Goal 1 formalize taintedness.