altf4 / altf4/untwister

Support for XorShift128+

Ouverte
#40 1 commentaire 1 réaction 0 personnes assignées Voir sur GitHub
Langage dominant
C++
Étoiles
390
Forks
40
Métriques de merge des PR
Aucune PR mergée en 30 j

Description

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?

#

Guide de contribution

Aucun guide de contribution indexé pour ce dépôt

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.