program-synthesis (0.1.2), qfragment (0.0.16) potentially affected by CVE-2022-36003 via tensorflow (1.5.1)

tensorflow PYPI version 1.5.1 is affected by a known vulnerability. The following packages have a transitive dependency on tensorflow and may be impacted: - program-synthesis 0.1.2 - qfragment 0.0.16 Source cves: CVE-2022-36003 Source advisory: OSV:PYSEC-2026-3162...

program-synthesis (0.1.2), qfragment (0.0.16) potentially affected by CVE-2022-36005 via tensorflow (1.5.1)

tensorflow PYPI version 1.5.1 is affected by a known vulnerability. The following packages have a transitive dependency on tensorflow and may be impacted: - program-synthesis 0.1.2 - qfragment 0.0.16 Source cves: CVE-2022-36005 Source advisory: OSV:PYSEC-2026-3234...

program-synthesis (0.1.2), qfragment (0.0.16) potentially affected by CVE-2022-35995 via tensorflow (1.5.1)

tensorflow PYPI version 1.5.1 is affected by a known vulnerability. The following packages have a transitive dependency on tensorflow and may be impacted: - program-synthesis 0.1.2 - qfragment 0.0.16 Source cves: CVE-2022-35995 Source advisory: OSV:PYSEC-2026-3186...

program-synthesis (0.1.2), qfragment (0.0.16) potentially affected by CVE-2022-36016 via tensorflow (1.5.1)

tensorflow PYPI version 1.5.1 is affected by a known vulnerability. The following packages have a transitive dependency on tensorflow and may be impacted: - program-synthesis 0.1.2 - qfragment 0.0.16 Source cves: CVE-2022-36016 Source advisory: OSV:PYSEC-2026-3184...

program-synthesis (0.1.2), qfragment (0.0.16) potentially affected by CVE-2022-35987 via tensorflow (1.5.1)

tensorflow PYPI version 1.5.1 is affected by a known vulnerability. The following packages have a transitive dependency on tensorflow and may be impacted: - program-synthesis 0.1.2 - qfragment 0.0.16 Source cves: CVE-2022-35987 Source advisory: OSV:PYSEC-2026-3252...

program-synthesis (0.1.2), qfragment (0.0.16) potentially affected by CVE-2022-36014 via tensorflow (1.5.1)

tensorflow PYPI version 1.5.1 is affected by a known vulnerability. The following packages have a transitive dependency on tensorflow and may be impacted: - program-synthesis 0.1.2 - qfragment 0.0.16 Source cves: CVE-2022-36014 Source advisory: OSV:PYSEC-2026-3129...

program-synthesis (0.1.2), qfragment (0.0.16) potentially affected by CVE-2022-36015 via tensorflow (1.5.1)

tensorflow PYPI version 1.5.1 is affected by a known vulnerability. The following packages have a transitive dependency on tensorflow and may be impacted: - program-synthesis 0.1.2 - qfragment 0.0.16 Source cves: CVE-2022-36015 Source advisory: OSV:PYSEC-2026-3237...

program-synthesis (0.1.2), qfragment (0.0.16) potentially affected by CVE-2022-36012 via tensorflow (1.5.1)

tensorflow PYPI version 1.5.1 is affected by a known vulnerability. The following packages have a transitive dependency on tensorflow and may be impacted: - program-synthesis 0.1.2 - qfragment 0.0.16 Source cves: CVE-2022-36012 Source advisory: OSV:PYSEC-2026-3210...

program-synthesis (0.1.2), qfragment (0.0.16) potentially affected by CVE-2022-35941 via tensorflow (1.5.1)

tensorflow PYPI version 1.5.1 is affected by a known vulnerability. The following packages have a transitive dependency on tensorflow and may be impacted: - program-synthesis 0.1.2 - qfragment 0.0.16 Source cves: CVE-2022-35941 Source advisory: OSV:PYSEC-2026-3215...

program-synthesis (0.1.2), qfragment (0.0.16) potentially affected by CVE-2022-36026 via tensorflow (1.5.1)

tensorflow PYPI version 1.5.1 is affected by a known vulnerability. The following packages have a transitive dependency on tensorflow and may be impacted: - program-synthesis 0.1.2 - qfragment 0.0.16 Source cves: CVE-2022-36026 Source advisory: OSV:PYSEC-2026-3149...

