Fix fd leakage for smtlib

bitblaze-fuzzball / fuzzball

FuzzBALL: Vine-based Binary Symbolic Execution

Other

214 stars 58 forks source link

Closed yanxx297 closed 4 years ago

yanxx297 commented 4 years ago

Fix the bug that output files are not closed when using smtlib and turn on -save-solver-files.