Översättningsvaliderare är statiska analysatorer som försöker verifiera att programomvandlingar bevarar semantik. Normalisera översättning validerare gör detta genom att försöka matcha värde-grafer av en ursprunglig funktion och dess omvandlade motsvarighet. I detta papper presenterar vi utformningen av en sådan validerare för LLVM: s intra-procedural optimeringar, en design som inte kräver någon instrumentering av optimizern, eller någon omskrivning av källkoden för att kompilera, och behöver köras endast en gång för att validera en rörledning av optimeringar. Vi presenterar resultaten av våra preliminära experiment på en uppsättning riktmärken som inkluderar GCC, en perltolk, SQLite3 och andra C-program.
Tristan et al REF rapporterar självständigt om en översättningsvalidator för LLVM:s inter-procedural optimeringar.
Evaluating value-graph translation validation for LLVM
{'venue': "PLDI '11", 'journal': None, 'mag_field_of_study': ['Computer Science']}