]>
Commit | Line | Data |
---|---|---|
98ed3b22 | 1 | typedef /*@untainted@*/ char *ucharp_t; |
2 | extern void checkUntainted (ucharp_t *s) ; | |
3 | typedef /*@tainted@*/ char *tcharp_t; | |
4 | extern void checkTainted (tcharp_t *s) ; | |
5 | ||
6 | void test (/*@tainted@*/ char *def) | |
7 | { | |
8 | checkTainted (&def); /* okay */ | |
9 | checkUntainted (&def); /* error */ | |
10 | } |