DMCA

A Suite of Abstract Domains for Static Analysis of String Values (2010)

Cached


by G. Costantini , P. Ferrara , A. Cortesi