4.0.0 de.rwth.i2 attestor 0.4.1 jar Attestor A verification tool for model-checking Java pointer programs based on context-free graph grammars. https://moves-rwth.github.io/attestor/ GNU General Public License, version 3 https://opensource.org/licenses/GPL-3.0 Christoph Matheja matheja@cs.rwth-aachen.de Software Modeling and Verification Group - RWTH Aachen University https://moves.rwth-aachen.de/ Dr. Christina Jansen christina.jansen@cs.rwth-aachen.de Software Modeling and Verification Group - RWTH Aachen University https://moves.rwth-aachen.de/ Hannah Arndt hannah.arndt@rwth-aachen.de Software Modeling and Verification Group - RWTH Aachen University https://moves.rwth-aachen.de/ scm:git:git://github.com:moves-rwth/attestor.git scm:git:ssh://github.com:moves-rwth/attestor.git https://github.com/moves-rwth/attestor/tree/master UTF-8 UTF-8 1.8 1.8 ossrh https://oss.sonatype.org/content/repositories/snapshots src/main/resources true **/*.properties src/main/resources false **/*.properties src/main/assets ${project.build.directory}/classes org.sonatype.plugins nexus-staging-maven-plugin 1.6.8 true ossrh https://oss.sonatype.org/ true maven-assembly-plugin de.rwth.i2.attestor.main.Main . jar-with-dependencies make-assembly package single org.apache.maven.plugins maven-surefire-plugin 3.0.0-M3 org.apache.maven.plugins maven-failsafe-plugin 3.0.0-M3 integration-test verify org.codehaus.mojo build-helper-maven-plugin 3.0.0 add-test-source process-resources add-test-source src/it/java org.antlr antlr4-maven-plugin 4.7.2 antlr antlr4 true false soot-snapshot soot snapshots https://soot-build.cs.uni-paderborn.de/nexus/repository/soot-snapshot/ ca.mcgill.sable soot 3.0.0-SNAPSHOT de.rwth.i2 LTLParser 0.0.2 org.apache.logging.log4j log4j-api 2.11.1 org.apache.logging.log4j log4j-core 2.11.1 com.fasterxml.jackson.core jackson-core 2.9.8 com.fasterxml.jackson.core jackson-databind 2.9.8 net.sf.trove4j trove4j 3.0.3 org.json json 20180813 commons-cli commons-cli 1.4 junit junit 4.13-beta-1 test hamcrest-core org.hamcrest org.hamcrest hamcrest-all 1.3 test org.mockito mockito-all 2.0.2-beta test org.apache.httpcomponents httpclient 4.5.7 org.apache.httpcomponents httpmime 4.5.7 org.antlr antlr4-runtime 4.7.2 release false org.apache.maven.plugins maven-source-plugin 3.0.1 attach-sources jar-no-fork org.apache.maven.plugins maven-javadoc-plugin 3.0.0 attach-javadocs jar org.apache.maven.plugins maven-gpg-plugin 1.6 sign-artifacts verify sign