MEDIUM5.5PyPIGHSA-g58x-799h-v9h6· CVE-2019-7560, PYSEC-2019-252Boolector use after freeModified: 11/26/2024