An Approach to Vulnerability Searching of Integer Overflows in the Executable Program Code

Roman Demidov, Alexander I. Pechenkin, Peter D. Zegzhda. An Approach to Vulnerability Searching of Integer Overflows in the Executable Program Code. Automatic Control and Computer Sciences, 52(8):1022-1028, 2018. [doi]

@article{DemidovPZ18,
  title = {An Approach to Vulnerability Searching of Integer Overflows in the Executable Program Code},
  author = {Roman Demidov and Alexander I. Pechenkin and Peter D. Zegzhda},
  year = {2018},
  doi = {10.3103/S0146411618080102},
  url = {https://doi.org/10.3103/S0146411618080102},
  researchr = {https://researchr.org/publication/DemidovPZ18},
  cites = {0},
  citedby = {0},
  journal = {Automatic Control and Computer Sciences},
  volume = {52},
  number = {8},
  pages = {1022-1028},
}