code: public void addLocation(TaintLocation location, boolean isKnownTaintSource) {
          Objects.requireNonNull(location, "location is null");
          if (isKnownTaintSource) {
              taintLocations.add(location);
          } else {
              unknownLocations.add(location);
          }
      }
docs: Adds location for a taint source or path to remember for reporting
  
  @param location location to remember
  @param isKnownTaintSource true for tainted value, false if just not safe
  @throws NullPointerException if location is null