Daikon Memory App

Daikon

by Daikon

Dynamic detection of likely invariants

Helps with: Memory

Similar to:

More...

Source Type: Open

License Types:

GPL

Supported OS:

Languages:

Save Unsave Compare

What is it all about?

Daikon is an implementation of dynamic detection of likely invariants; that is, the Daikon invariant detector reports likely program invariants. An invariant is a property that holds at a certain point or points in a program; these are often seen in assert statements, documentation, and formal specifications. Invariants can be useful in program understanding and a host of other applications.

Key Features

* Dynamic invariant detection runs a program * Observes the values that the program computes * Reports properties that were true over the observed executions

X

Compare Products

Select up to three two products to compare by clicking on the compare icon () of each product.

{{compareToolModel.Error}}

Now comparing:

{{product.ProductName | createSubstring:25}} X

Compare Now