Java Taint.getLocalVariableIndex Examples

Example #1

File: Taint.java Project: crudbug/find-sec-bugs

 public static Taint merge(Taint a, Taint b) {
   Taint result = new Taint(State.merge(a.getState(), b.getState()));
   if (a.hasValidLocalVariableIndex()
       && b.hasValidLocalVariableIndex()
       && a.getLocalVariableIndex() == b.getLocalVariableIndex()) {
     result.setLocalVariableIndex(a.getLocalVariableIndex());
   }
   return result;
 }