Interprocedural path-sensitive resource leaks detection for C programs.
Xiujuan JiJufeng YangJing XuLei FengXiaohong LiPublished in: Internetware (2012)
Keyphrases
- automatic detection
- detection accuracy
- detection algorithm
- resource allocation
- resource management
- data sets
- real time
- detection scheme
- false alarms
- detection rate
- change detection
- false positives
- object detection
- object recognition
- detection method
- shortest path
- anomaly detection
- web resources
- image sequences
- learning algorithm
- resource constraints
- automatic identification
- database
- automatic programming