作者: Hossein Hojjat , Philipp Rümmer , Ali Shamakhi
DOI: 10.1007/978-3-030-34175-6_2
关键词:
摘要: Strings represent one of the most common and intricate data-types found in software programs, with correct string processing often being a decisive factor for correctness security properties. This has led to wide range recent research results on how analyse programs operating strings, using methods like testing, fuzzing, symbolic execution, abstract interpretation, or model checking, and, increasingly, support strings is also added constraint solvers SMT solvers. In this paper, we focus verification checking. We give survey existing approaches handle context, propose based algebraic data-types, Craig interpolation, automata learning.