שליחה במסרון: Principles program analysis.