Smoke: scalable path-sensitive memory leak detection for millions of lines of code.
Gang FanRongxin WuQingkai ShiXiao XiaoJinguo ZhouCharles ZhangPublished in: ICSE (2019)
Keyphrases
- leak detection
- limited memory
- low memory
- source code
- massive scale
- line segments
- shortest path
- memory requirements
- hough transform
- highly scalable
- main memory
- memory usage
- tens of thousands
- operating system
- smoke detection
- memory size
- memory efficient
- web scale
- line drawings
- straight line
- random access
- address space
- computational power
- windows xp