gustavo2358/analysis-cfg

Analysis CFG builds a structural control-flow graph from an Analysis IR Publication. The documented local workflow reads AIR JSON, uses the shared air-java JSON binding to obtain a Publication, builds and projects a CFG, then writes CFG JSON. Projection supports known-subset and strict policies, preserves source coverage and gaps, and represents instructions, jumps, branches, returns, and halts. The graph follows the README’s documented flow and the supplied source tree; detailed launcher and adapter call wiring was not sampled, so uncertain links are omitted. Other analysis modules in the tree are not shown as workflow stages because the README describes dataflow and possible-values analysis as not yet part of this product.