WIP: Remove old components

CROSSINGTUD · Jan 7, 2025 · cc2fd33 · cc2fd33
1 parent 08f2e71
commit cc2fd33
Show file tree

Hide file tree

Showing 31 changed files with 80 additions and 1,986 deletions.
diff --git a/CryptoAnalysis/src/main/java/crypto/analysis/errors/CallToError.java b/CryptoAnalysis/src/main/java/crypto/analysis/errors/CallToError.java
diff --git a/CryptoAnalysis/src/main/java/crypto/analysis/errors/HardCodedError.java b/CryptoAnalysis/src/main/java/crypto/analysis/errors/HardCodedError.java
diff --git a/CryptoAnalysis/src/main/java/crypto/analysis/errors/InstanceOfError.java b/CryptoAnalysis/src/main/java/crypto/analysis/errors/InstanceOfError.java
diff --git a/CryptoAnalysis/src/main/java/crypto/analysis/errors/NeverTypeOfError.java b/CryptoAnalysis/src/main/java/crypto/analysis/errors/NeverTypeOfError.java
diff --git a/CryptoAnalysis/src/main/java/crypto/analysis/errors/NoCallToError.java b/CryptoAnalysis/src/main/java/crypto/analysis/errors/NoCallToError.java
diff --git a/CryptoAnalysis/src/main/java/crypto/constraints/ConstraintsAnalysis.java b/CryptoAnalysis/src/main/java/crypto/constraints/ConstraintsAnalysis.java
@@ -62,7 +62,8 @@ private void initializeExtractedValues() {
                         definition.callGraph(),
                         definition.dataFlowScope(),
                         definition.timeout(),
-                        definition.strategy());
+                        definition.strategy(),
+                        definition.reporter());
         ExtractParameterAnalysis analysis = new ExtractParameterAnalysis(parameterDefinition);
 
         Collection<ParameterWithExtractedValues> params =

diff --git a/CryptoAnalysis/src/main/java/crypto/constraintsOld/BinaryConstraint.java b/CryptoAnalysis/src/main/java/crypto/constraintsOld/BinaryConstraint.java