TypeDataflow.LocationAndFactPair
getLocationAndFactForInstruction(int pc)
SpotBugs is licensed under the LGPL.