November 10, 2008
Paul Anderson in VME and Critical Systems
"Static analysis and the impact of the target architecture" by Paul Anderson was published today in VME and Critical Systems. An excerpt appears below, with a link to the full article.
Static analysis and the impact of the target architecture
By Paul Anderson
[...]
A new breed of static analysis tools has recently become available for finding serious programming flaws in software, and its use is rapidly becoming best practice. These tools work by performing an abstract execution of a model of the program, so they are most effective when that model is as accurate as possible. This means that they must take into account subtleties implied by the target architectures such as sizes of primitive types, data alignment, the treatment of bit fields, and others, in order to counteract the What You See Is Not What You eXecute (WYSINWYX) effect. Accordingly, a thorough understanding of how modern static analysis tools work is a critical foundation of the process.
[...]
See the article on the VME and Critical Systems website
About Grammatech
GrammaTech's static-analysis tools are used worldwide by startups,
Fortune 500 companies, educational institutions, and government
agencies. The staff includes ten researchers with PhDs in programming
languages and program analysis. The company has offices in Ithaca, New
York, and San Jose, California. More information about GrammaTech can
be found at www.grammatech.com.
GrammaTech, Inc.
317 N. Aurora St.
Ithaca, NY 14850 USA
phone: 607-273-7340
fax: 607-273-8752
e-mail: info@grammatech.com