cjdrake / pyeda

Python EDA
BSD 2-Clause "Simplified" License
305 stars 55 forks source link

Invalid memory access #119

Closed cjdrake closed 9 years ago

cjdrake commented 9 years ago

This picosat_reset call attempts to free the PicoSAT instance after state has already been freed. Not sure why it doesn't fail harder, but it's an invalid memory access.

static void
_satisfy_all_dealloc(_satisfy_all_state *state)
{
    PyMem_Free(state->soln);
    Py_TYPE(state)->tp_free(state);

    picosat_reset(state->picosat);
}