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:

    “There is a great satisfaction in building good tools for other people to use.”
    —Freeman Dyson (b. 1923)

    “Armies, though always the supporters and tools of absolute power for the time being, are always the destroyers of it too; by frequently changing the hands in which they think proper to lodge it.”
    —Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)

    “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)