Static Code Checks for Security