1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
typedef int *abst;
/*@noaccess abst*/
int main (void)
{
abst a;
int b = 3;
abst *ap = (abst *) NULL;
abst *ap2 = NULL;
void *vp;
int *ip;
vp = ap ; /* 1. Assignment of abst * to void *: vp = ap */
ip = ap2; /* 2. Assignment of abst * to int *: ip = ap2 */
ap = ip ; /* 3. Assignment of int * to abst *: ap = ip */
vp = (void *) ap ; /* 4. Cast from underlying abstract type abst *: (void *)ap */
a = *ap ; /* 5. Possible dereference of null pointer: *ap */
*ap = a ;
vp = (void *)&a ; /* 6. Cast from underlying abstract type abst *: (void *)&a */
ap = (abst *)&b ; /* 7. Cast to underlying abstract type abst *: (abst *)&b */
ap = &b; /* 8. Assignment of int * to abst *: ap = &b */
*ap = b; /* 9. Assignment of int to abst: *ap = b */
return 12;
}
|
