Examples of dk.brics.string.intermediate.ObjectCorrupt

dk.brics.string.intermediate.ObjectCorrupt
Corruption of a variable whose type is uncertain. Unless the object has type String, its value may change spontaneously at any point after this.
Depending on the type of the variable, certain other variables might be aliases of it, which is why we want to keep such corruption statements.

    Variable var = factory.createVariable(VariableType.NONE);
    factory.addStatement(new Call(var, method, translateArguments(sootMethod, arguments, factory)));
    
    // the constructor of custom collection types must produce corrupt collections
    if (callee.getType() != VariableType.NONE) {
      factory.addStatement(new ObjectCorrupt(callee));
    }
    
    return true;
  }

View Full Code Here

      break;
    case ARRAY:
      addStatement(new ArrayCorrupt(var));
      break;
    default:
      addStatement(new ObjectCorrupt(var));
    }
  }

View Full Code Here

    } else if (resolution.getReturnedArgument() != -1) {
      result = arguments.get(resolution.getReturnedArgument());
      
    } else {
      result = factory.createVariable(resultType);
      factory.addStatement(new ObjectCorrupt(result));
    }
    
    // handle corrupted arguments
    if (resolution.getCorruptedArguments().size() != arguments.size()) {
      throw new InvalidResolutionException("Incorrect number of arguments in method resolution");
    }
    for (int i=0; i<arguments.size(); i++) {
      if (arguments.get(i).isMutable() && resolution.isArgumentCorrupted(i)) {
        factory.addStatement(new ObjectCorrupt(arguments.get(i)));
      }
    }
    
    return result;
  }

View Full Code Here

                        case PRIMITIVE:
                            // TODO: Integers can contain two characters, right? look deeper into which primitive type
                            s = new PrimitiveInit(arg, Automaton.makeAnyChar());
                            break;
                        default:
                            s = new ObjectCorrupt(arg);
                            // (case NONE or NULL cannot occur because such
                            // parameters do not get created for intermediate
                            // methods)
                        }
                        cfg.addStatement(s);

View Full Code Here

TOP

Related Classes of dk.brics.string.intermediate.ObjectCorrupt

dk.brics.string.java.ApplicationMethodCallTranslator

dk.brics.string.java.Jimple2Intermediate

dk.brics.string.java.ResolverMethodCallTranslator

dk.brics.string.java.StatementTranslatorImpl

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.