Thanks, that's a great collection. The Zheng & Zhang paper is particularly interesting, given it tackles taint analysis and succeeds where Psalm (which also ha

Thanks, that's a great collection. The Zheng & Zhang paper is particularly interesting, given it tackles taint analysis and succeeds where Psalm (which also has a taint analysis mode) fails: https://psalm.dev/r/7098c7bb59 https://psalm.dev/r/7098c7bb59. Might try to implement a cut-down version of their method.