Skip to content

Commit

Permalink
jts: initial integration (#10745)
Browse files Browse the repository at this point in the history
Initial integration for project jts.

Signed-off-by: Arthur Chan <[email protected]>
  • Loading branch information
arthurscchan authored Jul 26, 2023
1 parent a466780 commit 3add324
Show file tree
Hide file tree
Showing 4 changed files with 199 additions and 0 deletions.
30 changes: 30 additions & 0 deletions projects/jts/Dockerfile
Original file line number Diff line number Diff line change
@@ -0,0 +1,30 @@
# 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.
#
##########################################################################
FROM gcr.io/oss-fuzz-base/base-builder-jvm
RUN curl -L https://archive.apache.org/dist/maven/maven-3/3.6.3/binaries/apache-maven-3.6.3-bin.zip \
-o maven.zip && \
unzip maven.zip -d $SRC/maven && \
rm maven.zip
RUN curl -L https://github.com/protocolbuffers/protobuf/releases/download/v3.15.8/protoc-3.15.8-linux-x86_64.zip \
-o protoc.zip && \
mkdir -p $SRC/protoc && \
unzip protoc.zip -d $SRC/protoc && \
rm -rf protoc.zip
ENV MVN $SRC/maven/apache-maven-3.6.3/bin/mvn
ENV PATH="$SRC/protoc/bin:$PATH"
RUN git clone --depth 1 https://github.com/locationtech/jts jts
COPY build.sh *.java $SRC/
WORKDIR $SRC/jts
92 changes: 92 additions & 0 deletions projects/jts/JtsFuzzer.java
Original file line number Diff line number Diff line change
@@ -0,0 +1,92 @@
// 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.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 | AssertionFailedException | IllegalArgumentException e) {
// Known exception
}
}
}
66 changes: 66 additions & 0 deletions projects/jts/build.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,66 @@
#!/bin/bash -eu
# 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.
#
##########################################################################
chmod +x $SRC/protoc/bin/protoc

$MVN clean package -Dmaven.javadoc.skip=true -DskipTests=true -Dpmd.skip=true \
-Dencoding=UTF-8 -Dmaven.antrun.skip=true -Dcheckstyle.skip=true \
-Denforcer.fail=false org.apache.maven.plugins:maven-shade-plugin:3.2.4:shade
CURRENT_VERSION=$($MVN org.apache.maven.plugins:maven-help-plugin:3.2.0:evaluate \
-Dexpression=project.version -q -DforceStdout)

cp "modules/core/target/jts-core-$CURRENT_VERSION.jar" $OUT/jts-core.jar
cp "modules/lab/target/jts-lab-$CURRENT_VERSION.jar" $OUT/jts-lab.jar
cp "modules/io/common/target/jts-io-common-$CURRENT_VERSION.jar" $OUT/jts-io-common.jar
cp "modules/app/target/jts-app-$CURRENT_VERSION.jar" $OUT/jts-app.jar

ALL_JARS="jts-core.jar:jts-lab.jar:jts-io-common.jar:jts-app.jar"

# The classpath at build-time includes the project jars in $OUT as well as the
# Jazzer API.
BUILD_CLASSPATH=$(echo $ALL_JARS | xargs printf -- "$OUT/%s:"):$JAZZER_API_PATH

# All .jar and .class files lie in the same directory as the fuzzer at runtime.
RUNTIME_CLASSPATH=$(echo $ALL_JARS | xargs printf -- "\$this_dir/%s:"):\$this_dir

for fuzzer in $(find $SRC -name 'JtsFuzzer.java')
do
fuzzer_basename=$(basename -s .java $fuzzer)
javac -cp $BUILD_CLASSPATH $fuzzer
cp $SRC/$fuzzer_basename.class $OUT/

# Create an execution wrapper that executes Jazzer with the correct arguments.
echo "#!/bin/bash
# LLVMFuzzerTestOneInput for fuzzer detection.
this_dir=\$(dirname "\$0")
if [[ "\$@" =~ (^| )-runs=[0-9]+($| ) ]]
then
mem_settings='-Xmx1900m:-Xss900k'
else
mem_settings='-Xmx2048m:-Xss1024k'
fi
LD_LIBRARY_PATH="$JVM_LD_LIBRARY_PATH":\$this_dir \
\$this_dir/jazzer_driver \
--agent_path=\$this_dir/jazzer_agent_deploy.jar \
--cp=$RUNTIME_CLASSPATH \
--target_class=$fuzzer_basename \
--jvm_args="\$mem_settings" \
\$@" > $OUT/$fuzzer_basename

chmod u+x $OUT/$fuzzer_basename
done
11 changes: 11 additions & 0 deletions projects/jts/project.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
homepage: https://github.com/locationtech/jts
main_repo: https://github.com/locationtech/jts
language: jvm
fuzzing_engines:
- libfuzzer
sanitizers:
- address
vendor_ccs:
- [email protected]
- [email protected]
- [email protected]

0 comments on commit 3add324

Please sign in to comment.