1 result found Sort:

SoftwareSecurityLab
UbSym SoftwareSecurityLab
9
43
apache-2.0
1
A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
double-free heap-overflow stack-overflow use-after-free memory-corruption symbolic-execution vulnerability-detection
Created 2022-09-29
37 commits to main branch, last one about a year ago