An undergraduate course on software bug detection tools and techniques

Authors:
Eric Larson
Affiliations:
Seattle University, Seattle, WA
Venue:
Proceedings of the 37th SIGCSE technical symposium on Computer science education
Year:
2006

Citing 7
Cited 2

A static analyzer for finding dynamic programming errors

Software—Practice & Experience
Automatically validating temporal safety properties of interfaces

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Bugs as deviant behavior: a general approach to inferring errors in systems code

SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
What Is Software Testing? And Why Is It So Hard?

IEEE Software
Designing the McCAT Compiler Based on a Family of Structured Intermediate Representations

Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

CC '02 Proceedings of the 11th International Conference on Compiler Construction
StackGuard: automatic adaptive detection and prevention of buffer-overflow attacks

SSYM'98 Proceedings of the 7th conference on USENIX Security Symposium - Volume 7

Coding-error based defects in enterprise resource planning software: Prevention, discovery, elimination and mitigation

Journal of Systems and Software
Creating Process-Agents incrementally by mining process asset library

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

The importance of software bug detection tools is high with the constant threat of malicious activity. Companies are increasingly relying on software bug detection tools to catch exploitable bugs before the program is released. This paper describes a course on software bug detection techniques that is aimed at undergraduates. Courses in software verification are often taught at the graduate level and too theoretical and research oriented for undergraduates. A key component of the course is the programming assignments where students gain practical experience in creating their own software bug detection tools using a source to source converter for a subset of C++.