Software analysis
Software analysis performs an in-depth examination of a software product to provide a set of objective measures of its current state, which in turn can be used to drive decision-making. Some of the most common applications include fully automatic detection of common bugs, isolation of potential performance issues and early warnings for possible security problems.
Semmle’s ODASA crucially relies on software analysis, integrating the detailed results into a project report.
| Damien Sereni
Damien Sereni specializes in tools for software analysis and bug detection. Damien’s doctoral work focused on creating advanced tools for automatically finding errors in programs. Following his research work he has been able to put this into practice, working on software analysis of Java programs at Semmle. Damien’s responsibilities at Semmle include leading the development of the query optimizer internal to Semmle’s core technology, as well as various consulting projects to integrate this technology with third-party applications. Damien has a BA and doctorate (2006) in Computer Science from Oxford University. |
 |
| Pavel Avgustinov
Pavel’s experience of software analysis ranges from working on compiler optimizations (which exploit the results of software analysis to generate more efficient code) during his doctoral work on the abc compiler for AspectJ to developing and deploying runtime analyses of program behaviour. He has presented the use of SemmleCode as a framework for software analysis at several conferences. Pavel is part of the team developing the query optimizer at the core of Semmle’s technology. He is also leading the effort of applying ODASA to our code base. Pavel has a BA in Mathematics and Computer Science from the University of Oxford, as well as a doctorate in Computer Science from the same institution. |
 |
