#fixed code
                                public int getQSize() {
        int res = 0;
        final Actor actors[] = this.actors;
        for (int i = 0; i < actors.length; i++) {
            Actor a = actors[i];
            res+=a.__mailbox.size();
            res+=a.__cbQueue.size();
        }
        return res;
    }
#vulnerable code 
                                public int getQSize() {
        int res = 0;
        for (int i = 0; i < queues.length; i++) {
            Queue queue = queues[i];
            res+=queue.size();
        }
        for (int i = 0; i < queues.length; i++) {
            Queue queue = cbQueues[i];
            res+=queue.size();
        }
        return res;
    } 
                            #location 3 
                            #vulnerability type THREAD_SAFETY_VIOLATION