4.0.0 de.upb.cs.swt heros 1.1.0 Heros IFDS/IDE Solver Heros is a generic implementation of an IFDS/IDE Solver that can be plugged into existing, Java-based program analysis frameworks. A reference connector exists for the Soot framework. https://github.com/Sable/heros Secure Software Engineering Group - University of Paderborn https://www.hni.uni-paderborn.de/en/software-engineering/ GNU LESSER GENERAL PUBLIC LICENSE 2.1 https://www.gnu.org/licenses/lgpl-2.1.txt repo Manuel Benz manuel.benz@upb.de University of Paderborn https://www.hni.uni-paderborn.de/en/software-engineering/ Eric Bodden eric.bodden@uni-paderborn.de University of Paderborn https://www.hni.uni-paderborn.de/en/software-engineering/ Steven Arzt eric.bodden@uni-paderborn.de Frauenhofer SIT https://www.sit.fraunhofer.de/en/ scm:git:git@github.com:Sable/heros.git scm:git:git@github.com:Sable/heros.git https://github.com/Sable/heros/tree/master 1.6 1.6 UTF-8 1.6.8 1.6 3.0.1 2.10.4 3.1.0 herosclasses-trunk src test src **/*.java org.apache.maven.plugins maven-assembly-plugin ${maven-assembly-plugin.version} jar-with-dependencies true org.apache.maven.plugins maven-source-plugin ${maven-source-plugin.version} org.apache.maven.plugins maven-javadoc-plugin ${maven-javadoc-plugin.version} false org.functionaljava functionaljava 4.2 com.google.guava guava 19.0 org.slf4j slf4j-api 1.7.5 org.hamcrest hamcrest-core 1.3 test junit junit 4.12 test org.mockito mockito-all 1.9.5 test ossrh https://oss.sonatype.org/content/repositories/snapshots deploy deploy true gpg2 BA6398DCF4E2C1B6C5C7BDFC364F80C21BCC61BB org.sonatype.plugins nexus-staging-maven-plugin ${maven-nexus-staging-plugin.version} true ossrh https://oss.sonatype.org/ true org.apache.maven.plugins maven-gpg-plugin ${maven-gpg-plugin.version} sign-artifacts verify sign --pinentry-mode loopback org.apache.maven.plugins maven-source-plugin attach-sources jar org.apache.maven.plugins maven-javadoc-plugin attach-javadocs jar org.apache.maven.plugins maven-assembly-plugin simple-command package single