Detecting Vector Container Errors in C++ Programs via Abstract Interpretation.

Siyu Liu, Liqian Chen, Guangsheng Fan, Banghu Yin, Chun Huang, Ji Wang

Browse the full ICFEM paper archive.