Automated vulnerability auditing in machine code · HackerTrans