Abstract-Tool stöd för refaktoring kod skriven på vanliga språk som C och C++ saknas för närvarande på grund av den komplexitet som införts av den obligatoriska förbehandlingsfasen som utgör en del av C/C++ samlingscykeln. Definitionen och användningen av makron komplicerar begreppen omfattning och identifieringsgränser. Begreppet symboliska ekvivalensklasser kan användas för att överbrygga klyftan mellan den korrekta semantiska analysen av språket och den icke-förbearbetade källkoden. CScout toolchest använder den utvecklade teorin för att analysera stora beroende programfamiljer. En webbaserad interaktiv front gör det möjligt att exakt förverkliga namnbyte och ta bort refaktorings på den ursprungliga C källkoden. Dessutom kan CScout konvertera program till ett portabelt obfuscated format eller lagra en fullständig och korrekt representation av koden och dess identifierare i en relationell databas.
Spinellis m.fl. REF använder begreppet symboliska ekvivalensklasser för att överbrygga klyftan mellan språksemantik och icke-förbearbetad källkod.
Global Analysis and Transformations in Preprocessed Languages
{'venue': 'IEEE Trans. Software Eng.', 'journal': None, 'mag_field_of_study': ['Computer Science']}