#include <stdlib.h>
#include <stdio.h>
#include <errno.h>
#include <unistd.h>

int main(int argc, const char** argv, const char** envp) {
    int r;
    char* badptr = (char*) -1;

    char* bad_argv[]  = { badptr,  NULL };
    char* good_argv[] = { "DUMMY", NULL };

    char* bad_envp[]  = { badptr,  NULL };
    char* good_envp[] = { "DUMMY", NULL };

    r = execve(badptr, good_argv, good_envp);
    if (r == -1 && errno == EFAULT)
        printf("execve(invalid-path) correctly returned error\n");

    r = execve(argv[0], badptr, good_envp);
    if (r == -1 && errno == EFAULT)
        printf("execve(invalid-argv-ptr) correctly returned error\n");

    r = execve(argv[0], good_argv, badptr);
    if (r == -1 && errno == EFAULT)
        printf("execve(invalid-envp-ptr) correctly returned error\n");

    r = execve(argv[0], bad_argv, good_envp);
    if (r == -1 && errno == EFAULT)
        printf("execve(invalid-argv) correctly returned error\n");

    r = execve(argv[0], good_argv, bad_envp);
    if (r == -1 && errno == EFAULT)
        printf("execve(invalid-envp) correctly returned error\n");

    return 0;
}