Package soot.toolkits.scalar

Examples of soot.toolkits.scalar.FlowSet


    /** 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


    /** 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

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.