Combining Static Analysis With Directed Symbolic Execution for Scalable and Accurate Memory Leak Detection

Today's article comes from the IEEE Access journal. The authors are Aslanyan et al., from the Center of Advanced Software Technologies at the Russian-Armenian University. In this paper the authors showcase a new, less frustrating way to diagnose memory leaks.

DOI: 10.1109/ACCESS.2024.3409838

Book
Book

Members Only

You must be an active Journal Club member to access this content. If you're already a member, click the blue button to login. If you're not a member yet, click the sign-up button to get started.

Login to My Account Sign Up