samate.nist.gov
Topics
Related Domains
Wikipedia Pages Linking to samate.nist.gov
Wikipedia Links
Anchor text: NIST Software Assurance Metrics and Tool Evaluation (SAMATE) project
Anchor text: SAMATE-Source Code Security Analyzers
Anchor text: SATE{{snd}} Static Analysis Tool Exposition
Anchor text: Bugs Framework (BF): Formalizing Software Security Weaknesses and Vulnerabilities
Anchor text: SATE VI Ockham Sound Analysis Criteria