Writing an Intra Procedural Monotone Framework Analysis

This is probably the easiest analysis one can write and as a beginner, you may want to start here. Using the (intra-procedural) monotone framework, a data-flow analysis problem can be described within a single 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, just implement the IntraMonotoneProblem interface. The implementation is then handed over to the corresponding IntraMonotoneSolver which solves the analysis problem.