Program Analyses For Understanding The Behavior And Performance Of Traditional And Mobile Object-Oriented Software