The Role of Implementation-Specific Static Analysis

C++ Standard Template Library (STL) is the most well-known library based on the generic programming paradigm. Unfortunately, C++ compilers cannot validate the usage of the library comprehensively. Classical problems (e.g. memory leak) can be solved with the STL, however, new kinds of errors appeared. Using static analysis is a feasible way to achieve an improved validation of the C++ STL’s usage.In this paper, we describe cases when special analysis can be applied for the reduction of false positive findings. We present our tool for detecting internal copies of stateful predicates in the library implementation that can be a subtle headache during development. We evaluate our tool with open source projects.