SoftwareSecurityLab/UbSym

A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes

语言：C · GitHub 星标：49 · Fork：8

话题：double-free · heap-overflow · memory-corruption · stack-overflow · symbolic-execution · use-after-free · vulnerability-detection

在 GitHub 上查看原仓库