The final, formatted version of the article will be published soon. Value analysis is the task of understanding what concrete values a program might compute for each variable or memory region.