A python tool for indexing, retrieving the output of Flexelint and gathering statistics of the output.