Static Analysis for Software Reliability and Security

Because people make software, they cannot avoid software errors. So, developers often use static analysis in the implementation phase to diagnose and correct these errors. In this paper, we divide the input value requirements of a code of binary search into two perspectives: reliability and security, and deal with the static analysis for the implemented program. The result of static analysis can be either true positive or false positive, depending on which aspect the developer sees. Regardless of what point of view, distinguishing between true positive and false positive is carried out. It takes a lot of time and effort to determine whether it is a true positive or a false positive. After performing static analysis, it is more efficient for programmers to modify all alarms to the correct code without dividing their views.