Bash bug: failure of formal approaches to programming?
Back to news Shellshock’s gravity should not be underestimated You may have heard about Shellshock, a long-standing, recently-discovered bug with serious security consequences. Julien Vanegue commented about this security failure on Twitter: The bash bug is another shiny example which seems to completely escape traditional methods of automated deductive program verification. This was my […]
