#vulnerable code 
                                public int fpathconf(int fd, Pathconf name) {
        return libc().fpathconf(fd, name);
    } 
                            #location 2 
                            #vulnerability type NULL_DEREFERENCE
#fixed code
                                public int fpathconf(int fd, Pathconf name) {
        return posix().fpathconf(fd, name);
    }