Welcome to pySym’s documentation!¶
pySym
is a Symbolic Execution Engine for Python Scripts. It is
written in Python and designed for easy adoption for a subset of
symbolic execution problems.
pySym
is a Symbolic Execution Engine for Python Scripts. It is
written in Python and designed for easy adoption for a subset of
symbolic execution problems.