diff --git a/analyzers/rspec/cs/S2053.json b/analyzers/rspec/cs/S2053.json
index 298542a3930..30555947338 100644
--- a/analyzers/rspec/cs/S2053.json
+++ b/analyzers/rspec/cs/S2053.json
@@ -13,7 +13,8 @@
     "constantCost": "30min"
   },
   "tags": [
-    "cwe"
+    "cwe",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Critical",
   "ruleSpecification": "RSPEC-2053",
diff --git a/analyzers/rspec/cs/S2222.json b/analyzers/rspec/cs/S2222.json
index b02a6bdc359..00a41c06e40 100644
--- a/analyzers/rspec/cs/S2222.json
+++ b/analyzers/rspec/cs/S2222.json
@@ -14,7 +14,8 @@
   },
   "tags": [
     "cwe",
-    "multi-threading"
+    "multi-threading",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Critical",
   "ruleSpecification": "RSPEC-2222",
diff --git a/analyzers/rspec/cs/S2259.json b/analyzers/rspec/cs/S2259.json
index 4deff6fdda8..7023c99ea86 100644
--- a/analyzers/rspec/cs/S2259.json
+++ b/analyzers/rspec/cs/S2259.json
@@ -13,7 +13,8 @@
     "constantCost": "10min"
   },
   "tags": [
-    "cwe"
+    "cwe",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-2259",
diff --git a/analyzers/rspec/cs/S2583.json b/analyzers/rspec/cs/S2583.json
index c0cf516a4cc..bacf3bfe2b8 100644
--- a/analyzers/rspec/cs/S2583.json
+++ b/analyzers/rspec/cs/S2583.json
@@ -16,7 +16,8 @@
     "cwe",
     "unused",
     "suspicious",
-    "pitfall"
+    "pitfall",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-2583",
diff --git a/analyzers/rspec/cs/S2589.json b/analyzers/rspec/cs/S2589.json
index 3b655f4974f..7d4f2978b40 100644
--- a/analyzers/rspec/cs/S2589.json
+++ b/analyzers/rspec/cs/S2589.json
@@ -15,7 +15,8 @@
   "tags": [
     "cwe",
     "suspicious",
-    "redundant"
+    "redundant",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-2589",
diff --git a/analyzers/rspec/cs/S3329.json b/analyzers/rspec/cs/S3329.json
index 904f505fb69..c86c803d25c 100644
--- a/analyzers/rspec/cs/S3329.json
+++ b/analyzers/rspec/cs/S3329.json
@@ -13,7 +13,8 @@
     "constantCost": "15min"
   },
   "tags": [
-    "cwe"
+    "cwe",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Critical",
   "ruleSpecification": "RSPEC-3329",
diff --git a/analyzers/rspec/cs/S3655.json b/analyzers/rspec/cs/S3655.json
index cff77c2c8af..fe36eb89c49 100644
--- a/analyzers/rspec/cs/S3655.json
+++ b/analyzers/rspec/cs/S3655.json
@@ -13,7 +13,8 @@
     "constantCost": "10min"
   },
   "tags": [
-    "cwe"
+    "cwe",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-3655",
diff --git a/analyzers/rspec/cs/S3900.json b/analyzers/rspec/cs/S3900.json
index 00af8505cc1..288085b478a 100644
--- a/analyzers/rspec/cs/S3900.json
+++ b/analyzers/rspec/cs/S3900.json
@@ -13,7 +13,8 @@
     "constantCost": "5min"
   },
   "tags": [
-    "convention"
+    "convention",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-3900",
diff --git a/analyzers/rspec/cs/S3949.json b/analyzers/rspec/cs/S3949.json
index e34b53adf97..9f35b920af2 100644
--- a/analyzers/rspec/cs/S3949.json
+++ b/analyzers/rspec/cs/S3949.json
@@ -13,7 +13,8 @@
     "constantCost": "5min"
   },
   "tags": [
-    "overflow"
+    "overflow",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-3949",
diff --git a/analyzers/rspec/cs/S3966.json b/analyzers/rspec/cs/S3966.json
index acb00521f1d..3412609dea9 100644
--- a/analyzers/rspec/cs/S3966.json
+++ b/analyzers/rspec/cs/S3966.json
@@ -14,7 +14,8 @@
   },
   "tags": [
     "confusing",
-    "pitfall"
+    "pitfall",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-3966",
diff --git a/analyzers/rspec/cs/S4158.json b/analyzers/rspec/cs/S4158.json
index 1f0c2e90a77..23670f185f3 100644
--- a/analyzers/rspec/cs/S4158.json
+++ b/analyzers/rspec/cs/S4158.json
@@ -12,7 +12,9 @@
     "func": "Constant\/Issue",
     "constantCost": "15min"
   },
-  "tags": [],
+  "tags": [
+    "symbolic-execution"
+  ],
   "defaultSeverity": "Minor",
   "ruleSpecification": "RSPEC-4158",
   "sqKey": "S4158",
diff --git a/analyzers/rspec/cs/S4347.json b/analyzers/rspec/cs/S4347.json
index 01a0c6160e3..ed4bc404d95 100644
--- a/analyzers/rspec/cs/S4347.json
+++ b/analyzers/rspec/cs/S4347.json
@@ -14,7 +14,8 @@
   },
   "tags": [
     "cwe",
-    "pitfall"
+    "pitfall",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Critical",
   "ruleSpecification": "RSPEC-4347",
diff --git a/analyzers/rspec/cs/S5773.json b/analyzers/rspec/cs/S5773.json
index bf034aae22b..2749ff7a8e8 100644
--- a/analyzers/rspec/cs/S5773.json
+++ b/analyzers/rspec/cs/S5773.json
@@ -14,7 +14,8 @@
     "constantCost": "30min"
   },
   "tags": [
-    "cwe"
+    "cwe",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-5773",
diff --git a/analyzers/rspec/cs/S6781.json b/analyzers/rspec/cs/S6781.json
index d0c729cd6bb..8002144f7ca 100644
--- a/analyzers/rspec/cs/S6781.json
+++ b/analyzers/rspec/cs/S6781.json
@@ -13,7 +13,8 @@
     "constantCost": "30min"
   },
   "tags": [
-    "cwe"
+    "cwe",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Blocker",
   "ruleSpecification": "RSPEC-6781",
diff --git a/analyzers/rspec/cs/S7130.json b/analyzers/rspec/cs/S7130.json
index ef362e72460..5303cc43062 100644
--- a/analyzers/rspec/cs/S7130.json
+++ b/analyzers/rspec/cs/S7130.json
@@ -6,7 +6,9 @@
     "func": "Constant\/Issue",
     "constantCost": "1min"
   },
