CCured: type-safe retrofitting of legacy code
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
CUTE: a concolic unit testing engine for C
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
High coverage detection of input-related security facults
SSYM'03 Proceedings of the 12th conference on USENIX Security Symposium - Volume 12
| Hi-index | 0.00 |
SUDS is a powerful infrastructure for creating dynamic bug detection tools. Its instrumentation engine is designed in a manner that allows users to create their own correctness models quickly but is flexible to support construction of a wide range of different tools. Several static analysis phases improve the number of bugs found, the quality of the defects detected, and the run-time performance. The effectiveness of SUDS is demonstrated by showing that is capable of finding high-quality bugs with reasonable performance.