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.

Getting Started

• About pySym
  • Introduction to pySym
  • Python Versions
  • pySym Weaknesses
  • pySym Strengths
• Installing pySym
  • pip install
  • Docker install
  • setup.sh (depreciated)
  • Manual Install
• pySym Quick-Start
  • Running Your First Program
• Examples
  • Tokyo Westerns CTF 2017: My Simple Cipher
  • Prime Finder
• What is Implemented
  • Overview
  • Known Limitations
  • pyState functions
  • Python Built-in
  • Numbers
  • Strings
  • Lists
  • Python Common Libraries
  • Dictionaries
  • Tuples
  • Files
  • Sets
  • Booleans
  • Bytes
  • ByteArray
  • Class
  • Functions
  • Symbolic Hooking
• Symbolic Hooking
  • What is Hooking
  • How to Hook
• API
  • Project
  • pyObjectManager
  • pyPath
  • pyPathGroup
  • pyState