#static-analysis
Read more stories on Hashnode
Articles with this tag
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 is to update ExprWrapper, a module that converts a python expression to corresponding z3 expression, to support container classes like...