PwnMaster: Automatic Buffer Overflow and Format String Vulnerability Detection and Exploitation | IEEE Conference Publication | IEEE Xplore