Towards Efficient Heap Overflow Discovery
Convicting exploitable software vulnerabilities: An efficient input provenance based approach