commonly used by web application vulnerability scanners.The second
form of binary analysis tool models the binary executable (or some
aspect of it) and then scans the model for potential vulnerabilities. For
example, the tool may model the data flow of an application to