Certified robustness of static deep learning-based malware detectors against patch and append attacks | Open Awesome