Package soot.toolkits.scalar

Examples of soot.toolkits.scalar.FlowSet

50
51
52
53
54
55
56
57
58
    /** Return the set of other fields and locals that must reference
     *  the same object as the given field, at a point before
     *  the given unit.
     */
    public boolean isAlwaysNullBefore(Local local, Unit unit) {
        FlowSet flowSet = (FlowSet) getFlowBefore(unit);
        int info = anyRefInfo(local, flowSet);
        return (info == kNull);
    }
View Full Code Here
60
61
62
63
64
65
66
67
68
    /** Return the set of other fields and locals that must reference
     *  the same object as the given local, at a point before
     *  the given unit.
     */
    public boolean isNeverNullBefore(Local local, Unit unit) {
        FlowSet flowSet = (FlowSet) getFlowBefore(unit);
        int info = anyRefInfo(local, flowSet);
        return (info == kNonNull);
    }
View Full Code Here
TOP

Related Classes of soot.toolkits.scalar.FlowSet

  • ptolemy.copernicus.kernel.NullPointerAnalysis
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.