-  "tags": [],
+  "tags": [
+    "symbolic-execution"
+  ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-7130",
   "sqKey": "S7130",
diff --git a/analyzers/rspec/cs/S7131.json b/analyzers/rspec/cs/S7131.json
index 8a3064781d2..f28a35495df 100644
--- a/analyzers/rspec/cs/S7131.json
+++ b/analyzers/rspec/cs/S7131.json
@@ -6,7 +6,9 @@
     "func": "Constant\/Issue",
     "constantCost": "30min"
   },
-  "tags": [],
+  "tags": [
+    "symbolic-execution"
+  ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-7131",
   "sqKey": "S7131",
diff --git a/analyzers/rspec/cs/S7133.json b/analyzers/rspec/cs/S7133.json
index 5b0fe69664b..72f1643e74c 100644
--- a/analyzers/rspec/cs/S7133.json
+++ b/analyzers/rspec/cs/S7133.json
@@ -6,7 +6,9 @@
     "func": "Constant\/Issue",
     "constantCost": "5min"
   },
-  "tags": [],
+  "tags": [
+    "symbolic-execution"
+  ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-7133",
   "sqKey": "S7133",
diff --git a/analyzers/rspec/vbnet/S2053.json b/analyzers/rspec/vbnet/S2053.json
index 298542a3930..30555947338 100644
--- a/analyzers/rspec/vbnet/S2053.json
+++ b/analyzers/rspec/vbnet/S2053.json
@@ -13,7 +13,8 @@
     "constantCost": "30min"
   },
   "tags": [
-    "cwe"
+    "cwe",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Critical",
   "ruleSpecification": "RSPEC-2053",
diff --git a/analyzers/rspec/vbnet/S2222.json b/analyzers/rspec/vbnet/S2222.json
index b02a6bdc359..00a41c06e40 100644
--- a/analyzers/rspec/vbnet/S2222.json
+++ b/analyzers/rspec/vbnet/S2222.json
@@ -14,7 +14,8 @@
   },
   "tags": [
     "cwe",
-    "multi-threading"
+    "multi-threading",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Critical",
   "ruleSpecification": "RSPEC-2222",
diff --git a/analyzers/rspec/vbnet/S2259.json b/analyzers/rspec/vbnet/S2259.json
index 4deff6fdda8..7023c99ea86 100644
--- a/analyzers/rspec/vbnet/S2259.json
+++ b/analyzers/rspec/vbnet/S2259.json
@@ -13,7 +13,8 @@
     "constantCost": "10min"
   },
   "tags": [
-    "cwe"
+    "cwe",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-2259",
diff --git a/analyzers/rspec/vbnet/S2583.json b/analyzers/rspec/vbnet/S2583.json
index c0cf516a4cc..bacf3bfe2b8 100644
--- a/analyzers/rspec/vbnet/S2583.json
+++ b/analyzers/rspec/vbnet/S2583.json
@@ -16,7 +16,8 @@
     "cwe",
     "unused",
     "suspicious",
-    "pitfall"
+    "pitfall",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-2583",
diff --git a/analyzers/rspec/vbnet/S2589.json b/analyzers/rspec/vbnet/S2589.json
index 2ef13c9d15b..4e5947b5834 100644
--- a/analyzers/rspec/vbnet/S2589.json
+++ b/analyzers/rspec/vbnet/S2589.json
@@ -15,7 +15,8 @@
   "tags": [
     "cwe",
     "suspicious",
-    "redundant"
+    "redundant",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-2589",
diff --git a/analyzers/rspec/vbnet/S3329.json b/analyzers/rspec/vbnet/S3329.json
index 904f505fb69..c86c803d25c 100644
--- a/analyzers/rspec/vbnet/S3329.json
+++ b/analyzers/rspec/vbnet/S3329.json
@@ -13,7 +13,8 @@
     "constantCost": "15min"
   },
   "tags": [
-    "cwe"
+    "cwe",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Critical",
   "ruleSpecification": "RSPEC-3329",
diff --git a/analyzers/rspec/vbnet/S3655.json b/analyzers/rspec/vbnet/S3655.json
index cff77c2c8af..fe36eb89c49 100644
--- a/analyzers/rspec/vbnet/S3655.json
+++ b/analyzers/rspec/vbnet/S3655.json
@@ -13,7 +13,8 @@
     "constantCost": "10min"
   },
   "tags": [
-    "cwe"
+    "cwe",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-3655",
diff --git a/analyzers/rspec/vbnet/S3900.json b/analyzers/rspec/vbnet/S3900.json
index 5d461ba85c7..4711cc6e2d8 100644
--- a/analyzers/rspec/vbnet/S3900.json
+++ b/analyzers/rspec/vbnet/S3900.json
@@ -13,7 +13,8 @@
     "constantCost": "5min"
   },
   "tags": [
-    "convention"
+    "convention",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-3900",
diff --git a/analyzers/rspec/vbnet/S3949.json b/analyzers/rspec/vbnet/S3949.json
index e34b53adf97..9f35b920af2 100644
--- a/analyzers/rspec/vbnet/S3949.json
+++ b/analyzers/rspec/vbnet/S3949.json
@@ -13,7 +13,8 @@
     "constantCost": "5min"
   },
   "tags": [
-    "overflow"
+    "overflow",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-3949",
diff --git a/analyzers/rspec/vbnet/S3966.json b/analyzers/rspec/vbnet/S3966.json
index acb00521f1d..3412609dea9 100644
--- a/analyzers/rspec/vbnet/S3966.json
+++ b/analyzers/rspec/vbnet/S3966.json
@@ -14,7 +14,8 @@
   },
   "tags": [
     "confusing",
-    "pitfall"
+    "pitfall",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-3966",
diff --git a/analyzers/rspec/vbnet/S4158.json b/analyzers/rspec/vbnet/S4158.json
index 1f0c2e90a77..23670f185f3 100644
--- a/analyzers/rspec/vbnet/S4158.json
+++ b/analyzers/rspec/vbnet/S4158.json
@@ -12,7 +12,9 @@
     "func": "Constant\/Issue",
     "constantCost": "15min"
   },
-  "tags": [],
+  "tags": [
+    "symbolic-execution"
+  ],
   "defaultSeverity": "Minor",
   "ruleSpecification": "RSPEC-4158",
   "sqKey": "S4158",
diff --git a/analyzers/rspec/vbnet/S5773.json b/analyzers/rspec/vbnet/S5773.json
index bf034aae22b..2749ff7a8e8 100644
--- a/analyzers/rspec/vbnet/S5773.json
+++ b/analyzers/rspec/vbnet/S5773.json
@@ -14,7 +14,8 @@
     "constantCost": "30min"
   },
   "tags": [
-    "cwe"
+    "cwe",
+    "symbolic-execution"
   ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-5773",
diff --git a/analyzers/rspec/vbnet/S7130.json b/analyzers/rspec/vbnet/S7130.json
index ef362e72460..5303cc43062 100644
--- a/analyzers/rspec/vbnet/S7130.json
+++ b/analyzers/rspec/vbnet/S7130.json
@@ -6,7 +6,9 @@
     "func": "Constant\/Issue",
     "constantCost": "1min"
   },
