Buggy interprocedural analysis