Stored the hit and nohit results into an ArrayList to be input into
Wenhao's static analysis.