From 03e3e949e6bfd0040ef11fd543e8d54986f7d295 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= <contact@tobast.fr>
Date: Sat, 22 Jun 2024 16:43:06 +0200
Subject: [PATCH] Remove Monte-Carlo

---
 manuscrit/60_staticdeps/40_staticdeps.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manuscrit/60_staticdeps/40_staticdeps.tex b/manuscrit/60_staticdeps/40_staticdeps.tex
index 0493e20..f1a5505 100644
--- a/manuscrit/60_staticdeps/40_staticdeps.tex
+++ b/manuscrit/60_staticdeps/40_staticdeps.tex
@@ -86,7 +86,7 @@ dependencies detections.
 
 \medskip{}
 
-As \staticdeps{}'s heuristic is based on randomness in a Monte Carlo sense, it
+Given how \staticdeps{}'s heuristic is based on randomness, it
 may yield false positives: two registers could theoretically be assigned the
 same value sampled at random, making them aliasing addresses. This is, however,
 very improbable, as values are sampled from a set of cardinality $2^{64}$. If