#fixed code
                                @Test(timeout = 1000)
    public void testSocketDoubleClose()
    {
        Context ctx = ZMQ.context(1);
        Socket socket = ctx.socket(ZMQ.PUSH);
        socket.close();
        socket.close();
        ctx.term();
    }
#vulnerable code 
                                @Test(timeout = 1000)
    public void testSocketDoubleClose()
    {
        Context ctx = ZMQ.context(1);
        Socket socket = ctx.socket(ZMQ.PUSH);
        socket.close();
        socket.close();
    } 
                            #location 5 
                            #vulnerability type RESOURCE_LEAK