Abstrakt. Den statiska bestämningen av approximerade värden för stränguttryck har många potentiella tillämpningar. Till exempel kan ungefärliga strängvärden användas för att kontrollera giltigheten och säkerheten hos genererade strängar, samt för att samla in användbara strängegenskaper. Tidigare stränganalyser har främst fokuserats på maximering av precisionen i regelbundna approximationer av strängar. Dessa metoder har inte varit helt tillfredsställande på grund av svårigheterna att hantera högvariabler och sammanhangskänslighet. I detta dokument presenterar vi en abstrakt tolkningsbaserad lösning som använder en heuristisk utvidgningsmetod. Den lösning som presenteras genomförs och jämförs med JSA. I de flesta fall ger vår lösning resultat som är lika exakta som de som producerats genom tidigare metoder, och det bidrar också till att enkelt hantera högvariabler och kontextkänslighet på ett mycket naturligt sätt. Vi räknar med att vår metod kommer att användas i praktiska tillämpningar.
Choi m.fl. REF presenterar abstrakt tolkningsbaserad stränganalys som använder en heuristisk utvidgningsmetod och övervinner svårigheterna med att hantera högvariabler och kontextkänslighet.
A Practical String Analyzer by the Widening Approach
{'venue': 'APLAS', 'journal': None, 'mag_field_of_study': ['Computer Science']}