Closed fxrlv closed 8 years ago
Nice! @AlexanderFrolov and co, it's worth noting that we've done extensive studies, and 60% of the time our static analysis tool works all the time. Furthermore, sound and complete static analysis is shown to be undecidable, ergo we're led to a few false positives because we've adopted some unsound techniques in our tool. 👍
With that said, here is another explanation on why fclose(NULL)
is causing a segmentation fault on some OS.
Reverts dropbox/lepton#60
Added
fclose
causes SIGSEGV on some OS, becausefp
, which is arg forfclose
, in this context always is NULL.