Security Scanning & Analysis with Finite State