generating html reports for S2E