Julian Erhard
Results
11
issues of
Julian Erhard
Goblint is currently not sound in some cases when dealing with offsets taken on casted pointers. ### 1. Comparison of casted pointers with offsets On the current `master`, `Goblint` claims...
bug
unsound