List of rta() Examples

Examples of rta()

soot.options.SparkOptions.rta()
RTA -- Emulate Rapid Type Analysis. Setting RTA to true sets types-for-sites to true, and causes Spark to use a single points-to set for all variables, giving Rapid Type Analysis.

Examples of soot.options.SparkOptions.rta()

    {
       throw new RuntimeException("You must use Spark for points-to analysis when computing MHP information!");
    }
    PAG pag = (PAG) pta;
    SparkOptions so = pag.getOpts();
    if(so.rta())
       throw new RuntimeException("MHP cannot be calculated using RTA due to incomplete call graph");


    CallGraph callGraph = Scene.v().getCallGraph();


    // Get a call graph trimmed to contain only the relevant methods (non-lib, non-native)

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.