The Journey to PythonTA series aims to introduce various system components of PythonTA (https://github.com/pyta-uoft/pyta), a static code analysis...
Today's task requires a combination of various components of PythonTA introduced in previous articles, including control flow graph module, Z3...
This article is a continuation of the previous task , which implements the parsing of container types (list/set/tuple) and operators to Z3...
In this article, we will implements a simulated bouncing for 2D GameObjects with Kinematic rigidbody2d, based on method in this video Enable Collision...
Today's task is to update ExprWrapper, a module that converts a python expression to corresponding z3 expression, to support container classes like...
Today's task is to implement a custom checker for inconsistent or missing return statements for PythonTA (https://github.com/pyta-uoft/pyta), as a...