Update papers - Githubissues

goblint / GobWeb

Website for the Static Analyzer Goblint

https://goblint.in.tum.de

3 stars 0 forks source link

Closed karoliineh closed 4 months ago

karoliineh commented 4 months ago

Adds:

Enhancing Top-Down Solving with Widening and Narrowing (2016, solves #33)
Non-numerical weakly relational domains (June 2024)
When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly (June 2024)