Steps towards dealing with affected arrays in a useful way
Steps towards dealing with affected arrays in a useful way

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