int
main (int argc,
char *argv[])
{
test_sprintf ();
test_vsprintf ();
test_strdup ();
test_strndup ();
test_strcat ();
test_strncat ();
test_strcat_sprintf ();
test_strcat_vsprintf ();
test_str_split ();
test_array_new ();
test_array_add ();
test_array_addn ();
test_array_addp ();
test_array_copy ();
test_array_append ();
test_str_wrap ();
test_str_screen_width ();
test_str_screen_wrap ();
return 0;
}
int main()
{
//strcpy
printf("%d\n", test_strcpy("hello", 0));
//strncpy
printf("%d\n", test_strncpy("hellohellohello", 7, 0));
printf("%d\n", test_strncpy("hello", 7, 0));
printf("%d\n", test_strncpy("hellohello", 10, 0));
//strcmp
printf("%d\n", test_strcmp("aaa", "arc", 0));
printf("%d\n", test_strcmp("abc", "abc", 0));
printf("%d\n", test_strcmp("ccc", "abc", 0));
//strncmp
printf("%d\n", test_strncmp("aaaddd", "alcccc", 3, 0));
printf("%d\n", test_strncmp("abcddd", "abcccc", 3, 0));
printf("%d\n", test_strncmp("cccddd", "abcccc", 3, 0));
//strcat
printf("%d\n", test_strcat("world", "hello", 0));
printf("%d\n", test_strcat("fg", "", 0));
printf("%d\n", test_strcat("", "hello", 0));
//strncat
printf("%d\n", test_strncat("world", "hello", 3, 0));
printf("%d\n", test_strncat("world", "hello", 10, 0));
printf("%d\n", test_strncat("", "hello", 10, 0));
//strlen
printf("%d\n", test_strlen("", 0));
printf("%d\n", test_strlen("hello", 0));
//strchr
printf("%d\n", test_strchr("world", 'r', 0));
printf("%d\n", test_strchr("world", 'a', 0));
printf("%d\n", test_strchr("", 'a', 0));
//strstr
printf("%d\n", test_strstr("world", "rl", 0));
printf("%d\n", test_strstr("needle", "nee", 0));
printf("%d\n", test_strstr("world", "hello", 0));
return 0;
}
int main(int argc, char **argv)
{
test_strcmp();
test_strcat();
test_strstr();
test_strncat();
if (!nondet) crashes_gcc();
test_strtok();
test_strtok_r();
return 0;
}
int main(int argc, char **argv)
{
test_strcmp();
test_strcat();
test_strstr();
test_strncat();
if (!nondet) crashes_gcc();
test_strtok();
test_strtok_r();
char *a = strdup("bla"); // unsound; specification currently unsupported
char *b = strndup("bla", 2); // unsound; specification currently unsupported
return 0;
}
int main(int argc, char** argv){
#ifdef USE_SECURE_LIB
printf("USE secure lib\n");
#else
printf("NOT USE secure lib\n");
#endif
test_strncpy();
test_strncat();
test_strlen();
test_snprintf();
test_popen();
test_usleep();
return 0;
}
int main()
{
test_strchr();
test_strcmp();
test_strncmp();
test_strcpy();
test_strncpy();
test_strcspn();
test_strlen();
test_strcat();
test_strncat();
test_strpbrk();
test_strrchr();
test_strspn();
test_strstr();
test_strtok();
return 0;
}
