What's old is new again with MIT's latest bug finder
Debugging code is a perennial headache for software developers, but scientists have announced a new technique that could make the process significantly easier.
Developed at MIT’s Computer Science and Artificial Intelligence Laboratory and the University of Maryland, the method essentially bridges the gap between the traditional technique of symbolic execution and today's modern software, making it possible to debug code far more efficiently.
Symbolic execution is a software analysis technique that can be used to locate and repair bugs automatically by tracing out every path a program might take during execution. However, the technique doesn't tend to work well with applications written using today’s programming frameworks.
To read this article in full or to leave a comment, please click here