Static memory leak detection using full-sparse value-flow analysis.
Yulei SuiDing YeJingling XuePublished in: ISSTA (2012)
Keyphrases
- flow analysis
- leak detection
- information flow
- sparse data
- memory usage
- forensic analysis
- memory requirements
- high dimensional
- memory space
- memory size
- decision making
- random access
- computational power
- sparse representation
- computing power
- compressive sensing
- neural network
- support vector machine
- compressed sensing
- sparse matrix
- sparse coding
- fault diagnosis