Properties and processor is an efficient way to add information to the program representation and to share it with other analyzes.