MLEE: Effective Detection of Memory Leaks on Early-Exit Paths in OS Kernels.

Published in: USENIX Annual Technical Conference (2021)

Keyphrases

operating system
false positives
automatic detection
memory space
high quality
open source
shortest path
automatic identification
memory requirements
information flow
event detection
db universal database
optimal path
detection accuracy
database
information systems
neural network