Writing a Static Code Analyzer for Security