This paper describes a static analysis algorithm to detect potential integer anomalies in software. integer anamolies take place when arithmetic operations on integer values yield new values that cannot be represented...
详细信息
ISBN:
(纸本)9780889866416
This paper describes a static analysis algorithm to detect potential integer anomalies in software. integer anamolies take place when arithmetic operations on integer values yield new values that cannot be represented in the range for the integer type. Two common integer anomalies are integer overflow and integer underflow. Unexpected behavior could occur in a program's execution if an attempt is made to represent a value outside the range of the integer type. Such anomalies in integers representing buffer sizes can lead to critical buffer overruns that compromise the security of a system. In this paper, we present a flow-insensitive intra-procedural static analysis algorithm that detects integer overflow and underflow anomalies in integer variables that represent memory allocation size, buffer access size or loop terminating condition. We ran the analysis on approximately 55 MLOC from some future Microsoft products. We successfully uncovered and fixed over 2000 such anomalies with an overall noise rate of as low as 6.76 percent.
Bakalářská práce se zabývá exploitačními technikami, využívajícími programátorské chyby v programech jazyka C. Práce je především zaměřená na prob...
详细信息
Bakalářská práce se zabývá exploitačními technikami, využívajícími programátorské chyby v programech jazyka C. Práce je především zaměřená na problémy typu: přetečení paměti, přetečení zásobníku, přetečení v segmentech haldy a BSS, přetečení formátovacích řetězců a přetečení čísel. V práci jsou také popsány některé ze současných protiopatření, která zabraňují zneužívání těchto chyb. Pro snadnější pochopení tématu je v první úvodní části zpracovaná krátká kapitola zaměřená na teoretický základ. V následujících kapitolách jsou podrobněji popisovány principy jednotlivých typů útoků. Závěrem práce je kapitola týkající se bezpečnosti.
暂无评论