Nathan Schmidt

Relational Substring Domain

3

This PR implements a relational domain tracking substring relations between string variables. It adapts [Arceri et al.'s generic proposition](https://link.springer.com/chapter/10.1007/978-3-030-94583-1_2) to fit the special design of C-strings. The domain can be...

On OS X, calls to functions such as `strcpy` are usually replaced by functions like `__builtin___strcpy_chk`, which perform additional bounds checking through `__builtin_object_size`. When analyzing such string manipulating functions, Goblint...