David A. Kinloch;Malcolm Munro
-;-
An Extensible System for Source Code Analysis
IEEE Transactions on Software Engineering
Qualifying reusable functions using symbolic execution
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering