SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems
Primary LanguageCApache License 2.0Apache-2.0