Tagged Static Analysis