Value-Range Analysis of C Programs
Towards Proving the Absence of Buffer Overflow Vulnerabilities
Autor:
Axel Simon
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
826.62
lei
Value-Range Analysis of C Programs describes a static analysis for detecting buffer overflows. While...