4.0.0 de.fraunhofer.iem SPDS 3.1.2-Sparse pom SPDS Sparsified Synchronized Pushdown Systems for Pointer and Data-Flow Analysis https://github.com/secure-software-engineering/SparseBoomerang Eclipse Public License - v 2.0 https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.txt repo scm:git:git://github.com/CodeShield-Security/SPDS.git git@github.com:CodeShield-Security/SPDS.git SPDS-3.1.2 Johannes Spaeth johannes.spaeth@codeshield.de CodeShield GmbH https://codeshield.de/ Manuel Benz manuel.benz@codeshield.de CodeShield GmbH https://codeshield.de/ WPDS SynchronizedPDS testCore boomerangPDS idealPDS boomerangScope boomerangScope-WALA SparseBoomerangCorrectness UTF-8 4.3.0-SNAPSHOT 2.9 1.11.2 3.6.1 3.0.0-M2 true org.apache.maven.plugins maven-surefire-plugin 2.21.0 -Xmx8G -Xss128m maven-compiler-plugin 3.8.1 1.8 1.8 org.apache.maven.plugins maven-enforcer-plugin ${maven-enforcer-plugin.version} enforce-maven enforce ${enforced-maven-version} com.coveo fmt-maven-plugin ${fmt-maven-plugin.version} format format org.apache.maven.plugins maven-source-plugin 3.2.0 attach-sources jar-no-fork org.apache.maven.plugins maven-javadoc-plugin 3.1.1 8 -Xdoclint:none attach-javadocs jar org.slf4j slf4j-api 1.7.30 org.slf4j slf4j-log4j12 1.7.30 com.google.guava guava 29.0-jre junit junit 4.13 test de.fraunhofer.iem pathexpression 1.0.2 org.soot-oss soot 4.2.1 org.apache.commons commons-lang3 3.5 de.fraunhofer.iem WPDS ${project.version} de.fraunhofer.iem synchronizedPDS ${project.version} de.fraunhofer.iem testCore ${project.version} de.fraunhofer.iem boomerangPDS ${project.version} de.fraunhofer.iem boomerangScope ${project.version} ossrh https://s01.oss.sonatype.org/content/repositories/snapshots/ ossrh https://s01.oss.sonatype.org/service/local/staging/deploy/maven2/ deployment org.apache.maven.plugins maven-gpg-plugin 3.0.1 sign-artifacts verify sign --pinentry-mode loopback maven-release-plugin 3.0.1 @{project.version} org.sonatype.plugins nexus-staging-maven-plugin 1.6.13 true ossrh https://s01.oss.sonatype.org true ci com.coveo fmt-maven-plugin ${skipFormatPlugin}