Using z3 to predict `Math.random` in v8. Contribute to PwnFunction/v8-randomness-predictor development by creating an account on GitHub.