A new abstract interpreter for performing function-local analysis#6529

Draft

martin-cs wants to merge 3 commits intodiffblue:developfrom martin-cs:feature/ai-local-analysis

+105-31

Commits on Feb 2, 2024

Move the handling of whole program analysis into the interprocedural code

martin
authored and
martin-cs
committed
Create a new kind of abstract interpreter that does function-local analysis

martin
authored and
martin-cs
committed
Add support for function-local analysis to goto-analyser
martin-cs
committed