crosshair-tool (pypi): Analyze Python code for correctness using symbolic execution.
Keywords: concolic-execution|contracts|dynamic-analysis|fuzzing|hacktoberfest|python|static-analysis|symbolic-execution|testing|testing-framework|type-systems|z3