OPALInterface Usage mvn clean package java -jar path-to-jar output-directory algorithm Supported algorithms: CHA, RTA, XTA, PointsTo