4.0.0 de.fraunhofer.iem CryptoAnalysis 2.7.2 CryptoAnalysis CogniCrypt_SAST: CrySL-to-Static Analysis Compiler https://github.com/CROSSINGTUD/CryptoAnalysis Eclipse Public License - v2.0 https://www.eclipse.org/legal/epl-2.0/ CogniCrypt CogniCrypt cognicrypt@eim.upb.de scm:git:git@github.com:CROSSINGTUD/CryptoAnalysis.git scm:git:ssh://github.com:CROSSINGTUD/CryptoAnalysis.git https://github.com/CROSSINGTUD/CryptoAnalysis com.google.guava guava 25.0-jre compile de.fraunhofer.iem idealPDS 2.5.1 compile commons-cli commons-cli 1.4 compile org.bouncycastle bctls-jdk15on 1.62 compile org.slf4j slf4j-simple 1.7.21 compile com.google.code.gson gson 1.4 compile de.darmstadt.tu.crossing.CrySL de.darmstadt.tu.crossing.CrySL 2.0.2 compile org.eclipse.xtext org.eclipse.xtext.xbase 2.18.0 compile org.eclipse.emf org.eclipse.emf.common 2.15.0 compile org.eclipse.emf org.eclipse.emf.ecore 2.15.0 compile javax.servlet javax.servlet-api 4.0.1 provided