A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Context-sensitive detection of information exposure bugs with symbolic execution
2014
Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices - InnoSWDev 2014
Static analysis tools used for detecting information exposure bugs can help software engineers detecting bugs without introducing run-time overhead. Such tools can make the detection of information-flow bugs faster and cheaper without having to provide user input in order to trigger the bug detection. In this paper we present a bug-detection tool for detecting information exposure bugs in C/C++ programs. Our tool is context-sensitive and uses static code analysis for bug detection. We developed
doi:10.1145/2666581.2666591
dblp:conf/sigsoft/MunteanEI14
fatcat:nmyagejo35eqjnacrhmlaripoe