A buffer overflow detection based on inequalities Solution

Guo Ai Xu; Miao Zhang; Guo Lu Tan; Yi Xian Yang

A buffer overflow detection based on inequalities Solution

Guo Ai Xu^*
, Miao Zhang
, Guo Lu Tan
, Yi Xian Yang

^*Corresponding author for this work

Beijing University of Posts and Telecommunications
Shangrao Normal University

Research output: Contribution to journal › Article › peer-review

Abstract

A new buffer overflow detection model based on Inequalities Solution was designed, which is based on analyzing disadvantage of the old buffer overflow detection technique and successfully converting buffer overflow detection to Inequalities Solution. The new model can conquer the disadvantage of the old technique and improve efficiency of buffer overflow detection.

Original language	English
Pages (from-to)	1106-1111
Number of pages	6
Journal	Hedianzixue Yu Tance Jishu/Nuclear Electronics and Detection Technology
Volume	27
Issue number	6
State	Published - Nov 2007
Externally published	Yes

Keywords

Buffer Overflow
Dangerous function
Inequalities Solution
Static source code analyzing

Cite this

@article{3bd6bd3da96f4b528a5e080ca224be80,

title = "A buffer overflow detection based on inequalities Solution",

abstract = "A new buffer overflow detection model based on Inequalities Solution was designed, which is based on analyzing disadvantage of the old buffer overflow detection technique and successfully converting buffer overflow detection to Inequalities Solution. The new model can conquer the disadvantage of the old technique and improve efficiency of buffer overflow detection.",

keywords = "Buffer Overflow, Dangerous function, Inequalities Solution, Static source code analyzing",

author = "Xu, \{Guo Ai\} and Miao Zhang and Tan, \{Guo Lu\} and Yang, \{Yi Xian\}",

year = "2007",

month = nov,

language = "英语",

volume = "27",

pages = "1106--1111",

journal = "Hedianzixue Yu Tance Jishu/Nuclear Electronics and Detection Technology",

issn = "0258-0934",

publisher = "Atomic Energy Press",

number = "6",

}

TY - JOUR

T1 - A buffer overflow detection based on inequalities Solution

AU - Xu, Guo Ai

AU - Zhang, Miao

AU - Tan, Guo Lu

AU - Yang, Yi Xian

PY - 2007/11

Y1 - 2007/11

N2 - A new buffer overflow detection model based on Inequalities Solution was designed, which is based on analyzing disadvantage of the old buffer overflow detection technique and successfully converting buffer overflow detection to Inequalities Solution. The new model can conquer the disadvantage of the old technique and improve efficiency of buffer overflow detection.

AB - A new buffer overflow detection model based on Inequalities Solution was designed, which is based on analyzing disadvantage of the old buffer overflow detection technique and successfully converting buffer overflow detection to Inequalities Solution. The new model can conquer the disadvantage of the old technique and improve efficiency of buffer overflow detection.

KW - Buffer Overflow

KW - Dangerous function

KW - Inequalities Solution

KW - Static source code analyzing

UR - https://www.scopus.com/pages/publications/40949161479

M3 - 文章

AN - SCOPUS:40949161479

SN - 0258-0934

VL - 27

SP - 1106

EP - 1111

JO - Hedianzixue Yu Tance Jishu/Nuclear Electronics and Detection Technology

JF - Hedianzixue Yu Tance Jishu/Nuclear Electronics and Detection Technology

IS - 6

ER -

A buffer overflow detection based on inequalities Solution

Abstract

Keywords

Other files and links

Fingerprint

Cite this