René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Is this an implementation bug of `dataflow_analysis`?","articleBody":"https://github.com/IUCompilerCourse/python-student-support-code/blob/8636ea57437d9779d8fe963bd635fced5ebb34ab/dataflow_analysis.py#LL16C46-L16C46\r\n\r\nThis line is trying to get the live-after of a block with reducing on the `trans_G.adjacent(node)` and the `adjacent` in fact return every node which included in an edge use `node` as its beginning, once we called on `trans_G`, will get all the nodes that are represented before the node in the CFG. But what we actually want is to get the nodes after the current `node` in CFG.\r\n\r\nhttps://github.com/IUCompilerCourse/python-student-support-code/blob/8636ea57437d9779d8fe963bd635fced5ebb34ab/dataflow_analysis.py#L20\r\n\r\nThis line also has perhaps an implementation error for similar reasons.\r\n\r\nDon't know if that's bugs or I implemented wrong CFGs.","author":{"url":"https://github.com/Lysanleo","@type":"Person","name":"Lysanleo"},"datePublished":"2023-06-06T07:04:26.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/19/python-student-support-code/issues/19"}