Vulnerability Static Analysis for Containers