Determining call parameters based on simplified cfg walker