Automated memory leak fixing on value-flow slices for C programs.
Hua YanYulei SuiShiping ChenJingling XuePublished in: SAC (2016)
Keyphrases
- information flow
- memory usage
- data mining
- computing power
- semi automated
- fully automated
- automated analysis
- computer aided
- memory requirements
- blood flow
- answer sets
- memory space
- data driven
- website
- cardiac mri
- automatic programming
- programming environment
- databases
- computer programs
- computational power
- information processing
- associative memory
- computer assisted