Writing an Intra Procedural Monotone Framework Analysis

This is probably the easiest analysis one can write and if an analysis writer is a beginner, they should definitely start here. Using the (intra-procedural) monotone framework, a data-flow analysis problem can be solved within a single procedure/function (caution: function calls within the function under analysis are not followed, but the call-sites are still in the code and trigger a callback, of course). In order to formulate such an analysis, a user has to implement the IntraMonotoneProblem.h interface. The implementation is then handed over to the corresponding IntraMonotonSolver.h which solves the analysis problem.