sourceanalyzer -b benchmark -Xmx10G -scan -f results/Benchmark_1.2_Fortify.fpr