M4 - Automated Forensicability for Software