untwister
untwister copied to clipboard
Support for XorShift128+
Recently, the Xorshift128+ algorithm widely used in V8 Javascript Engine has been reverse-engineered with Z3 Theorem Prover. There are a few examples like this blog article: https://blog.securityevaluators.com/hacking-the-javascript-lottery-80cc437e3b7f and https://github.com/steven200796/xorshift128plus_exploit Could you port it to untwister?