LLVM-based static analysis tool using type and effect systems. - Mikhail A. Belyaev; V. A. Tsesko (Autom. Control. Comput. Sci., 2012)

Using dependencies to improve precision of code analysis. - M. I. Glukhikh; Vladimir M. Itsykson; V. A. Tsesko (Autom. Control. Comput. Sci., 2012)