I think the work list algorithm for dataflow analysis presented in Fig. 6.5 works only for live variable analysis but not many other dataflow analyses. The problem is in the initialization of the ...

A robust, flow-sensitive static analysis tool built as an LLVM plugin. This project utilizes Data-Flow Analysis (DFA) to identify variables that may be read before they have been initialized. It is ...