#include <sys/socket.h>
#include <netdb.h>
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>

int use_specified_socket(FILE *f){
    int status;
    int socketfd;
    char hostname[256];
    struct addrinfo *res;

    if (fgets(hostname, 256, f) == NULL ) return -1;

    status = getaddrinfo(hostname, "80", NULL, &res);
    if (status != 0) {return status;}

    socketfd = socket(res->ai_family, res->ai_socktype, res->ai_protocol);

    if (socketfd == -1) {freeaddrinfo(res); return -1;}
    status = connect(socketfd,   /* 'Tainted Network Address' warning issued here
                                  * when TAINT_MAX_EXPRESSION_COMPLEXITY setting is sufficiently high
                                  * e.g. TAINT_MAX_EXPRESSION_COMPLEXITY=80
                                  * ('Tainted Buffer Access' warning also issued when enabled)
                                  */
                     res->ai_addr,
                     res->ai_addrlen);
    freeaddrinfo(res);
    if (status < 0) {close(socketfd);return status;}
    /* ...remainder of function */
    return close(socketfd);
}