GitHub repository: n-devs/v8-randomness-predictor
Description: Using z3 to predict `Math.random` in v8