Skip to content
/ UbSym Public

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

License

Apache-2.0 license
43 stars 9 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

SoftwareSecurityLab/UbSym

Error
Looks like something went wrong!

About

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

Topics

symbolic-execution stack-overflow vulnerability-detection memory-corruption use-after-free heap-overflow double-free

Resources

Readme

License

Apache-2.0 license
Activity
Custom properties

Stars

43 stars

Watchers

1 watching

Forks

9 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages