SoftwareSecurityLab / UbSym

A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
43Updated last year

Alternatives and similar repositories for UbSym:

Users that are interested in UbSym are comparing it to the libraries listed below