Raineraineyang.hashnode.dev·Aug 9, 2024PyTA Project: Augment CFG Edges with Z3 ConstraintsToday's task requires a combination of various components of PythonTA introduced in previous articles, including control flow graph module, Z3 visitor, and Z3 expression wrapper. In this task, we will augment each control flow graph edge with a list ...DiscussPython
Raineraineyang.hashnode.dev·Jun 19, 2024PyTA Project: Implement a Custom Checker for Inconsistent or Missing ReturnsToday's task is to implement a custom checker for inconsistent or missing return statements for PythonTA (https://github.com/pyta-uoft/pyta), as a replacement of pylint's R1710 checker. A basic introduction of how to create a custom pylint checker ca...DiscussPython
Raineraineyang.hashnode.dev·Jun 7, 2024PyTA Project: Depth-First Search for Control Flow GraphToday's task is to implement a function that takes a PythonTA control flow graph and returns all paths in the graph. In this article, I will first give an overview of modules related to control flow graph, and then provide an implementation of the fu...Discuss·39 readscontrol flow graph
