Closed jmp0x7c00 closed 2 years ago
release these static resources by delete svfModule since we have many tests
delete svfModule
I have fixed the deallocation of SVFModule in SymbolTableInfo's destructor. It should fix this issue. Please update your SVF and download SVF-Teaching again.
https://github.com/SVF-tools/SVF/pull/602
thanks for your quick replay, very helpful:)
release these static resources by
delete svfModule
since we have many tests