Examples with ControlTaintTagStack edu.columbia.cs.psl.phosphor.struct.ControlTaintTagStack used on opensource projects

Example 6 with ControlTaintTagStack

use of edu.columbia.cs.psl.phosphor.struct.ControlTaintTagStack in project phosphor by gmu-swe.

the class NativeHelper method ensureIsBoxedImplicitTracking.

@SuppressWarnings("rawtypes")
public static final Collection ensureIsBoxedImplicitTracking(Collection in) {
    if (in != null) {
        Collection tmp = null;
        for (Object o : in) {
            if (o == null)
                break;
            Type t = Type.getType(o.getClass());
            if (t.getSort() == Type.ARRAY && t.getElementType().getSort() != Type.OBJECT) {
                if (tmp == null) {
                    try {
                        tmp = (Collection) in.getClass().getConstructor().newInstance(null);
                    } catch (Exception ex) {
                        ex.printStackTrace();
                    }
                }
                tmp.add$$PHOSPHORTAGGED(MultiDTaintedArrayWithObjTag.boxIfNecessary(o), new ControlTaintTagStack(), new TaintedBooleanWithObjTag());
            } else
                break;
        }
        if (tmp != null) {
            in.clear();
            tmp.add$$PHOSPHORTAGGED(tmp, new ControlTaintTagStack(), new TaintedBooleanWithObjTag());
        }
    }
    return in;
}