[analysis-scripts] ensure compatibility with Python >=3.7

share/analysis-scripts/benchmark_database.py

@@ -20,6 +20,7 @@
 #                                                                        #
 ##########################################################################
 
+from __future__ import annotations
 import os
 import csv
 import sqlite3

share/analysis-scripts/build.py

@@ -27,6 +27,7 @@ analysis GNUmakefile, as automatically as possible.
 NOTE: the tool used to produce such files (blug) is not yet publicly
 available."""
 
+from __future__ import annotations
 import argparse
 import json
 import logging

share/analysis-scripts/build_callgraph.py

@@ -24,6 +24,7 @@
 """This script finds files containing likely declarations and definitions
 for a given function name, via heuristic syntactic matching."""
 
+from __future__ import annotations
 import os
 import sys
 

share/analysis-scripts/estimate_difficulty.py

@@ -25,6 +25,7 @@
 """This script uses several heuristics to try and estimate the difficulty
 of analyzing a new code base with Frama-C."""
 
+from __future__ import annotations
 import argparse
 import json
 import os

share/analysis-scripts/list_files.py

@@ -26,6 +26,7 @@
 
 # See: http://clang.llvm.org/docs/JSONCompilationDatabase.html
 
+from __future__ import annotations
 import sys
 import os
 import json

share/analysis-scripts/make_wrapper.py

@@ -26,6 +26,7 @@
 GNUmakefile template): it parses the output and suggests useful commands
 whenever it can, by calling frama-c-script itself."""
 
+from __future__ import annotations
 import argparse
 import collections
 import os

share/analysis-scripts/source_filter.py

@@ -37,6 +37,7 @@ the efficiency of regex-based heuristics."""
 # of errors when running the filters. Note that an absent tool
 # does _not_ lead to an error.
 
+from __future__ import annotations
 import os
 from pathlib import Path
 import shutil