Black-box testing based on colorful taint analysis

Software vulnerability detection is one of the most important methods for guaranteeing software security. Two main classes of methods can detect vulnerabilities in binary files： white-box testing and black-box testing. The former needs to construct and solve path constraints to detect vulnerabilitie...

Ausführliche Beschreibung