List of Tools For Static Code Analysis - Formal Methods Tools

Formal Methods Tools

Tools that use a formal methods approach to static analysis (e.g., using static program assertions):

  • ECLAIR — Uses formal methods-based static code analysis techniques such as abstract interpretation and model checking combined with constraint satisfaction techniques to detect or prove the absence of certain run time errors in source code.
  • ESC/Java and ESC/Java2 — Based on Java Modeling Language, an enriched version of Java.
  • MALPAS; A formal methods tool that uses directed graphs and regular algebra to prove that software under analysis correctly meets its mathematical specification.
  • Polyspace — Uses abstract interpretation, a formal methods based technique, to detect and prove the absence of certain run time errors in source code for C/C++, and Ada
  • SofCheck Inspector — Statically determines and documents pre- and postconditions for Java methods; statically checks preconditions at all call sites; also supports Ada.
  • SPARK Toolset including the SPARK Examiner — Based on the SPARK language, a subset of Ada.

Read more about this topic:  List Of Tools For Static Code Analysis

Famous quotes containing the words formal, methods and/or tools:

    “The conviction that the best way to prepare children for a harsh, rapidly changing world is to introduce formal instruction at an early age is wrong. There is simply no evidence to support it, and considerable evidence against it. Starting children early academically has not worked in the past and is not working now.”
    —David Elkind (20th century)

    “Commerce is unexpectedly confident and serene, alert, adventurous, and unwearied. It is very natural in its methods withal, far more so than many fantastic enterprises and sentimental experiments, and hence its singular success.”
    —Henry David Thoreau (1817–1862)

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