Merge pull request #340 from gokcekrky/master

Pull request for adding missing libraries

Author: kruegers

plugins/de.cognicrypt.core/META-INF/MANIFEST.MF

@@ -1,86 +1,97 @@
-Manifest-Version: 1.0
-Bundle-ManifestVersion: 2
-Bundle-Name: CogniCrypt Core
-Bundle-SymbolicName: de.cognicrypt.core;singleton:=true
-Bundle-Version: 1.0.0.qualifier
-Bundle-Activator: de.cognicrypt.core.Activator
-Bundle-Vendor: TU Darmstadt, Paderborn University
-Require-Bundle: org.eclipse.core.runtime,
- org.eclipse.ui.workbench,
- org.eclipse.core.resources,
- org.eclipse.ui.ide,
- org.eclipse.ui,
- org.eclipse.jdt.core,
- com.google.guava,
- org.eclipse.ui.forms,
- org.eclipse.m2e.maven.runtime
-Bundle-RequiredExecutionEnvironment: JavaSE-1.8
-Bundle-ActivationPolicy: lazy
-Automatic-Module-Name: de.cognicrypt.core
-Bundle-ClassPath: .,
- lib/animal-sniffer-annotations.jar,
- lib/asm-analysis.jar,
- lib/asm-commons.jar,
- lib/asm-tree.jar,
- lib/asm-util.jar,
- lib/asm.jar,
- lib/axml.jar,
- lib/boomerangPDS.jar,
- lib/checker-compat-qual.jar,
- lib/commons-cli.jar,
- lib/commons-io.jar,
- lib/commons-lang3.jar,
- lib/CryptoAnalysis.jar,
- lib/dexlib2.jar,
- lib/error_prone_annotations.jar,
- lib/functionaljava.jar,
- lib/gson.jar,
- lib/guava.jar,
- lib/hamcrest-core.jar,
- lib/heros.jar,
- lib/idealPDS.jar,
- lib/j2objc-annotations.jar,
- lib/jasmin.jar,
- lib/java_cup.jar,
- lib/json-simple.jar,
- lib/jsr305.jar,
- lib/junit.jar,
- lib/log4j-api.jar,
- lib/log4j-core.jar,
- lib/PathExpression.jar,
- lib/polyglot.jar,
- lib/slf4j-api.jar,
- lib/slf4j-simple.jar,
- lib/soot-j9.jar,
- lib/synchronizedPDS.jar,
- lib/testCore.jar,
- lib/WPDS.jar,
- lib/xmlpull.jar
-Export-Package: boomerang,
- boomerang.callgraph,
- boomerang.jimple,
- boomerang.preanalysis,
- boomerang.results,
- crypto,
- crypto.analysis,
- crypto.analysis.errors,
- crypto.extractparameter,
- crypto.interfaces,
- crypto.rules,
- de.cognicrypt.core;uses:="org.osgi.framework,org.eclipse.swt.graphics,org.eclipse.ui.plugin",
- de.cognicrypt.core.properties;uses:="org.eclipse.ui,org.eclipse.swt.widgets,org.eclipse.jface.preference",
- de.cognicrypt.utils;
-  uses:="org.eclipse.ui,
-   org.w3c.dom,
-   org.eclipse.jdt.core,
-   org.eclipse.swt.widgets,
-   org.eclipse.core.resources,
-   org.eclipse.jdt.core.search",
- soot,
- soot.jimple,
- soot.jimple.internal,
- soot.jimple.toolkits.ide.icfg,
- soot.options,
- soot.tagkit,
- sync.pds.solver.nodes,
- typestate
+Manifest-Version: 1.0
+Bundle-ManifestVersion: 2
+Bundle-Name: CogniCrypt Core
+Bundle-SymbolicName: de.cognicrypt.core;singleton:=true
+Bundle-Version: 1.0.0.qualifier
+Bundle-Activator: de.cognicrypt.core.Activator
+Bundle-Vendor: TU Darmstadt, Paderborn University
+Require-Bundle: org.eclipse.core.runtime,
+ org.eclipse.ui.workbench,
+ org.eclipse.core.resources,
+ org.eclipse.ui.ide,
+ org.eclipse.ui,
+ org.eclipse.jdt.core,
+ com.google.guava,
+ org.eclipse.ui.forms,
+ org.eclipse.m2e.maven.runtime
+Bundle-RequiredExecutionEnvironment: JavaSE-1.8
+Bundle-ActivationPolicy: lazy
+Automatic-Module-Name: de.cognicrypt.core
+Bundle-ClassPath: .,
+ lib/animal-sniffer-annotations.jar,
+ lib/antlr-runtime.jar,
+ lib/asm-analysis.jar,
+ lib/asm-commons.jar,
+ lib/asm-tree.jar,
+ lib/asm-util.jar,
+ lib/asm.jar,
+ lib/axml.jar,
+ lib/boomerangPDS.jar,
+ lib/checker-compat-qual.jar,
+ lib/commons-cli.jar,
+ lib/commons-io.jar,
+ lib/commons-lang3.jar,
+ lib/CryptoAnalysis.jar,
+ lib/dexlib2.jar,
+ lib/de.darmstadt.tu.crossing.CryptSL.jar,
+ lib/error_prone_annotations.jar,
+ lib/functionaljava.jar,
+ lib/gson.jar,
+ lib/guava.jar,
+ lib/hamcrest-core.jar,
+ lib/heros.jar,
+ lib/idealPDS.jar,
+ lib/j2objc-annotations.jar,
+ lib/jasmin.jar,
+ lib/java_cup.jar,
+ lib/json-simple.jar,
+ lib/jsr305.jar,
+ lib/junit.jar,
+ lib/log4j.jar,
+ lib/log4j-api.jar,
+ lib/log4j-core.jar,
+ lib/org.eclipse.emf.common.jar,
+ lib/org.eclipse.emf.ecore.jar,
+ lib/org.eclipse.emf.ecore.xmi.jar,
+ lib/org.eclipse.xtext.common.types.jar,
+ lib/org.eclipse.xtext.jar,
+ lib/org.eclipse.xtext.util.jar,
+ lib/org.eclipse.xtext.xbase.jar,
+ lib/org.eclipse.xtext.xbase.lib.jar,
+ lib/PathExpression.jar,
+ lib/polyglot.jar,
+ lib/slf4j-api.jar,
+ lib/slf4j-simple.jar,
+ lib/soot-j9.jar,
+ lib/synchronizedPDS.jar,
+ lib/testCore.jar,
+ lib/WPDS.jar,
+ lib/xmlpull.jar
+Export-Package: boomerang,
+ boomerang.callgraph,
+ boomerang.jimple,
+ boomerang.preanalysis,
+ boomerang.results,
+ crypto,
+ crypto.analysis,
+ crypto.analysis.errors,
+ crypto.extractparameter,
+ crypto.interfaces,
+ crypto.rules,
+ de.cognicrypt.core;uses:="org.osgi.framework,org.eclipse.swt.graphics,org.eclipse.ui.plugin",
+ de.cognicrypt.core.properties;uses:="org.eclipse.ui,org.eclipse.swt.widgets,org.eclipse.jface.preference",
+ de.cognicrypt.utils;
+  uses:="org.eclipse.ui,
+   org.w3c.dom,
+   org.eclipse.jdt.core,
+   org.eclipse.swt.widgets,
+   org.eclipse.core.resources,
+   org.eclipse.jdt.core.search",
+ soot,
+ soot.jimple,
+ soot.jimple.internal,
+ soot.jimple.toolkits.ide.icfg,
+ soot.options,
+ soot.tagkit,
+ sync.pds.solver.nodes,
+ typestate

