Coarse framework of backward analysis from source container to entry point