untwister icon indicating copy to clipboard operation
untwister copied to clipboard

Support for XorShift128+

Open vegax87 opened this issue 7 years ago • 1 comments

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?

vegax87 avatar Mar 16 '17 20:03 vegax87