Finds the set of fields that each method reads and/or modifies.
Formally, a method reads the field
F if it contains a reference to
F, or a call to a method that reads
F. Likewise, it assigns to
F if it contains an assignment to
F, or a call to a method that assigns to
F.