Abstrakt. Det finns ett växande intresse för att analysera körbara filer för att leta efter buggar och säkerhetssårbarheter. Denna uppsats beskriver utformningen och genomförandet av ett språk för att beskriva semantik av en instruktion set, tillsammans med ett körtidssystem för att stödja den statiska analysen av körbara som skrivits i denna instruktion set. Arbetet går vidare med konstens tillstånd genom att skapa flera analysfaser från en specifikation av de konkreta operationella semantiken i det språk som ska analyseras. Genom att utnyttja denna kraftfulla infrastruktur för att skapa analyskomponenter, kommer det att vara möjligt att nyligen utvecklade analystekniker för att analysera körbara att tillämpas mer allmänt, att köras skrivna i en mängd olika instruktioner uppsättningar.
Lim och Reps REF utvecklade till exempel ett språk som kallas TSL för att beskriva semantiken i en instruktionsuppsättning, tillsammans med ett run-time-system för att stödja den statiska analysen av körbara program skrivna i den instruktionsuppsättningen.
A system for generating static analyzers for machine instructions
{'venue': 'In CC', 'journal': None, 'mag_field_of_study': ['Computer Science']}