I started this project for my graduate CS research project at CTU. To add, Halfwaytree is feature 
complete and I no longer intend on adding new functionality. I invite you to extend, fork 
or even use this code as inspiration for your own symbolic execution project.

Symbolic execution is a method for automatically generating test 
cases from a computer program. Some great introductory videos 
on symbolic execution are below:

Halfwaytree is named after the neighborhood of Half Way Tree in Kingston, Jamaica. 
What's interesting is that Halfwaytree generates trees of Python code while
doing symbolic execution. It can output the tree as a PNG.
See example output below for more info.

Once the dependencies are installed, it can be used simply by importing 
a module. The emphasis of Halfwaytree is simplicity so you can focus on 
testing your code. See the read me file inside the doc folder to see 
how to install Halfwaytree's dependencies.

import halfwaytree.digraph as digraph

example1 = """
x=0
y=0
z=2*y
if z==x:
    if x>y+10:
        assert False
"""

#Step1, initialize digraph object with source code
source_code_digraph = digraph.SourceCodeDigraph(source_code=example1)

#Step2, build digraph while symbolically executing
source_code_digraph.build_code_digraph()

#Step3, [optional] draw the digraph image
source_code_digraph.visual_digraph.draw("example.png", prog='dot')

From the output of example1 (above), you can see that 
the "inputs of death" for this program are x=22 and y=11.

1. Statements must be one of the following:
    * assignment, if, print, or assert False
2. If statement can only have a single conditional or multiple conditionals joined with 'and'
3. Data type of variables must be an integer