CRAX: software CRash analysis for Automatic eXploit generation