SAMATE is working on a draft functional specification for source code analysis
tools. Through the SAMATE project, tool vendors will be able to use a common
taxonomy to describe their capabilities. [278]
To aid in this, SAMATE has produced a classification and taxonomy of