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:

    “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 (1819–1891)

    “A life I didn’t choose
    chose me: even
    my tools are the wrong ones
    for what I have to do.”
    —Adrienne Rich (b. 1929)

    “... 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 (1800–1878)