-  "tags": [],
+  "tags": [
+    "symbolic-execution"
+  ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-7130",
   "sqKey": "S7130",
diff --git a/analyzers/rspec/vbnet/S7131.json b/analyzers/rspec/vbnet/S7131.json
index 8a3064781d2..f28a35495df 100644
--- a/analyzers/rspec/vbnet/S7131.json
+++ b/analyzers/rspec/vbnet/S7131.json
@@ -6,7 +6,9 @@
     "func": "Constant\/Issue",
     "constantCost": "30min"
   },
-  "tags": [],
+  "tags": [
+    "symbolic-execution"
+  ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-7131",
   "sqKey": "S7131",
diff --git a/analyzers/rspec/vbnet/S7133.json b/analyzers/rspec/vbnet/S7133.json
index 5b0fe69664b..72f1643e74c 100644
--- a/analyzers/rspec/vbnet/S7133.json
+++ b/analyzers/rspec/vbnet/S7133.json
@@ -6,7 +6,9 @@
     "func": "Constant\/Issue",
     "constantCost": "5min"
   },
-  "tags": [],
+  "tags": [
+    "symbolic-execution"
+  ],
   "defaultSeverity": "Major",
   "ruleSpecification": "RSPEC-7133",
   "sqKey": "S7133",
diff --git a/analyzers/rspec/vbnet/Sonar_way_profile.json b/analyzers/rspec/vbnet/Sonar_way_profile.json
index 22df607f2e4..6307f8199ea 100644
--- a/analyzers/rspec/vbnet/Sonar_way_profile.json
+++ b/analyzers/rspec/vbnet/Sonar_way_profile.json
@@ -23,7 +23,6 @@
     "S1172",
     "S1186",
     "S1192",
