usr/src/tools/smatch/src/validation/sm_compare.c

5

static int frob(void)

usr/src/tools/smatch/src/validation/sm_float1.c

3

float frob(float x)

usr/src/tools/smatch/src/validation/sm_implied10.c

3

void frob(void){}

usr/src/tools/smatch/src/validation/sm_implied15.c

6

int frob(int *p)

usr/src/tools/smatch/src/validation/sm_implied18.c

5

int frob(int *data)

usr/src/tools/smatch/src/validation/sm_implied19.c

6

void frob(void)

usr/src/tools/smatch/src/validation/sm_implied4.c

4

void frob(void){}

usr/src/tools/smatch/src/validation/sm_implied7.c

3

int frob(void) {

usr/src/tools/smatch/src/validation/sm_implied9.c

3

void frob(void){}

usr/src/tools/smatch/src/validation/sm_indirection1.c

5

int frob(int size)

usr/src/tools/smatch/src/validation/sm_indirection2.c

16

void frob(struct bar *bar)

usr/src/tools/smatch/src/validation/sm_inline1.c

5

int frob(int *x)

usr/src/tools/smatch/src/validation/sm_inline2.c

5

int frob(int *x)

usr/src/tools/smatch/src/validation/sm_locking4.c

4

void frob(void){}

usr/src/tools/smatch/src/validation/sm_mod.c

5

int frob(int size)

usr/src/tools/smatch/src/validation/sm_null_deref2.c

3

void frob(void) {

usr/src/tools/smatch/src/validation/sm_range2.c

4

int frob(void) {

usr/src/tools/smatch/src/validation/sm_range4.c

5

static int frob(void)

usr/src/tools/smatch/src/validation/sm_skb2.c

22

int frob(struct sk_buff *skb)

usr/src/tools/smatch/src/validation/sm_skb3.c

12

int frob(struct sk_buff *skb)