Abstract-I detta papper presenterar vi MAYHEM, ett nytt system för att automatiskt hitta exploaterbara buggar i binära (dvs. körbara) program. Varje bugg som rapporteras av MAYHEM åtföljs av en fungerande skalpjäs. Arbetet utnyttjar säkerställa sundhet och att varje felrapport är säkerhetskritisk och åtgärdbar. MAYHEM fungerar på rå binär kod utan felsökning information. För att göra exploatering möjlig på binär nivå, MAYHEM hanterar två stora tekniska utmaningar: aktivt hantera körningsvägar utan utmattande minne, och resonemang om symboliska minnesindex, där en belastning eller en butiksadress beror på användarens inmatning. I detta syfte föreslår vi två nya tekniker: 1) hybrid symbolisk exekvering för att kombinera online och offline (konkolisk) exekvering för att maximera fördelarna med båda teknikerna, och 2) indexbaserad minnesmodellering, en teknik som tillåter MAJHEM att effektivt resonera om symboliskt minne på binär nivå. Vi använde MAYHEM för att hitta och demonstrera 29 exploaterbara sårbarheter i både Linux- och Windows-program, varav 2 tidigare var odokumenterade.
Mayhem REF är en symbolisk exekvering motor som syftar till att hitta säkerhetssårbarheter i binärer.
Unleashing Mayhem on Binary Code
{'venue': '2012 IEEE Symposium on Security and Privacy', 'journal': '2012 IEEE Symposium on Security and Privacy', 'mag_field_of_study': ['Computer Science']}