![](/img/cover-not-exists.png)
Filtering false alarms of buffer overflow analysis using SMT solvers
Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo ChoeVolume:
52
Year:
2010
Language:
english
Pages:
10
DOI:
10.1016/j.infsof.2009.10.004
File:
PDF, 443 KB
english, 2010