B. V. Chess. Improving computer security using extended static checking. In Proceedings of the 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
CSSV: Towards a Realistic Tool for Statically Detecting All.. - Dor, Rodeh, Sagiv (2000) (12 citations) (Correct)
....the null termination byte. Our goal is to perform static analysis that detects all string runtime errors with just a few false alarms. A false alarm is a reported error that can never occur at runtime. This goal is ambitious. Existing methods either: i) miss errors (e.g. LCLint [18] Eau Claire[2], and [29] ii) yield many false alarms (e.g. 18, 29] or (iii) cannot handle com plicated aspects of C, such as multilevel pointers and structures (e.g. 9, 28] Moreover, the cost of static analysis is considered prohibitive when it comes to large programs. This paper presents C String ....
....the absence of string errors in this function, without reporting any false alarm. The toy main procedure, shown in Fig. 3, calls SkipLine to insert a newline character, reads input from the stanvoid SkipLine(int NbLine, char PtrEndText) int indice; char PtrEndLoc; 1] indice=0; [2] begin loop: 3] if (indice =NbLine) goto end loop; 4] PtrEndLoc = PtrEndText [5] PtrEndLoc = nn ; 6] PtrEndText = PtrEndLoc 1; 7] indice = indice 1; 8] goto begin loop; 9] end loop: 10] PtrEndLoc = PtrEndText [11] PtrEndLoc = n0 ; g void main( char buf[SIZE] char ....
[Article contains additional citation context not shown here]
B. Chess. Improving computer security using extended static checking. In IEEE Symposium on Security and Privacy, 2002.
Modeling and Visualizing Security Properties of Code Using.. - Wilander (2005) (Correct)
No context found.
B. V. Chess. Improving computer security using extended static checking. In Proceedings of the 2002.
Pattern Matching Security Properties of Code using Dependence Graphs - And (2005) (Correct)
No context found.
B. V. Chess. Improving computer security using extended static checking. In Proceedings of the 2002.
Policy and Implementation Assurance for Software Security - Wilander (2005) (Correct)
No context found.
B V Chess. Improving computer security using extended static checking. In Proceedings of the 2002.
International Journal of Information Security manuscript No. - Will Be Inserted (Correct)
No context found.
Chess BV (2002) Improving Computer Security using Extended Static Checking, In: IEEE Symposium on Security and Privacy, Berkeley, CA, May, pp 160-173
Detecting Exploit Code Execution in Loadable Kernel Modules - Haizhi Xu Wenliang (Correct)
No context found.
B. v. Chess. Improving computer security using extended static checking. In Proceedings of 2002.
Countering Network Worms through Automatic Patch Generation - Sidiroglou, Keromytis (2003) (12 citations) (Correct)
No context found.
B. Chess. Improving Computer Security Using Extended Static Checking. In Proceedings of the IEEE Symposium on Security and Privacy, May 2002.
Countering Network Worms through Automatic Patch Generation - Sidiroglou, Keromytis (2003) (12 citations) (Correct)
No context found.
B. Chess. Improving Computer Security Using Extended Static Checking. In Proceedings of the IEEE Symposium on Security and Privacy, May 2002.
Countering Network Worms through Automatic Patch Generation - Sidiroglou, Keromytis (2003) (12 citations) (Correct)
No context found.
B. Chess. Improving Computer Security Using Extended Static Checking. In Proceedings of the IEEE Symposium on Security and Privacy, May 2002.
Principled Assuredly Trustworthy Composable Architectures - Neumann (2004) (2 citations) (Correct)
No context found.
B.V. Chess. Improving computer security using extended static checking. In Proceedings of the 2002.
ARCHER: Using Symbolic, Path-sensitive Analysis to Detect.. - Xie, Chou, Engler (2003) (Correct)
No context found.
B. Chess. Improving computer security using extended static checking. In IEEE Symposium on Security and Privacy, Oakland, California, May 2002.
Formal Specification for Fast Automatic IDS Training - Antonio Durante Roberto (Correct)
No context found.
Brian V Chess "Improving Computer Security Using Extended Static Checking" IEEE Symposium on Security and Privacy Oackland CA, May 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC