LARA Features 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