Examples with InstanceFieldRef soot.jimple.InstanceFieldRef used on opensource projects

Example 31 with InstanceFieldRef

use of soot.jimple.InstanceFieldRef in project soot by Sable.

the class NullnessAnalysis method handleFieldRef.

private void handleFieldRef(FieldRef fieldRef, AnalysisInfo out) {
    if (fieldRef instanceof InstanceFieldRef) {
        InstanceFieldRef instanceFieldRef = (InstanceFieldRef) fieldRef;
        // here we know that the receiver must point to an object
        Value base = instanceFieldRef.getBase();
        out.put(base, NON_NULL);
    }
}