API

What follows is pySym core API documentation.

Note

This documentation is a work in progress. Not everything is documented yet.

• Project
• pyObjectManager
  • Submodules
  • pyObjectManager.BitVec module
  • pyObjectManager.Char module
  • pyObjectManager.Ctx module
  • pyObjectManager.Int module
  • pyObjectManager.List module
  • pyObjectManager.Real module
  • pyObjectManager.String module
  • Module contents
• pyPath
• pyPathGroup
• pyState
  • Subpackages
    • pyState.functions package
      • Submodules
      • pyState.functions.abs module
      • pyState.functions.bin module
      • pyState.functions.hex module
      • pyState.functions.int module
      • pyState.functions.len module
      • pyState.functions.ord module
      • pyState.functions.print module
      • pyState.functions.range module
      • pyState.functions.str module
      • pyState.functions.zip module
      • Module contents
  • pyState.Assign
  • pyState.AugAssign
  • pyState.BinOp
  • pyState.BoolOp
  • pyState.Break
  • pyState.Call
  • pyState.Compare
  • pyState.Expr
  • pyState.For
  • pyState.FunctionDef
  • pyState.GeneratorExp
  • pyState.If
  • pyState.ListComp
  • pyState.Pass
  • pyState.Return
  • pyState.Subscript
  • pyState.UnaryOp
  • pyState.While
  • pyState.z3Helpers
  • Module contents