Analyses to produce tags of the fields read/written by statements (including method calls) for passing side-effect information to JITs.