Python concolic execution framework for program analysis