plugins/de.cognicrypt.core/build.properties

@@ -7,6 +7,7 @@ bin.includes = META-INF/,\
                src/,\
                icons/,\
                lib/animal-sniffer-annotations.jar,\
+               lib/antlr-runtime.jar,\
                lib/asm-analysis.jar,\
                lib/asm-commons.jar,\
                lib/asm-tree.jar,\
@@ -20,6 +21,7 @@ bin.includes = META-INF/,\
                lib/commons-lang3.jar,\
                lib/CryptoAnalysis.jar,\
                lib/dexlib2.jar,\
+               lib/de.darmstadt.tu.crossing.CryptSL.jar,\
                lib/error_prone_annotations.jar,\
                lib/functionaljava.jar,\
                lib/gson.jar,\
@@ -33,8 +35,17 @@ bin.includes = META-INF/,\
                lib/json-simple.jar,\
                lib/jsr305.jar,\
                lib/junit.jar,\
+               lib/log4j.jar,\
                lib/log4j-api.jar,\
                lib/log4j-core.jar,\
+               lib/org.eclipse.emf.common.jar,\
+               lib/org.eclipse.emf.ecore.jar,\
+               lib/org.eclipse.emf.ecore.xmi.jar,\
+               lib/org.eclipse.xtext.common.types.jar,\
+               lib/org.eclipse.xtext.jar,\
+               lib/org.eclipse.xtext.util.jar,\
+               lib/org.eclipse.xtext.xbase.jar,\
+               lib/org.eclipse.xtext.xbase.lib.jar,\
                lib/PathExpression.jar,\
                lib/polyglot.jar,\
                lib/slf4j-api.jar,\