data and program analysis