Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Choe: Filtering false alarms of buffer overflow analysis using SMT solvers. Inf. Softw. Technol. 52(2): 210-219 (2010)