Performing high efficiency source code static analysis with intelligent extensions

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2004, Pages 346-355

  Xiao, Shu ^a   Pham, Christopher ^a  

^a CISCO SYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACOUSTIC NOISE; COMPUTER SOFTWARE; CONSTRAINT THEORY; COST EFFECTIVENESS; INTERFACES (COMPUTER); NOISE ABATEMENT;

INTELLIGENT EXTENSIONS; NOISE RATIO; SOFTWARE VENDORS; SOURCE CODE STATIC ANALYSIS;

INTELLIGENT AGENTS;

EID: 18944369123     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. W. Florac, "Software Quality Measurement: A Framework for Counting Problems and Defects", Technical Report, CMU/SEI-92-TR-022
2. Capers Jones, Software Productivity Research, http://www.spr.com/
3. PREfix and PREfast, Microsoft Reliability Group, http://research. microsoft.com/reliability/
4. FlexeLint for C/C++, Gimpel Software, http://www.gimpel.com/html/flex.htm
5. Lint: Source Code Checker, Sun Microsystems, Inc., http://docs.sun.com/ source/806-3567/lint.html
6. Splint: Annotation Assisted Lightweight Static Checking, Inexpensive Program Analysis Group, University of Virginia, Department of Computer Science, http://www.splint.org/
7. th IEEE ISSRE Industry Practice Program, Nov. 2001, pp144-152
8. CSCOPE Home Page, http://cscope.sourceforge.net/
9. "Gauging Software Readiness With Defect Tracking", Best Practices, IEEE Software, Vol. 14, No. 3, May/June 1997
10. IBM Rational ClearDDTS, http://www-306.ibm.com/software/awdtools/ clearddts/
11. SecureProgramming.com, http://www.secureprogramming.com
12. PScan: A limited problem scanner for C source files, http://www.striker. ottawa.on.ca/~aland/pscan/
13. th Annual Computer Security Applications Conference (ACSAC), Dec. 2000, pp257-267
14. Secure Software RATS: Rough Auditing Tool for Security, http://www.securesw.com/download_rats.htm
15. Flawfinder, http://www.dwheeler.com/flawfinder
16. K. Ashcraft and D. Engler, "Using Programmer-Written Compiler Extension to catch Security Holes", in Proc. of IEEE Symposium on Security and Privacy, May 2002, pp 143-159
17. Smatch: the source matcher, http://smatch.sourceforge.net
18. th ACM Symposium on Operating System Principles, 2001
19. M. Das, S. Lerner, and M. Seigle, "ESP: Path-Sensitive Program Verification in Polynomial Time", in Proc. of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI '02), Berlin, Germany, June 2002.
20. Larry Wall and Randal L. Schwartz, "Programming Perl", O'Reilly, 1991