Software Safety .Net, http://www.softwaresafety.net , is a clearing house for items related to Software Safety, particularly in the Embedded Systems and hardware design realms.
Friday, December 19, 2008
Embedded System Compilers generate dangerous code
Volatiles Are Miscompiled, and What to Do about It by Eric Eide and John Regehr raises some troubling concerns about the tools that form the cornerstone of many Embedded Systems that we depend on daily.
They ask the question Why are compilers so buggy? then follow up with several reasons. Mostly due to the badly generated code that involves the C keyword 'volatile'.
Code is presented to test and in some cases correct this hidden software danger.