Use MayAccessed query to output invariants about to-be-read variables
Use MayAccessed query to output invariants about to-be-read variables

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer