Deterministic Static Analysis

摘要

The paper describes the issues that were found during fixing the nondeterministic behaviour of the Svace static analyzer and the approaches we have used to fix those issues. To ensure determinism, a lot of analysis phases and the build process were reworked. In addition, the stability of the analyzer results for small changes in input data is increased.