F. M. Puchkov, K. A. Shapchenko. Static Analysis Method for Detecting Buffer Overflow Vulnerabilities. Programming and Computer Software, 31(4):179-189, 2005. [doi]
@article{PuchkovS05, title = {Static Analysis Method for Detecting Buffer Overflow Vulnerabilities}, author = {F. M. Puchkov and K. A. Shapchenko}, year = {2005}, doi = {10.1007/s11086-005-0030-8}, url = {http://dx.doi.org/10.1007/s11086-005-0030-8}, tags = {analysis, static analysis}, researchr = {https://researchr.org/publication/PuchkovS05}, cites = {0}, citedby = {0}, journal = {Programming and Computer Software}, volume = {31}, number = {4}, pages = {179-189}, }