Draft: Incremental Function Analysis
This merge request is part of a GSoC project.
Functions are analyzed independently but can be strengthened incrementally.
This merge request is part of a GSoC project.
Functions are analyzed independently but can be strengthened incrementally.