基于复杂控制流的源代码内存泄漏静态检测 (Source Code Memory Leak Static Detection Based on Complex Control Flow).
Xiujuan JiXiaohui SunJing XuPublished in: 计算机科学 (2019)
Keyphrases
- source code
- control flow
- software systems
- open source
- data flow
- high level
- open source software
- software projects
- software maintenance
- static analysis
- software testing
- memory hierarchy
- software evolution
- program understanding
- execution traces
- real world
- free software
- bug localization
- process model
- software repositories
- relational databases
- bug reports
- open source java
- modeling language
- workflow management systems
- software architecture
- case study