Abstract Interpretation - Tools

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 (1803–1882)

    “But lo! men have become the tools of their tools.”
    —Henry David Thoreau (1817–1862)

    “Justice and truth are too such subtle points that our tools are too blunt to touch them accurately.”
    —Blaise Pascal (1623–1662)