Scripts used to post-process the results from Code Maat