SMAT-Lab / Scalpel

Scalpel: The Python Static Analysis Framework
Apache License 2.0
279 stars 42 forks source link

Memory leaks in the CFG block data structure #23

Closed Jarvx closed 2 years ago

Jarvx commented 2 years ago

The problem occurred because when cleaning empty blocks, unnecessary references are added to blocks. The bug has been fixed by using block id to construct the is_visit set when visiting all blocks.