analysis with bugs