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:
“At the utmost, the active-minded young man should ask of his teacher only mastery of his tools. The young man himself, the subject of education, is a certain form of energy; the object to be gained is economy of his force; the training is partly the clearing away of obstacles, partly the direct application of effort. Once acquired, the tools and models may be thrown away.”
—Henry Brooks Adams (18381918)
“... pure and intelligent women can be deceived and misled by the baser sort, their very innocence and experience making them credulous and the helpless tools of the guilty and bold.”
—Catherine E. Beecher (18001878)
“A life I didnt choose
chose me: even
my tools are the wrong ones
for what I have to do.”
—Adrienne Rich (b. 1929)