E-ACSL reports use of invalid pointer while in fact the pointer is valid (#1131) · Issues · pub / frama-c