static int dev_valid_name(const char *name) 
int dev_valid_name(const char *name) 
static int dev_valid_name(const char *name){	return !(*name == '\0' 		 || !strcmp(name, ".")		 || !strcmp(name, "..")		 || strchr(name, '/'));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c2373ee98982a1c842dfb213c398f388d4227e63/dev.c/buggy/net/core/dev.c