sast-java update (#135)

curryooo · web-flow · commit 2a716048c77e · 2025-06-23T21:12:02.000+08:00
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/need_solve/DifferentParamsForFunction_001_T.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/need_solve/DifferentParamsForFunction_001_T.java
@@ -1,4 +1,4 @@
-package com.sast.astbenchmark.case_language_maturity.accuracy.context_sensitive.multi_invoke;
+package com.sast.astbenchmark.case_language_maturity.accuracy.context_sensitive.multi_invoke.need_solve;
 
 import com.sast.astbenchmark.common.utils.CmdUtil;
 import org.springframework.web.bind.annotation.PostMapping;
@@ -11,17 +11,17 @@
 import java.util.Map;
 
 /**
- * Introduction 准确度->上下文敏感分析->多次调用->相同函数调用不同参数-scene1
- * Level 2
+ * Introduction 准确度->上下文敏感分析->多次调用->可求解
+ * Level 4
  * Date 2024-05-23
  */
 // evaluation information start
 // real case = true
-// evaluation item =  准确度->上下文敏感分析->多次调用
-// bind_url = accuracy/context_sensitive/multi_invoke/DifferentParamsForFunction_001_T
+// evaluation item =  准确度->上下文敏感分析->多次调用->可求解
+// bind_url = accuracy/context_sensitive/multi_invoke/need_solve/DifferentParamsForFunction_001_T
 // evaluation information end
 @RestController
-@RequestMapping("accuracy/context_sensitive/multi_invoke")
+@RequestMapping("accuracy/context_sensitive/multi_invoke/need_solve")
 public class DifferentParamsForFunction_001_T {
     @PostMapping(value = "DifferentParamsForFunction_001_T")
     public Map<String, Object> testcase(@RequestParam String cmd) {
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/need_solve/DifferentParamsForFunction_002_F.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/need_solve/DifferentParamsForFunction_002_F.java
@@ -1,4 +1,4 @@
-package com.sast.astbenchmark.case_language_maturity.accuracy.context_sensitive.multi_invoke;
+package com.sast.astbenchmark.case_language_maturity.accuracy.context_sensitive.multi_invoke.need_solve;
 
 import com.sast.astbenchmark.common.utils.CmdUtil;
 import org.springframework.web.bind.annotation.PostMapping;
@@ -11,17 +11,17 @@
 import java.util.Map;
 
 /**
- * Introduction 准确度->上下文敏感分析->多次调用->相同函数调用不同参数-scene1
- * Level 2
+ * Introduction 准确度->上下文敏感分析->多次调用->可求解
+ * Level 4
  * Date 2024-07-05
  */
 // evaluation information start
 // real case = false
-// evaluation item =  准确度->上下文敏感分析->多次调用
-// bind_url = accuracy/context_sensitive/multi_invoke/DifferentParamsForFunction_002_F
+// evaluation item =  准确度->上下文敏感分析->多次调用->可求解
+// bind_url = accuracy/context_sensitive/multi_invoke/need_solve/DifferentParamsForFunction_002_F
 // evaluation information end
 @RestController
-@RequestMapping("accuracy/context_sensitive/multi_invoke")
+@RequestMapping("accuracy/context_sensitive/multi_invoke/need_solve")
 public class DifferentParamsForFunction_002_F {
     @PostMapping(value = "DifferentParamsForFunction_002_F")
     public Map<String, Object> testcase(@RequestParam String cmd) {
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/need_solve/config.json b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/need_solve/config.json
@@ -0,0 +1,14 @@
+{
+  "multi_invoke_need_solve": [
+    {
+      "evaluation item": "准确度->上下文敏感分析->多次调用->可求解",
+      "level": "4",
+      "scene_list": [
+        {
+          "compose": "DifferentParamsForFunction_001_T.java && !DifferentParamsForFunction_002_F.java",
+          "scene": "相同函数调用不同参数-scene1-可求解"
+        }
+      ]
+    }
+  ]
+}
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/without_solve/DifferentParamsForFunction_003_T.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/without_solve/DifferentParamsForFunction_003_T.java
@@ -1,4 +1,4 @@
-package com.sast.astbenchmark.case_language_maturity.accuracy.context_sensitive.multi_invoke;
+package com.sast.astbenchmark.case_language_maturity.accuracy.context_sensitive.multi_invoke.without_solve;
 
 import com.sast.astbenchmark.model.alias.Invoke;
 import org.springframework.web.bind.annotation.PostMapping;
@@ -17,10 +17,10 @@
 // evaluation information start
 // real case = true
 // evaluation item =  准确度->上下文敏感分析->多次调用
-// bind_url = accuracy/context_sensitive/multi_invoke/DifferentParamsForFunction_003_T
+// bind_url = accuracy/context_sensitive/multi_invoke/without_solve/DifferentParamsForFunction_003_T
 // evaluation information end
 @RestController
-@RequestMapping("accuracy/context_sensitive/multi_invoke")
+@RequestMapping("accuracy/context_sensitive/multi_invoke/without_solve")
 public class DifferentParamsForFunction_003_T {
     @PostMapping(value = "DifferentParamsForFunction_003_T")
     public Map<String, Object> testcase(@RequestParam String cmd) {
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/without_solve/DifferentParamsForFunction_004_F.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/without_solve/DifferentParamsForFunction_004_F.java
@@ -1,4 +1,4 @@
-package com.sast.astbenchmark.case_language_maturity.accuracy.context_sensitive.multi_invoke;
+package com.sast.astbenchmark.case_language_maturity.accuracy.context_sensitive.multi_invoke.without_solve;
 
 import com.sast.astbenchmark.model.alias.Invoke;
 import org.springframework.web.bind.annotation.PostMapping;
@@ -17,10 +17,10 @@
 // evaluation information start
 // real case = false
 // evaluation item =  准确度->上下文敏感分析->多次调用
-// bind_url = accuracy/context_sensitive/multi_invoke/DifferentParamsForFunction_004_F
+// bind_url = accuracy/context_sensitive/multi_invoke/without_solve/DifferentParamsForFunction_004_F
 // evaluation information end
 @RestController
-@RequestMapping("accuracy/context_sensitive/multi_invoke")
+@RequestMapping("accuracy/context_sensitive/multi_invoke/without_solve")
 public class DifferentParamsForFunction_004_F {
     @PostMapping(value = "DifferentParamsForFunction_004_F")
     public Map<String, Object> testcase(@RequestParam String cmd) {
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/without_solve/DifferentParamsForFunction_005_T.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/without_solve/DifferentParamsForFunction_005_T.java
@@ -1,4 +1,4 @@
-package com.sast.astbenchmark.case_language_maturity.accuracy.context_sensitive.multi_invoke;
+package com.sast.astbenchmark.case_language_maturity.accuracy.context_sensitive.multi_invoke.without_solve;
 
 import com.sast.astbenchmark.model.alias.Invoke;
 import com.sast.astbenchmark.model.alias.X;
@@ -19,10 +19,10 @@
 // evaluation information start
 // real case = true
 // evaluation item =  准确度->上下文敏感分析->多次调用
-// bind_url = accuracy/context_sensitive/multi_invoke/DifferentParamsForFunction_005_T
+// bind_url = accuracy/context_sensitive/multi_invoke/without_solve/DifferentParamsForFunction_005_T
 // evaluation information end
 @RestController
-@RequestMapping("accuracy/context_sensitive/multi_invoke")
+@RequestMapping("accuracy/context_sensitive/multi_invoke/without_solve")
 public class DifferentParamsForFunction_005_T {
     @PostMapping(value = "DifferentParamsForFunction_005_T")
     public Map<String, Object> testcase(@RequestParam String cmd) {
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/without_solve/DifferentParamsForFunction_006_F.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/without_solve/DifferentParamsForFunction_006_F.java
@@ -1,4 +1,4 @@
-package com.sast.astbenchmark.case_language_maturity.accuracy.context_sensitive.multi_invoke;
+package com.sast.astbenchmark.case_language_maturity.accuracy.context_sensitive.multi_invoke.without_solve;
 
 import com.sast.astbenchmark.model.alias.Invoke;
 import com.sast.astbenchmark.model.alias.X;
@@ -19,10 +19,10 @@
 // evaluation information start
 // real case = false
 // evaluation item =  准确度->上下文敏感分析->多次调用
-// bind_url = accuracy/context_sensitive/multi_invoke/DifferentParamsForFunction_006_F
+// bind_url = accuracy/context_sensitive/multi_invoke/without_solve/DifferentParamsForFunction_006_F
 // evaluation information end
 @RestController
-@RequestMapping("accuracy/context_sensitive/multi_invoke")
+@RequestMapping("accuracy/context_sensitive/multi_invoke/without_solve")
 public class DifferentParamsForFunction_006_F {
     @PostMapping(value = "DifferentParamsForFunction_006_F")
     public Map<String, Object> testcase(@RequestParam String cmd) {
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/without_solve/MultiCallSite_001_T.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/without_solve/MultiCallSite_001_T.java
@@ -1,4 +1,4 @@
-package com.sast.astbenchmark.case_language_maturity.accuracy.context_sensitive.multi_invoke;
+package com.sast.astbenchmark.case_language_maturity.accuracy.context_sensitive.multi_invoke.without_solve;
 
 import com.sast.astbenchmark.model.alias.Invoke;
 import org.springframework.web.bind.annotation.PostMapping;
@@ -17,10 +17,10 @@
 // evaluation information start
 // real case = true
 // evaluation item =  准确度->上下文敏感分析->多次调用
-// bind_url = accuracy/context_sensitive/multi_invoke/MultiCallSite_001_T
+// bind_url = accuracy/context_sensitive/multi_invoke/without_solve/MultiCallSite_001_T
 // evaluation information end
 @RestController
-@RequestMapping("accuracy/context_sensitive/multi_invoke")
+@RequestMapping("accuracy/context_sensitive/multi_invoke/without_solve")
 public class MultiCallSite_001_T {
     @PostMapping(value = "MultiCallSite_001_T")
     public Map<String, Object> testcase(@RequestParam String cmd1) {
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/without_solve/MultiCallSite_002_F.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/without_solve/MultiCallSite_002_F.java
@@ -1,4 +1,4 @@
-package com.sast.astbenchmark.case_language_maturity.accuracy.context_sensitive.multi_invoke;
+package com.sast.astbenchmark.case_language_maturity.accuracy.context_sensitive.multi_invoke.without_solve;
 
 import com.sast.astbenchmark.model.alias.Invoke;
 import org.springframework.web.bind.annotation.PostMapping;
@@ -17,10 +17,10 @@
 // evaluation information start
 // real case = false
 // evaluation item =  准确度->上下文敏感分析->多次调用
-// bind_url = accuracy/context_sensitive/multi_invoke/MultiCallSite_002_F
+// bind_url = accuracy/context_sensitive/multi_invoke/without_solve/MultiCallSite_002_F
 // evaluation information end
 @RestController
-@RequestMapping("accuracy/context_sensitive/multi_invoke")
+@RequestMapping("accuracy/context_sensitive/multi_invoke/without_solve")
 public class MultiCallSite_002_F {
     @PostMapping(value = "MultiCallSite_002_F")
     public Map<String, Object> testcase(@RequestParam String cmd1) {
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/without_solve/config.json b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/without_solve/config.json
@@ -4,10 +4,6 @@
       "evaluation item": "准确度->上下文敏感分析->多次调用",
       "level": "2",
       "scene_list": [
-        {
-          "compose": "DifferentParamsForFunction_001_T.java && !DifferentParamsForFunction_002_F.java",
-          "scene": "相同函数调用不同参数-scene1"
-        },
         {
           "compose": "DifferentParamsForFunction_003_T.java && !DifferentParamsForFunction_004_F.java",
           "scene": "相同函数调用不同参数-scene2"
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/flow_sensitive/asynchronous/Async_Multithreading_010_F.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/flow_sensitive/asynchronous/Async_Multithreading_010_F.java
@@ -29,7 +29,7 @@ public class Async_Multithreading_010_F {
     public Map<String, Object> testcase(@RequestParam String cmd) {
         Map<String, Object> modelMap = new HashMap<>();
         Async_Multithreading_010_F obj = new Async_Multithreading_010_F();
-
+        obj.a = cmd;
         Thread thread1 = new Thread(() -> {
             synchronized (obj) {
                 obj.a = "ls";
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/flow_sensitive/loop_stmt/init/Statement_ForStatement_005_T.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/flow_sensitive/loop_stmt/init/Statement_ForStatement_005_T.java
@@ -1,4 +1,4 @@
-package com.sast.astbenchmark.case_language_maturity.accuracy.flow_sensitive.loop_stmt;
+package com.sast.astbenchmark.case_language_maturity.accuracy.flow_sensitive.loop_stmt.init;
 
 import org.springframework.web.bind.annotation.GetMapping;
 import org.springframework.web.bind.annotation.PathVariable;
@@ -15,11 +15,11 @@
  */
 // evaluation information start
 // real case = true
-// evaluation item = 准确度->流敏感分析->循环顺序执行语句
-// bind_url = accuracy/flow_sensitive/loop_stmt/Statement_ForStatement_005_T/{cmd}
+// evaluation item = 准确度->流敏感分析->循环顺序执行语句->for-init流敏感
+// bind_url = accuracy/flow_sensitive/loop_stmt/init/Statement_ForStatement_005_T/{cmd}
 // evaluation information end
 @RestController()
-@RequestMapping("accuracy/flow_sensitive/loop_stmt")
+@RequestMapping("accuracy/flow_sensitive/loop_stmt/init")
 public class Statement_ForStatement_005_T {
     @GetMapping("Statement_ForStatement_005_T/{cmd}")
     public Map<String, Object> testcase(@PathVariable String cmd) {
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/flow_sensitive/loop_stmt/init/Statement_ForStatement_006_F.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/flow_sensitive/loop_stmt/init/Statement_ForStatement_006_F.java
@@ -1,4 +1,4 @@
-package com.sast.astbenchmark.case_language_maturity.accuracy.flow_sensitive.loop_stmt;
+package com.sast.astbenchmark.case_language_maturity.accuracy.flow_sensitive.loop_stmt.init;
 
 import org.springframework.web.bind.annotation.GetMapping;
 import org.springframework.web.bind.annotation.PathVariable;
@@ -15,11 +15,11 @@
  */
 // evaluation information start
 // real case = false
-// evaluation item = 准确度->流敏感分析->循环顺序执行语句
-// bind_url = accuracy/flow_sensitive/loop_stmt/Statement_ForStatement_006_F/{cmd}
+// evaluation item = 准确度->流敏感分析->循环顺序执行语句->for-init流敏感
+// bind_url = accuracy/flow_sensitive/loop_stmt/init/Statement_ForStatement_006_F/{cmd}
 // evaluation information end
 @RestController()
-@RequestMapping("accuracy/flow_sensitive/loop_stmt")
+@RequestMapping("accuracy/flow_sensitive/loop_stmt/init")
 public class Statement_ForStatement_006_F {
     @GetMapping("Statement_ForStatement_006_F/{cmd}")
     public Map<String, Object> testcase(@PathVariable String cmd) {
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/flow_sensitive/loop_stmt/init/config.json b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/flow_sensitive/loop_stmt/init/config.json
@@ -1,16 +1,12 @@
 {
-  "loop_stmt": [
+  "loop_stmt_init": [
     {
-      "evaluation item": "准确度->流敏感分析->循环顺序执行语句",
+      "evaluation item": "准确度->流敏感分析->循环顺序执行语句->for-init流敏感",
       "level": "2",
       "scene_list": [
         {
           "compose": "Statement_ForStatement_005_T.java && !Statement_ForStatement_006_F.java",
           "scene": "for-init流敏感"
-        },
-        {
-          "compose": "Statement_ForStatement_007_T.java && !Statement_ForStatement_008_F.java",
-          "scene": "for-update流敏感"
         }
       ]
     }
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/flow_sensitive/loop_stmt/update/Statement_ForStatement_007_T.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/flow_sensitive/loop_stmt/update/Statement_ForStatement_007_T.java
@@ -1,4 +1,4 @@
-package com.sast.astbenchmark.case_language_maturity.accuracy.flow_sensitive.loop_stmt;
+package com.sast.astbenchmark.case_language_maturity.accuracy.flow_sensitive.loop_stmt.update;
 
 import org.springframework.web.bind.annotation.GetMapping;
 import org.springframework.web.bind.annotation.PathVariable;
@@ -9,25 +9,25 @@
 import java.util.Map;
 
 /**
- * Introduction 准确度->流敏感分析->循环顺序执行语句->for-update流敏感
- * Level 2
+ * Introduction 准确度->流敏感分析->循环顺序执行语句->for-update条件求解
+ * Level 4
  * Date 2024-11-10
  */
 // evaluation information start
 // real case = true
-// evaluation item = 准确度->流敏感分析->循环顺序执行语句
-// bind_url = accuracy/flow_sensitive/loop_stmt/Statement_ForStatement_007_T/{cmd}
+// evaluation item = 准确度->流敏感分析->循环顺序执行语句->for-update条件求解
+// bind_url = accuracy/flow_sensitive/loop_stmt/update/Statement_ForStatement_007_T/{cmd}
 // evaluation information end
 @RestController()
-@RequestMapping("accuracy/flow_sensitive/loop_stmt")
+@RequestMapping("accuracy/flow_sensitive/loop_stmt/update")
 public class Statement_ForStatement_007_T {
     @GetMapping("Statement_ForStatement_007_T/{cmd}")
     public Map<String, Object> testcase(@PathVariable String cmd) {
         Map<String, Object> modelMap = new HashMap<>();
         try {
             String a = "mkdir";
-            for (int i = 0; i < 1; Runtime.getRuntime().exec(a)) {
-                a = cmd + "|";
+            for (int i = 0; i < 2; a = cmd + "|") {
+                Runtime.getRuntime().exec(a);
                 i++;
             }
             modelMap.put("status", "success");
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/flow_sensitive/loop_stmt/update/Statement_ForStatement_008_F.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/flow_sensitive/loop_stmt/update/Statement_ForStatement_008_F.java
@@ -1,4 +1,4 @@
-package com.sast.astbenchmark.case_language_maturity.accuracy.flow_sensitive.loop_stmt;
+package com.sast.astbenchmark.case_language_maturity.accuracy.flow_sensitive.loop_stmt.update;
 
 import org.springframework.web.bind.annotation.GetMapping;
 import org.springframework.web.bind.annotation.PathVariable;
@@ -9,17 +9,17 @@
 import java.util.Map;
 
 /**
- * Introduction 准确度->流敏感分析->循环顺序执行语句->for-update流敏感
- * Level 2
+ * Introduction 准确度->流敏感分析->循环顺序执行语句->for-update条件求解
+ * Level 4
  * Date 2024-11-10
  */
 // evaluation information start
 // real case = false
-// evaluation item = 准确度->流敏感分析->循环顺序执行语句
-// bind_url = accuracy/flow_sensitive/loop_stmt/Statement_ForStatement_008_F/{cmd}
+// evaluation item = 准确度->流敏感分析->循环顺序执行语句->for-update条件求解
+// bind_url = accuracy/flow_sensitive/loop_stmt/update/Statement_ForStatement_008_F/{cmd}
 // evaluation information end
 @RestController()
-@RequestMapping("accuracy/flow_sensitive/loop_stmt")
+@RequestMapping("accuracy/flow_sensitive/loop_stmt/update")
 public class Statement_ForStatement_008_F {
     @GetMapping("Statement_ForStatement_008_F/{cmd}")
     public Map<String, Object> testcase(@PathVariable String cmd) {
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/flow_sensitive/loop_stmt/update/config.json b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/flow_sensitive/loop_stmt/update/config.json
@@ -0,0 +1,14 @@
+{
+  "loop_stmt_update": [
+    {
+      "evaluation item": "准确度->流敏感分析->循环顺序执行语句->for-update条件求解",
+      "level": "4",
+      "scene_list": [
+        {
+          "compose": "Statement_ForStatement_007_T.java && !Statement_ForStatement_008_F.java",
+          "scene": "for-update流敏感"
+        }
+      ]
+    }
+  ]
+}
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/path_sensitive/loop_conditional_stmt/solver/Expression_InstanceofExpression_003_T.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/path_sensitive/loop_conditional_stmt/solver/Expression_InstanceofExpression_003_T.java
@@ -10,7 +10,7 @@
 
 /**
  * Introduction 准确度->路径敏感分析->条件语句、条件表达式和循环结构->能够对上下文条件进行求解，以区分不同执行路径的状态->instanceof表达式-null
- * Level 3
+ * Level 4
  * Date 2024-09-18
  */
 // evaluation information start
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/path_sensitive/loop_conditional_stmt/solver/Expression_InstanceofExpression_004_F.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/path_sensitive/loop_conditional_stmt/solver/Expression_InstanceofExpression_004_F.java
@@ -10,7 +10,7 @@
 
 /**
  * Introduction 准确度->路径敏感分析->条件语句、条件表达式和循环结构->能够对上下文条件进行求解，以区分不同执行路径的状态->instanceof表达式-null
- * Level 3
+ * Level 4
  * Date 2024-09-18
  */
 // evaluation information start
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/path_sensitive/loop_conditional_stmt/solver/Expression_InstanceofExpression_005_T.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/path_sensitive/loop_conditional_stmt/solver/Expression_InstanceofExpression_005_T.java
@@ -10,7 +10,7 @@
 
 /**
  * Introduction 准确度->路径敏感分析->条件语句、条件表达式和循环结构->能够对上下文条件进行求解，以区分不同执行路径的状态->instanceof表达式-Object
- * Level 3
+ * Level 4
  * Date 2024-09-18
  */
 // evaluation information start
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/path_sensitive/loop_conditional_stmt/solver/Expression_InstanceofExpression_006_F.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/path_sensitive/loop_conditional_stmt/solver/Expression_InstanceofExpression_006_F.java
@@ -10,7 +10,7 @@
 
 /**
  * Introduction 准确度->路径敏感分析->条件语句、条件表达式和循环结构->能够对上下文条件进行求解，以区分不同执行路径的状态->instanceof表达式-Object
- * Level 3
+ * Level 4
  * Date 2024-09-18
  */
 // evaluation information start
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/path_sensitive/loop_conditional_stmt/solver/Statement_AssertStatement_004_F.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/path_sensitive/loop_conditional_stmt/solver/Statement_AssertStatement_004_F.java
@@ -10,7 +10,7 @@
 
 /**
  * Introduction 准确度->路径敏感分析->条件语句、条件表达式和循环结构->能够对上下文条件进行求解，以区分不同执行路径的状态->assert语句-条件不成立
- * Level 3
+ * Level 4
  * Date 2024-09-18
  */
 // evaluation information start
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/path_sensitive/loop_conditional_stmt/solver/Statement_AssertStatement_005_T.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/path_sensitive/loop_conditional_stmt/solver/Statement_AssertStatement_005_T.java
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/path_sensitive/loop_conditional_stmt/solver/Statement_AssertStatement_006_F.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/path_sensitive/loop_conditional_stmt/solver/Statement_AssertStatement_006_F.java
diff --git a/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/completeness/single_app_tracing/control_flow/conditional_stmt/Statement_SwitchStatement_002_F.java b/sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/completeness/single_app_tracing/control_flow/conditional_stmt/Statement_SwitchStatement_002_F.java
