From 5a4504592ccabe9ec779f16d4bd23d7c193d66e3 Mon Sep 17 00:00:00 2001
From: Jean-Marie Mineau <jean-marie.mineau@inria.fr>
Date: Wed, 23 Apr 2025 09:55:23 +0200
Subject: [PATCH] fix sanitization for dot

---
 androscalpel/src/code_analysis/method_cfg.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/androscalpel/src/code_analysis/method_cfg.rs b/androscalpel/src/code_analysis/method_cfg.rs
index 7c882c3..1b4333d 100644
--- a/androscalpel/src/code_analysis/method_cfg.rs
+++ b/androscalpel/src/code_analysis/method_cfg.rs
@@ -248,6 +248,7 @@ impl<'a> MethodCFG<'a> {
             .replace("-", "_")
             .replace("(", "_")
             .replace(")", "_")
+            .replace("[", "T")
     }
 
     // method call: cluster_{mth}:node_{i}:i{j}:e -> cluster_{mth2}:n ?