HiGHS icon indicating copy to clipboard operation
HiGHS copied to clipboard

Segfault/invalid stdio handle/double free or corruption (!prev)

Open jajhall opened this issue 4 years ago • 0 comments

In

https://github.com/rust-or/highs/issues/3#

it's suggested that "there may be a double-free when a problem is created with Highs_create, then incoherent values are passed with Highs_passLp, which returns an error status, and then the problem is freed with Highs_destroy. I added a fuzzer which found that issue almost immediately. It may be pertinent for you to add fuzzing directly to HiGHS."

"Looking into it deeper, it looks like the problem (or at least one problem) comes from the fclose(log_file_stream) in Highs' destructor. HiGHS may be trying to close an already closed file."

jajhall avatar Nov 19 '21 15:11 jajhall