Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities /
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due to the high cost of software errors - particularly with respect to security vulnerabilities. However, research into new analysis techniques is often hampered by the technical di...
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
London :
Springer London,
2008.
|
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
