klara (pypi): Automatic test case generation and static analysis library
Keywords: unit test|test generation|static analysis|ast|cfg|python|ssa|static-analysis|static-code-analysis