Blog Archives
DERBYCON 4.0 – A Bug or Malware? Catastrophic consequences either way.
Abstract: We live in an age of software problems with catastrophic consequences. An extra goto in Apple’s SSL implementation comprised certificate checks for the better part of a year. An erroneous integer conversion in the Ariane 5 launch destroyed the European Space Agency rocket and its cargo valued at 500 million dollars. Often the problem […]
Categories: Talks
Tags: Benjamin Holland, Suresh Kothari
ICSE 2014 – Atlas: A New Way to Explore Software, Build Analysis Tools
Abstract: Atlas is a new software analysis platform from EnSoft Corp. Atlas decouples the domain-specific analysis goal from its underlying mechanism by splitting analysis into two distinct phases. In the first phase, polynomial-time static analyzers index the software AST, building a rich graph database. In the second phase, users can explore the graph directly or […]
Categories: Papers