In recent years

Integer bugs have been rising sharply and become a potential threat as it is often hidden behind other bugs.In this paper

we propose a tool which can automatically detect Integer bugs.We implement the tool based on static and dynamic program analysis.In the static phase

the tool decompiles a binary and creates the suspect instruction set.In the dynamic phase

it monitors the instructions in the suspect set and generates the test cases to further detect which instructions are real Integer bugs.Our tool has two advantages.First

it provides more accurate and sufficient type information.Second

static analysis reduces the instructions which are monitored at runtime.Experimental results shows that our tool can efficiently detect the Integer bugs in several real-world programs.In addition

our tool has no false negatives and low false positives.