-    "S1197",
     "S1313",
     "S1479",
     "S1481",
diff --git a/analyzers/src/SonarAnalyzer.CSharp/sonarpedia.json b/analyzers/src/SonarAnalyzer.CSharp/sonarpedia.json
index 369e62c3744..d6ed7d8c834 100644
--- a/analyzers/src/SonarAnalyzer.CSharp/sonarpedia.json
+++ b/analyzers/src/SonarAnalyzer.CSharp/sonarpedia.json
@@ -3,7 +3,7 @@
   "languages": [
     "CSH"
   ],
-  "latest-update": "2025-01-10T09:51:03.242945Z",
+  "latest-update": "2025-01-28T15:19:07.499237500Z",
   "options": {
     "no-language-in-filenames": true
   }
diff --git a/analyzers/src/SonarAnalyzer.VisualBasic/sonarpedia.json b/analyzers/src/SonarAnalyzer.VisualBasic/sonarpedia.json
index 8bc33e631f8..0ecc6e103bd 100644
--- a/analyzers/src/SonarAnalyzer.VisualBasic/sonarpedia.json
+++ b/analyzers/src/SonarAnalyzer.VisualBasic/sonarpedia.json
@@ -3,7 +3,7 @@
   "languages": [
     "VBNET"
   ],
-  "latest-update": "2025-01-09T10:46:59.878140300Z",
+  "latest-update": "2025-01-28T15:22:46.290683900Z",
   "options": {
     "no-language-in-filenames": true
   }