Tools
- Astrée
- Abstract Rewriting Machine
- Polyspace
- CodeSonar
- Coverity Prevent
- Klocwork Insight
- Parasoft Jtest
- Parasoft C/C++test
- Red Lizard's Goanna
Read more about this topic: Abstract Interpretation
Famous quotes containing the word tools:
“Machinery is aggressive. The weaver becomes a web, the machinist a machine. If you do not use the tools, they use you. All tools are in one sense edge-tools, and dangerous.”
—Ralph Waldo Emerson (18031882)
“No man is born into the world, whose work
Is not born with him; there is always work,
And tools to work withal, for those who will:
And blessèd are the horny hands of toil!”
—James Russell Lowell (18191891)
“A life I didnt choose
chose me: even
my tools are the wrong ones
for what I have to do.”
—Adrienne Rich (b. 1929)
Related Phrases
Related Words