As Section 2 illustrated, automatic inline allocation requires two analyses: first, all uses of fields in inlined objects must be found precisely so that the appropriate inlined field can be used instead; we call this use specialization. Second, assignments to the reference field being removed must be found, and we must verify that converting these to assignments to update the inlined fields is safe; we call this assignment specialization.