Failure to detect overflows into an allocated area within a struct (#172) · Issues · pub / frama-c