Static Bound Analysis of Dynamically Allocated Resources for C Programs

Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang. Static Bound Analysis of Dynamically Allocated Resources for C Programs. In Zhi Jin, Xuandong Li, Jianwen Xiang, Leonardo Mariani, Ting Liu, Xiao Yu, Nahgmeh Ivaki, editors, 32nd IEEE International Symposium on Software Reliability Engineering, ISSRE 2021, Wuhan, China, October 25-28, 2021. pages 390-400, IEEE, 2021. [doi]

Authors

Guangsheng Fan

This author has not been identified. Look up 'Guangsheng Fan' in Google

Taoqing Chen

This author has not been identified. Look up 'Taoqing Chen' in Google

Banghu Yin

This author has not been identified. Look up 'Banghu Yin' in Google

Liqian Chen

This author has not been identified. Look up 'Liqian Chen' in Google

Tengbin Wang

This author has not been identified. Look up 'Tengbin Wang' in Google

Ji Wang

This author has not been identified. Look up 'Ji Wang' in Google