bannerc

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 7 Next »

Tool title

Title of page above

Type

COTS

Owner/Source

AbsInt

Link

http://www.absint.com/astree/index.htm

Description

A static program analyzer for a restricted set of C programs, (no dynamic memory allocation and recursion). It was started as a research tool by Patrick and Radhia Cousot, and their research group, and is now commercialized by AbsInt.

User

TBD

SWE

SWE-135

  • No labels