4.0.0 de.fraunhofer.iem SPDS 2.5.1 pom SPDS Synchronized Pushdown Systems for Pointer and Data-Flow Analysis https://github.com/CodeShield-Security/SPDS 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 scm:git:ssh://github.com:CodeShield-Security/SPDS.git git@github.com:CodeShield-Security/SPDS.git Johannes Spaeth mail@johspaeth.de Manuel Benz manuel.benz@codeshield.de CodeShield GmbH https://codeshield.de/ WPDS SynchronizedPDS testCore boomerangPDS idealPDS UTF-8 4.2.1 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 maven-compiler-plugin 3.8.1 1.8 1.8 org.apache.maven.plugins maven-source-plugin 3.2.1 attach-sources jar org.apache.maven.plugins maven-javadoc-plugin 3.6.0 all,-missing attach-javadoc jar ossrh https://s01.oss.sonatype.org/service/local/staging/deploy/maven2/ ossrh https://s01.oss.sonatype.org/content/repositories/snapshots/ ossrh https://s01.oss.sonatype.org/service/local/staging/deploy/maven2/