Draft: Incremental Function Analysis

Matthias Kettlrequested to merge
infer-using-dcpas into main

This merge request is part of a GSoC project.

Functions are analyzed independently but can be strengthened incrementally.

Merge request reports