Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Towards practical reactive security audit using extended static checkers

Julien Vanegue and Shuvendu Lahiri

Abstract

This paper describes our experience of performing it reactive security audit of known security vulnerabilities in core operating system and browser COM components, using an extended static checker HAVOCLITE . We describe the extensions made to the tool to be applicable on such large C++ components, along with our experience of using an extended static checker in the large. We argue that the use of such checkers as a configurable static analysis in the hands of security auditors can be an effective tool for finding variations of known vulnerabilities. The effort has led to finding and fixing around 70 previously unknown security vulnerabilities in over 10 millions lines operating system and browser code.

Details

Publication typeInproceedings
Published inIEEE Symposium on Security and Privacy (Oakland'13)
> Publications > Towards practical reactive security audit using extended static checkers