{b {C 1.5.8}}

{i {C Nicolas Barr√©, Delphine Demange, Laurent Hubert, Vincent Monfort, David Pichardie and Pierre Vittet}}

{i {C February 2020}}

{2 {L Documentation}}

{b {L High level manipulations of programs}}
{!modules: JProgram JControlFlow JType JNativeStubs JCRA JRTA JRRTA XTA}

{b {L Intermediate Representations}}
{!modules: JBir A3Bir JBirSSA A3BirSSA}

{b {L Tools for static analysis}}
{L Fixpoint solvers}
{!modules: Iter Safe}

{L Examples of static analyses}
{!modules: Live_bir ReachDef AvailableExpr ReachableMethods}

{b {L Printing programs}}
{!modules: JPrintHtml}

{b {L Create an analysis for the Sawja Eclipse plugin}}
{!modules: ArgPlugin JPrintPlugin}

{b {L Indexes}}

{!indexlist}

{i {C Others contributors: Florent Kirchner and Tiphaine Turpin}}
