 |
This figure is the static analysis result for binary search code implemented according to Case 1, 2. The Overflow checker of a static analysis tool reports an overflow in line 7 of the binary_search function. The problem here is that it takes a lot of time and effort to determine whether this alarm is a true or false positive. If this figure is the static analysis result of the code implemented according to Case 1, it is a false positive in terms of reliability. On the other hand, if this figure is the static analysis result of the code implemented according to Case 2, it is a true positive in terms of reliability. Even if the defined first and last have 100, a maximum value, based on Case 1, it is a false positive because overflow does not occur. |
IEEE/ICACT20210212 Slide.13
[Big Slide]