program-synthesis (0.1.2), qfragment (0.0.16) potentially affected by CVE-2022-36019 via tensorflow (1.5.1)

tensorflow PYPI version 1.5.1 is affected by a known vulnerability. The following packages have a transitive dependency on tensorflow and may be impacted: - program-synthesis 0.1.2 - qfragment 0.0.16 Source cves: CVE-2022-36019 Source advisory: OSV:PYSEC-2026-3152...

program-synthesis (0.1.2), qfragment (0.0.16) potentially affected by CVE-2022-36018 via tensorflow (1.5.1)

tensorflow PYPI version 1.5.1 is affected by a known vulnerability. The following packages have a transitive dependency on tensorflow and may be impacted: - program-synthesis 0.1.2 - qfragment 0.0.16 Source cves: CVE-2022-36018 Source advisory: OSV:PYSEC-2026-3212...

program-synthesis (0.1.2), qfragment (0.0.16) potentially affected by CVE-2022-36027 via tensorflow (1.5.1)

tensorflow PYPI version 1.5.1 is affected by a known vulnerability. The following packages have a transitive dependency on tensorflow and may be impacted: - program-synthesis 0.1.2 - qfragment 0.0.16 Source cves: CVE-2022-36027 Source advisory: OSV:PYSEC-2026-3128...

Antiproof: Synthesizing Vulnerability Detectors and Proofs of Exploitability

Discovering vulnerabilities before attackers exploit them requires high recall and reliable automatic validation, but existing approaches struggle to achieve both without prohibitive cost. We present Antiproof, an end-to-end vulnerability discovery system that combines neuro-symbolic detector...

program-synthesis (0.1.2), qfragment (0.0.16) potentially affected by CVE-2022-35937 via tensorflow (1.5.1)

tensorflow PYPI version 1.5.1 is affected by a known vulnerability. The following packages have a transitive dependency on tensorflow and may be impacted: - program-synthesis 0.1.2 - qfragment 0.0.16 Source cves: CVE-2022-35937 Source advisory: OSV:PYSEC-2026-3226...

program-synthesis (0.1.2), qfragment (0.0.16) potentially affected by CVE-2022-35935 via tensorflow (1.5.1)

tensorflow PYPI version 1.5.1 is affected by a known vulnerability. The following packages have a transitive dependency on tensorflow and may be impacted: - program-synthesis 0.1.2 - qfragment 0.0.16 Source cves: CVE-2022-35935 Source advisory: OSV:PYSEC-2026-3144...

program-synthesis (0.1.2), qfragment (0.0.16) potentially affected by CVE-2022-35997 via tensorflow (1.5.1)

tensorflow PYPI version 1.5.1 is affected by a known vulnerability. The following packages have a transitive dependency on tensorflow and may be impacted: - program-synthesis 0.1.2 - qfragment 0.0.16 Source cves: CVE-2022-35997 Source advisory: OSV:PYSEC-2026-3220...

program-synthesis (0.1.2), qfragment (0.0.16) potentially affected by CVE-2022-35939 via tensorflow (1.5.1)

tensorflow PYPI version 1.5.1 is affected by a known vulnerability. The following packages have a transitive dependency on tensorflow and may be impacted: - program-synthesis 0.1.2 - qfragment 0.0.16 Source cves: CVE-2022-35939 Source advisory: OSV:PYSEC-2026-3171...

program-synthesis (0.1.2), qfragment (0.0.16) potentially affected by CVE-2022-35934 via tensorflow (1.5.1)

tensorflow PYPI version 1.5.1 is affected by a known vulnerability. The following packages have a transitive dependency on tensorflow and may be impacted: - program-synthesis 0.1.2 - qfragment 0.0.16 Source cves: CVE-2022-35934 Source advisory: OSV:PYSEC-2026-3168...

program-synthesis (0.1.2), qfragment (0.0.16) potentially affected by CVE-2022-29216 via tensorflow (1.5.1)

tensorflow PYPI version 1.5.1 is affected by a known vulnerability. The following packages have a transitive dependency on tensorflow and may be impacted: - program-synthesis 0.1.2 - qfragment 0.0.16 Source cves: CVE-2022-29216 Source advisory: OSV:PYSEC-2026-3125...