Curry250211 (#129)

* update solver ex

Author: curryooo

…ve/multi_invoke/HeapAllocSite_001_T.java …ke/DifferentParamsForFunction_005_T.javasast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/HeapAllocSite_001_T.java renamed to sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/DifferentParamsForFunction_005_T.java sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/HeapAllocSite_001_T.java renamed to sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/DifferentParamsForFunction_005_T.java

@@ -19,12 +19,12 @@
 // evaluation information start
 // real case = true
 // evaluation item =  准确度->上下文敏感分析->多次调用
-// bind_url = accuracy/context_sensitive/multi_invoke/HeapAllocSite_001_T
+// bind_url = accuracy/context_sensitive/multi_invoke/DifferentParamsForFunction_005_T
 // evaluation information end
 @RestController
 @RequestMapping("accuracy/context_sensitive/multi_invoke")
-public class HeapAllocSite_001_T {
-    @PostMapping(value = "HeapAllocSite_001_T")
+public class DifferentParamsForFunction_005_T {
+    @PostMapping(value = "DifferentParamsForFunction_005_T")
     public Map<String, Object> testcase(@RequestParam String cmd) {
         Map<String, Object> modelMap = new HashMap<>();
         try {

…ve/multi_invoke/HeapAllocSite_002_F.java …ke/DifferentParamsForFunction_006_F.javasast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/HeapAllocSite_002_F.java renamed to sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/DifferentParamsForFunction_006_F.java sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/HeapAllocSite_002_F.java renamed to sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/DifferentParamsForFunction_006_F.java

@@ -19,12 +19,12 @@
 // evaluation information start
 // real case = false
 // evaluation item =  准确度->上下文敏感分析->多次调用
-// bind_url = accuracy/context_sensitive/multi_invoke/HeapAllocSite_002_F
+// bind_url = accuracy/context_sensitive/multi_invoke/DifferentParamsForFunction_006_F
 // evaluation information end
 @RestController
 @RequestMapping("accuracy/context_sensitive/multi_invoke")
-public class HeapAllocSite_002_F {
-    @PostMapping(value = "HeapAllocSite_002_F")
+public class DifferentParamsForFunction_006_F {
+    @PostMapping(value = "DifferentParamsForFunction_006_F")
     public Map<String, Object> testcase(@RequestParam String cmd) {
         Map<String, Object> modelMap = new HashMap<>();
         try {

sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/context_sensitive/multi_invoke/config.json

@@ -13,7 +13,7 @@
           "scene": "相同函数调用不同参数-scene2"
         },
         {
-          "compose": "HeapAllocSite_001_T.java && !HeapAllocSite_002_F.java",
+          "compose": "DifferentParamsForFunction_005_T.java && !DifferentParamsForFunction_006_F.java",
           "scene": "HeapAllocSite"
         },
         {

sast-java/src/main/java/com/sast/astbenchmark/case_language_maturity/accuracy/path_sensitive/loop_conditional_stmt/solver/Statement_WhileStatement_003_T.java

@@ -10,13 +10,13 @@
 import java.util.Map;
 
 /**
- * Introduction 准确度->路径敏感分析->条件语句、条件表达式和循环结构->准确度->路径敏感分析->条件语句、条件表达式和循环结构->能够对上下文条件进行求解，以区分不同执行路径的状态->循环语句->while
+ * Introduction 准确度->路径敏感分析->条件语句、条件表达式和循环结构->能够对上下文条件进行求解，以区分不同执行路径的状态->循环语句->while
  * Level 3
  * Date 2024-11-10
  */
 // evaluation information start
 // real case = true
-// evaluation item = 准确度->路径敏感分析->条件语句、条件表达式和循环结构->准确度->路径敏感分析->条件语句、条件表达式和循环结构->能够对上下文条件进行求解，以区分不同执行路径的状态
+// evaluation item = 准确度->路径敏感分析->条件语句、条件表达式和循环结构->能够对上下文条件进行求解，以区分不同执行路径的状态
 // bind_url = accuracy/path_sensitive/loop_conditional_stmt/solver/Statement_WhileStatement_003_T/{type}/{cmd}
 // evaluation information end
 @RestController()