Extracts statically resolvable memory read/write addresses and constant register definitions from statements given that the base address is known. This function assumes that the statements are from a single instruction located at the given address, so we do not follow inter-instruction branches (i.e., InterJmp and InterCJmp).