دورية أكاديمية
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 |
Full Text Finder | تدمد: | 21693536 |
|---|---|
| DOI: | 10.1109/ACCESS.2024.3409838 |