A buffer overflow benchmark for software model checkers.
| Autor: | Ku, Kelvin, Hart, Thomas E., Chechik, Marsha, Lie, David |
|---|---|
| Zdroj: | Proceedings of the Twenty-Second IEEE/ACM International Conference: Automated Software Engineering; 11/ 5/2007, p389-392, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|