--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on January 2014 ---
Dear all, Here I want to know how to get the defined locations or variables of a corresponding statement. For example in the following function: We can easily get that the variable or location S_sum is defined in the statement 5: *sum += A[i]; int main(int *A, int size, int *sum) { *sum = 0; for(int i = 0; i < size; i++) { *sum += A[i]; /* stmt 5 */ } } But I don't know how to get such varibles from the value state of this statement programatically. Besides, I can't find any API function from the API document. Thanks. -david