https://123dok.org/document/4zpvjd0z-static-program-analysis-for-string-manipulation-languages.html