ValueFlow: start adding valueflow handling of strings and pointer aliases