Merge branch 'main' into handle-interrupts

pom.xml

@@ -4,7 +4,7 @@
     <parent>
         <groupId>de.rub.nds</groupId>
         <artifactId>protocol-toolkit-bom</artifactId>
-        <version>3.5.7</version>
+        <version>3.5.9</version>
     </parent>
 
     <artifactId>scanner-core</artifactId>

src/main/java/de/rub/nds/scanner/core/config/ExecutorConfig.java

@@ -22,6 +22,11 @@ public final class ExecutorConfig {
     @Parameter(names = "-scanDetail", description = "How detailed do you want to scan?")
     private ScannerDetail scanDetail = ScannerDetail.NORMAL;
 
+    @Parameter(
+            names = "-postAnalysisDetail",
+            description = "How detailed do you want the post analysis to be")
+    private ScannerDetail postAnalysisDetail = ScannerDetail.NORMAL;
+
     @Parameter(names = "-reportDetail", description = "How detailed do you want the report to be?")
     private ScannerDetail reportDetail = ScannerDetail.NORMAL;
 
@@ -57,6 +62,14 @@ public void setScanDetail(ScannerDetail scanDetail) {
         this.scanDetail = scanDetail;
     }
 
+    public ScannerDetail getPostAnalysisDetail() {
+        return postAnalysisDetail;
+    }
+
+    public void setPostAnalysisDetail(ScannerDetail postAnalysisDetail) {
+        this.postAnalysisDetail = postAnalysisDetail;
+    }
+
     public ScannerDetail getReportDetail() {
         return reportDetail;
     }