Home | History | Annotate | Download | only in analyzer

Lines Matching refs:label

53   start -> unchecked [label="on 'X=malloc(...);'"];
54   start -> unchecked [label="on 'X=calloc(...);'"];
56   start -> non_heap [label="on 'X=alloca(...);'"];
57   start -> non_heap [label="on 'X=__builtin_alloca(...);'"];
60   start -> freed [label="on 'free(X);'"];
61   unchecked -> freed [label="on 'free(X);'"];
62   nonnull -> freed [label="on 'free(X);'"];
63   freed -> stop [label="on 'free(X);':\n Warn('double-free')"];
64   non_heap -> stop  [label="on 'free(X);':\n Warn('free of non-heap')"];
67   unchecked -> nonnull [label="on 'FN(X)' with __attribute__((nonnull)):\nWarn('possible NULL arg')"];
68   null -> stop [label="on 'FN(X)' with __attribute__((nonnull)):\nWarn('NULL arg')"];
71   start -> null [label="on 'X = 0;'"];
72   unchecked -> null [label="on 'X = 0;'"];
73   nonnull -> null [label="on 'X = 0;'"];
74   freed -> null [label="on 'X = 0;'"];
76   start -> non_heap [label="on 'X = &EXPR;'"];
79   unchecked -> nonnull [label="on '*X':\nWarn('possible NULL deref')"];
80   null -> stop [label="on '*X':\nWarn('NULL deref')"];
81   freed -> stop [label="on '*X':\nWarn('use after free')"];
84   unchecked -> nonnull [label="on 'X != 0'"];
85   unchecked -> null [label="on 'X == 0'"];
87   unchecked -> stop [label="on leak:\nWarn('leak')"];
88   nonnull -> stop [label="on leak:\nWarn('leak')"];