A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
Primary LanguageCApache License 2.0Apache-2.0