دورية أكاديمية
Combining Static Analysis With Directed Symbolic Execution for Scalable and Accurate Memory Leak Detection
العنوان: | Combining Static Analysis With Directed Symbolic Execution for Scalable and Accurate Memory Leak Detection |
---|---|
المؤلفون: | Aslanyan, H., Movsisyan, H., Hovhannisyan, H., Gevorgyan, Z., Mkoyan, R., Avetisyan, A., Sargsyan, S. |
المصدر: | IEEE Access Access, IEEE. 12:80128-80137 2024 |
قاعدة البيانات: | IEEE Xplore Digital Library |
تدمد: | 21693536 |
---|---|
DOI: | 10.1109/ACCESS.2024.3409838 |