mirror of
https://github.com/github/codeql.git
synced 2026-01-06 19:20:25 +01:00
This is quite a simpel model, but ends up matching what we were able to do with points-to. I think this modeling excercise really shows that we need a bit of a different way to model HTTP responses... but I'm not going to try to fix that in this PR.