View Full Document

Static Analysis to Improve Software Quality



View the full content.
View Full Document
View Full Document

3 views

Unformatted text preview:

Static Analysis to Improve Software Quality Jeff Foster Mike Hicks University of Maryland Software Quality Today Trustworthy Computing is computing that is available reliable and secure as electricity water services and telephony No Trustworthy Computing platform exists today Bill Gates January 15 2002 highest priority for Microsoft T he national annual costs of an inadequate infrastructure for software testing is estimated to range from 22 2 to 59 5 billion NIST Planning Report 02 3 May 2002 2 Conclusions Software is buggy It s hard to ensure that it s reliable and doing so is important 3 Current Practice Testing Make sure program runs correctly on set of inputs inputs register char q char inp MAXLINE char cmdbuf MAXLINE extern ENVELOPE BlankEnvelope extern void help P char extern void settime P ENVELOPE extern bool enoughdiskspace P long extern int runinchild P char ENVELOPE program outputs Is it correct oracle Drawbacks Expensive difficult hard to cover all code paths no guarantees 4 Current Practice cont d Code Auditing Convince someone else your source code is correct Drawbacks Expensive hard no guarantees register char q char inp MAXLINE char cmdbuf MAXLINE extern ENVELOPE BlankEnvelope extern void help P char extern void settime P ENVELOPE extern bool enoughdiskspace P long extern int runinchild P char ENVELOPE extern void checksmtpattack P volatile int int char ENVELOPE if fileno OutChannel fileno stdout arrange for debugging output to go to remote host void dup2 fileno OutChannel fileno stdout settime e peerhostname RealHostName if peerhostname NULL peerhostname localhost CurHostName peerhostname CurSmtpClient macvalue e if CurSmtpClient NULL CurSmtpClient CurHostName setproctitle server s startup CurSmtpClient if DAEMON if LogLevel 11 log connection information sm syslog LOG INFO NOQID SMTP connect from 100s 100s CurSmtpClient anynet ntoa RealHostAddr endif output the first line inserting ESMTP as second word expand SmtpGreeting inp sizeof inp e p strchr



Access the best Study Guides, Lecture Notes and Practice Exams

Loading Unlocking...
Login

Join to view Static Analysis to Improve Software Quality and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Static Analysis to Improve Software Quality and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?