--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on January 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] How to get the defined locations or varinfos of a corresponding statement by using the value state programatically?



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