Lab for Automated Reasoning and Analysis LARA

Features

phantm comes equipped with a set of features that allows a precise static analysis, the main ones are:

 
phantm/features.txt · Last modified: 2010/05/04 15:32 by ekneuss