mirror of
https://github.com/github/codeql.git
synced 2026-06-16 18:31:07 +02: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.