I cam across this term called Satisfiability Modulo Theories which when i googled it was something that is related to various theories on low level languages ? How does this help in discovering 0days? i also saw people using something called " Z3 solver" could somebody give a shorter explaination of what this is ?
Aucun commentaire:
Enregistrer un commentaire