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:
“Think of the tools in a tool-box: there is a hammer, pliers, a saw, a screwdriver, a rule, a glue-pot, nails and screws.The function of words are as diverse as the functions of these objects.”
—Ludwig Wittgenstein (18891951)
“In child rearing it would unquestionably be easier if a child were to do something because we say so. The authoritarian method does expedite things, but it does not produce independent functioning. If a child has not mastered the underlying principles of human interactions and merely conforms out of coercion or conditioning, he has no tools to use, no resources to apply in the next situation that confronts him.”
—Elaine Heffner (20th century)
“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)