script add

specimin/build.gradle

@@ -0,0 +1,36 @@
+plugins {
+ id 'java-library'
+ id 'org.checkerframework' version '0.6.37'
+}
+
+apply plugin: 'org.checkerframework'
+
+repositories {
+ // Use Maven Central for resolving dependencies.
+ mavenCentral()
+}
+
+java {
+ toolchain {
+ languageVersion = JavaLanguageVersion.of(11)
+ }
+}
+
+checkerFramework {
+ checkers = [
+ 'org.checkerframework.checker.nullness.NullnessChecker'
+ ]
+ excludeTests = true
+ incrementalize = false
+}
+
+task printJarPath {
+ doLast {
+ println sourceSets.main.compileClasspath.asPath
+ }
+}
+
+dependencies {
+ compileOnly 'org.checkerframework:checker-qual:3.7.1'
+ checkerFramework 'org.checkerframework:checker:3.7.1'
+}

specimin/expected_log.txt

@@ -0,0 +1,39 @@
+error: InternalUtils.symbol: tree is null
+ ; The Checker Framework crashed. Please report the crash.
+ Compilation unit: .../calcite/core/src/main/java/org/apache/calcite/sql/parser/SqlParserPos.java
+ Last visited tree at line 41 column 1:
+ public class SqlParserPos implements Serializable {
+ Exception: java.lang.Throwable; java.lang.Throwable
+ at org.checkerframework.javacutil.BugInCF.<init>(BugInCF.java:16)
+ at org.checkerframework.javacutil.TreeUtils.elementFromTree(TreeUtils.java:459)
+ at org.checkerframework.javacutil.TreeUtils.elementFromDeclaration(TreeUtils.java:517)
+ at org.checkerframework.checker.nullness.NullnessTransfer.strengthenAnnotationOfEqualTo(NullnessTransfer.java:206)
+ at org.checkerframework.checker.nullness.NullnessTransfer.strengthenAnnotationOfEqualTo(NullnessTransfer.java:62)
+ at org.checkerframework.framework.flow.CFAbstractTransfer.visitEqualTo(CFAbstractTransfer.java:744)
+ at org.checkerframework.framework.flow.CFAbstractTransfer.visitEqualTo(CFAbstractTransfer.java:94)
+ at org.checkerframework.dataflow.cfg.node.EqualToNode.accept(EqualToNode.java:31)
+ at org.checkerframework.dataflow.analysis.AbstractAnalysis.callTransferFunction(AbstractAnalysis.java:338)
+ at org.checkerframework.dataflow.analysis.ForwardAnalysisImpl.callTransferFunction(ForwardAnalysisImpl.java:390)
+ at org.checkerframework.dataflow.analysis.ForwardAnalysisImpl.performAnalysisBlock(ForwardAnalysisImpl.java:130)
+ at org.checkerframework.dataflow.analysis.ForwardAnalysisImpl.performAnalysis(ForwardAnalysisImpl.java:107)
+ at org.checkerframework.framework.flow.CFAbstractAnalysis.performAnalysis(CFAbstractAnalysis.java:109)
+ at org.checkerframework.framework.type.GenericAnnotatedTypeFactory.analyze(GenericAnnotatedTypeFactory.java:1341)
+ at org.checkerframework.framework.type.GenericAnnotatedTypeFactory.performFlowAnalysis(GenericAnnotatedTypeFactory.java:1267)
+ at org.checkerframework.framework.type.GenericAnnotatedTypeFactory.checkAndPerformFlowAnalysis(GenericAnnotatedTypeFactory.java:1686)
+ at org.checkerframework.framework.type.GenericAnnotatedTypeFactory.preProcessClassTree(GenericAnnotatedTypeFactory.java:343)
+ at org.checkerframework.common.basetype.BaseTypeVisitor.visitClass(BaseTypeVisitor.java:322)
+ at org.checkerframework.common.basetype.BaseTypeVisitor.visitClass(BaseTypeVisitor.java:175)
+ at jdk.compiler/com.sun.tools.javac.tree.JCTree$JCClassDecl.accept(JCTree.java:808)
+ at jdk.compiler/com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:56)
+ at org.checkerframework.framework.source.SourceVisitor.visit(SourceVisitor.java:82)
+ at org.checkerframework.framework.source.SourceChecker.typeProcess(SourceChecker.java:916)
+ at org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:503)
+ at org.checkerframework.javacutil.AbstractTypeProcessor$AttributionTaskListener.finished(AbstractTypeProcessor.java:190)
+ at jdk.compiler/com.sun.tools.javac.api.ClientCodeWrapper$WrappedTaskListener.finished(ClientCodeWrapper.java:828)
+ at jdk.compiler/com.sun.tools.javac.api.MultiTaskListener.finished(MultiTaskListener.java:132)
+ at jdk.compiler/com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1418)
+ at jdk.compiler/com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1375)
+ at jdk.compiler/com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:973)
+ at jdk.compiler/com.sun.tools.javac.api.JavacTaskImpl.lambda$doCall$0(JavacTaskImpl.java:104)
+ at jdk.compiler/com.sun.tools.javac.api.JavacTaskImpl.handleExceptions(JavacTaskImpl.java:147)
+ at jdk.compiler/com.sun.tools.javac.api.JavacTaskImpl.doCall(JavacTaskImpl.java:100)