Summary Based Static Analysis for Practical Search for Defects in C Programs and Libraries.

Alexey Borodin

Browse the full ICST paper archive.