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

[Frama-c-discuss] Array size in Frama-C



Hello there,

I would like to ask if there is a way to get array size value from Frama-C, either a static or dynamic created array.
For example 
int array1[10];
array2 = malloc(10*sizeof(int));

Or is there any method to work around to get this value in Frama-C?

Thanks!
Phu