Combining Static Analysis With Directed Symbolic Execution for Scalable and Accurate Memory Leak Detection.
Hayk AslanyanHovhannes MovsisyanHripsime HovhannisyanZhora GevorgyanRuslan MkoyanArutyun AvetisyanSevak SargsyanPublished in: IEEE Access (2024)