tobast/phd-thesis
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Remove Monte-Carlo

Browse source
This commit is contained in:
Théophile Bastian 2024-06-22 16:43:06 +02:00
parent 71c2a985d2
commit 03e3e949e6
1 changed files with 1 additions and 1 deletions

2
manuscrit/60_staticdeps/40_staticdeps.tex
View file

@ -86,7 +86,7 @@ dependencies detections.
\medskip{} \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 may yield false positives: two registers could theoretically be assigned the
same value sampled at random, making them aliasing addresses. This is, however, 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 very improbable, as values are sampled from a set of cardinality $2^{64}$. If