Package soot.jimple.toolkits.pointer.util

Class NativeHelper

    • Constructor Detail

      • NativeHelper

        public NativeHelper()

    • Method Detail

      • assignObjectTo

        public void assignObjectTo​(ReferenceVariable lhs,
                           AbstractObject obj)
        Assignment of an abstract object to the variable, such as " a = new A()", which is considered to add a target in a's points-to set. This method is used to formulate the effect of getting an environmental constant object such as 'getClass'.

      • throwException

        public void throwException​(AbstractObject obj)
        Throw of an abstract object as an exception.

      • arrayElementOf

        public ReferenceVariable arrayElementOf​(ReferenceVariable base)
        Returns a reference variable representing the array element of this variable. Now it does not look at the array index.

      • cloneObject

        public ReferenceVariable cloneObject​(ReferenceVariable source)
        Returns a variable which has the effect of cloning. A moderate approach would return the variable itself. e.g., a = b.clone() will be rendered to: Vr.isAssigned(Vb.cloneObject()); Va = Vr;

      • newInstanceOf

        public ReferenceVariable newInstanceOf​(ReferenceVariable cls)
        Returns a variable which carries an allocation site with the least type (an artificial type, subtype of any other types, which means such type info is useless for resolving invocation targets). It is used for simulating java.lang.Class.newInstance0(); To verify, @this variable mush have CLASSCLASS type.

      • staticField

        public ReferenceVariable staticField​(String className,
                                     String fieldName)
        Returns a reference variable representing a static Java field. The implementation must ensure that there is only one such representation for each static field.
        Parameters:
        field - , must be a static field

      • tempField

        public ReferenceVariable tempField​(String fieldsig)
        Returns a variable representing a non-existing Java field, used by e.g., java.lang.Class: getSingers, setSigners java.lang.Class: getProtectionDomain0, setProtectionDomain0 To simplify simulation, the temporary field variable is like a static field. The temporary fields are uniquely indexed by signatures.

      • tempVariable

        public ReferenceVariable tempVariable()
        Make a temporary variable. It is used for assignment where both sides are complex variables. e.g., for java.lang.System arraycopy(src, ..., dst, ...) instead of make an expression : dst[] = src[], it introduces a temporary variable t = src[] dst[] = t The temporary variable has to be unique.

      • throwExceptionImpl

        protected abstract void throwExceptionImpl​(AbstractObject obj)