JtsFuzzer.java

// Copyright 2023 Google LLC
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//      http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
//
///////////////////////////////////////////////////////////////////////////
import com.code_intelligence.jazzer.api.FuzzedDataProvider;
import org.locationtech.jts.geom.Geometry;
import org.locationtech.jts.geom.GeometryFactory;
import org.locationtech.jts.geom.PrecisionModel;
import org.locationtech.jts.geom.TopologyException;
import org.locationtech.jts.io.ParseException;
import org.locationtech.jts.io.WKTReader;
import org.locationtech.jts.util.AssertionFailedException;

public class JtsFuzzer {
  private static PrecisionModel.Type[] types = {
      PrecisionModel.FIXED, PrecisionModel.FLOATING, PrecisionModel.FLOATING_SINGLE};

  public static void fuzzerTestOneInput(FuzzedDataProvider data) {
    try {
      int[] choices = data.consumeInts(data.consumeInt(1, 10));
      GeometryFactory factory = new GeometryFactory(new PrecisionModel(data.pickValue(types)));
      WKTReader reader = new WKTReader(factory);
      Geometry g1 = reader.read(data.consumeString(data.remainingBytes() / 2));
      Geometry g2 = reader.read(data.consumeRemainingAsString());

      for (Integer choice : choices) {
        switch (choice % 16) {
          case 0:
            g1.equalsNorm(g2);
            break;
          case 1:
            g1.distance(g2);
            break;
          case 2:
            g1.disjoint(g2);
            break;
          case 3:
            g1.touches(g2);
            break;
          case 4:
            g1.intersects(g2);
            break;
          case 5:
            g1.crosses(g2);
            break;
          case 6:
            g1.within(g2);
            break;
          case 7:
            g1.contains(g2);
            break;
          case 8:
            g1.overlaps(g2);
            break;
          case 9:
            g1.covers(g2);
            break;
          case 10:
            g1.coveredBy(g2);
            break;
          case 11:
            g1.relate(g2);
            break;
          case 12:
            g1.intersection(g2);
            break;
          case 13:
            g1.union(g2);
            break;
          case 14:
            g1.difference(g2);
            break;
          case 15:
            g1.symDifference(g2);
            break;
        }
      }
    } catch (ParseException | TopologyException | AssertionFailedException | IllegalArgumentException e) {
      // Known exception
    }
  }
}