From 550f886977e46c6b8cc8493068d6e83e4dbb6816 Mon Sep 17 00:00:00 2001
From: Jean-Marie Mineau <jean-marie.mineau@inria.fr>
Date: Tue, 7 Oct 2025 14:21:18 +0200
Subject: [PATCH] add xp results

---
 5_theseus/X_var.typ                     |  3 ++
 5_theseus/data/performance_results.json | 38 +++++++++++++++++++++++++
 2 files changed, 41 insertions(+)
 create mode 100644 5_theseus/data/performance_results.json

diff --git a/5_theseus/X_var.typ b/5_theseus/X_var.typ
index 41c877b..51beaf9 100644
--- a/5_theseus/X_var.typ
+++ b/5_theseus/X_var.typ
@@ -119,3 +119,6 @@ F34CE1E7A81F935A5BB2D0B2B3FE81E62C1C8B906C92253C9CA467DA9BB3C9D1,704095,706576,2
 #let nb_google = bytecode_hashes.filter((e) => "google" in e.at(2)).map((e) => e.at(0)).sum()
 #let nb_facebook = bytecode_hashes.filter((e) => "facebook" in e.at(2)).map((e) => e.at(0)).sum()
 #let nb_appsflyer = bytecode_hashes.filter((e) => "appsflyer" in e.at(2)).map((e) => e.at(0)).sum()
+
+
+#let performance_results = json("./data/performance_results.json")
diff --git a/5_theseus/data/performance_results.json b/5_theseus/data/performance_results.json
new file mode 100644
index 0000000..5d51c89
--- /dev/null
+++ b/5_theseus/data/performance_results.json
@@ -0,0 +1,38 @@
+{
+  "androscalpel": {
+    "read": {
+      "cumulative_time": 438.4299999999998,
+      "cumulative_mem": 58026844,
+      "nb_results": 100
+    },
+    "write": {
+      "cumulative_time": 2013.3000000000002,
+      "cumulative_mem": 117539104,
+      "nb_results": 99
+    }
+  },
+  "soot": {
+    "read": {
+      "cumulative_time": 7395.499999999999,
+      "cumulative_mem": 233476236,
+      "nb_results": 100
+    },
+    "write": {
+      "cumulative_time": 14092.539999999999,
+      "cumulative_mem": 362160516,
+      "nb_results": 90
+    }
+  },
+  "apktool": {
+    "read": {
+      "cumulative_time": 3308.8900000000012,
+      "cumulative_mem": 138020736,
+      "nb_results": 100
+    },
+    "write": {
+      "cumulative_time": 3994.8299999999995,
+      "cumulative_mem": 179002824,
+      "nb_results": 96
+    }
+  }
+}