arXiv:2402.10754v1 Announce Type: cross Abstract: Dataflow analysis is a powerful code analysis technique that reasons dependencies between program values, offering support for code optimization, program comprehension, and bug detection.
Source link