All tags
Catalogue tag

#symbolic-execution

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

2 records
Tagged “symbolic-execution”Ranked by health index
PyPI
73Goodhealth index
pschanely/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
Python★ 1,302↓ 292.8K/moJul 17, 2026
Custom licenseJul 17, 2026 · metrics 1.13.0
PyPI
54Moderatehealth index
CEA-SEC/miasm
Reverse engineering framework in Python
Python★ 3,897Jul 15, 2026
GPL-2.0Jul 15, 2026 · metrics 1.13.0