Static Bound Analysis of Dynamically Allocated Resources for C Programs.

Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang

Browse the full ISSRE paper archive.