From 8db03da6f037c17f1edb28248ecea3164a9253a9 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Tue, 31 May 2022 15:11:18 +0200
Subject: [PATCH] [Analysis Scripts] add dump to CSV
---
share/analysis-scripts/summary.py | 24 +++++++++++++++++++++++-
1 file changed, 23 insertions(+), 1 deletion(-)
diff --git a/share/analysis-scripts/summary.py b/share/analysis-scripts/summary.py
index 5429eca8817..b2ee5d102f1 100755
--- a/share/analysis-scripts/summary.py
+++ b/share/analysis-scripts/summary.py
@@ -30,6 +30,7 @@ import os
import signal
import argparse
import uuid
+import csv
from pathlib import Path
import frama_c_results
@@ -145,6 +146,22 @@ def poll_results(targets, benchmark_tag):
return results
+def dump_results_csv(results, path):
+ with open(path, 'w', newline='') as file:
+ fieldnames = [
+ "target_name", "timestamp",
+ "sem_reach_fun", "syn_reach_fun", "total_fun",
+ "sem_reach_stmt", "syn_reach_stmt",
+ "alarms", "warnings", "coverage",
+ "user_time", "memory"]
+ writer = csv.DictWriter(
+ file,
+ fieldnames=fieldnames,
+ extrasaction='ignore')
+ writer.writeheader()
+ writer.writerows(results)
+
+
def run_analyses(display, database, framac, benchmark_tag):
results = []
targets = list_targets(".")
@@ -201,7 +218,9 @@ parser.add_argument("-c", "--comment",
parser.add_argument("-p", "--repository-path",
action="store", metavar="PATH",
help="don't clone Frama-C, use this git repository instead")
-
+parser.add_argument("-o", "--output-csv",
+ action="store", metavar="PATH", type=Path,
+ help="output the results to the given CSV file")
errors = b""
@@ -241,6 +260,9 @@ try:
print("Results:\n")
results_display.PlainDisplay().print_table(results)
+ if args.output_csv is not None:
+ dump_results_csv(results, args.output_csv)
+
except OperationException as e:
errors += bytearray(str(e), "ascii")
--
GitLab