Automating the Search for ‘Silent’ Software Bugs

Suman Jana and his colleagues have developed an automated tool that finds bad error code in the C programming language. Silent bugs are among the hardest software flaws to catch. They rarely cause a program to freeze or crash, but can leave a computer open to attack until they are found and fixed. Suman Jana, a computer science professor at Columbia Engineering and a member of the Data Science Institute, has led the development of a new tool to root out a type of silent bug that lurks in error-handling code, the set of instructions in a program that tells users when something has gone wrong. Jana and his colleagues outline their automated bug-finder in a paper presented earlier this month at the International Conference on Automated Software Engineering in…


Link to Full Article: Automating the Search for ‘Silent’ Software Bugs