search

GaloisInc / daedalus

The Daedalus data description language
BSD 3-Clause "New" or "Revised" License
65 stars 11 forks source link

Avoid undefined behavior when an array is uninitialized #290

Closed ESultanik closed 1 year ago

ESultanik commented 1 year ago

Fixes the null pointer dereference described in #289.