Add assert to the RuntimeAssistedMutator RNG

googleprojectzero · Oct 17, 2023 · 79c7778 · 79c7778
1 parent 7ccd3e8
commit 79c7778
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Sources/Fuzzilli/Lifting/JavaScriptRuntimeAssistedMutatorLifting.swift b/Sources/Fuzzilli/Lifting/JavaScriptRuntimeAssistedMutatorLifting.swift
@@ -78,6 +78,7 @@ struct JavaScriptRuntimeAssistedMutatorLifting {
             }
             randomInt() {
                 this.x = (this.x * this.a + this.c) % this.m;
+                if (!isInteger(this.x)) throw "RNG state is not an Integer!"
                 return this.x;
             }
             randomFloat() {
@@ -86,7 +87,6 @@ struct JavaScriptRuntimeAssistedMutatorLifting {
             probability(p) {
                 return this.randomFloat() < p;
             }
-
             reseed(seed) {
                 this.x = seed;
             }