An user configurable clang static analyzer taint checker
Security Policies and Security Models