offensive Symbolic Execution: un approccio alternativo al bruteforce per il Password cracking Utilizzeremo angr, un toolkit per l'analisi dei binari, scritto in Python. Angr permette di svolgere l'esecuzione simbolica dinamica dei binari, oltre a varie analisi statiche.
