Lab for Automated Reasoning and Analysis LARA

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

• Annotations
• APIs
• Include resolutions
• IDE integration
• Runtime instrumentation
• Pure statements