The main objective of software security analysis and testing is the verification that
the software exhibits the following properties and behaviors:
1. Its behavior is predictable and secure.
2. It exposes no vulnerabilities or weaknesses (ideally it contains no