diff --git a/share/analysis-scripts/build.py b/share/analysis-scripts/build.py index 79ad1427d1043bf34b6be05f70814abee6bfe41e..58fa55f9b53a10e8a7735b93687cb71553de6b29 100755 --- a/share/analysis-scripts/build.py +++ b/share/analysis-scripts/build.py @@ -30,11 +30,11 @@ import glob import json import logging import os +from pathlib import Path import re import shutil import sys import subprocess -from pathlib import Path import function_finder diff --git a/share/analysis-scripts/build_callgraph.py b/share/analysis-scripts/build_callgraph.py index 792579d212131d13a40ff701887e4a9d33a0499f..8600390f53605079a95a9c4f46889458aca619db 100755 --- a/share/analysis-scripts/build_callgraph.py +++ b/share/analysis-scripts/build_callgraph.py @@ -25,9 +25,10 @@ # This script finds files containing likely declarations and definitions # for a given function name, via heuristic syntactic matching. -import sys import os import re +import sys + import function_finder arg = "" diff --git a/share/analysis-scripts/estimate_difficulty.py b/share/analysis-scripts/estimate_difficulty.py index a094921366e2f00270798b25a329383c19e5d08a..5926d52a0c9d0bf22a4940248fec2c3e7fd0c06c 100755 --- a/share/analysis-scripts/estimate_difficulty.py +++ b/share/analysis-scripts/estimate_difficulty.py @@ -26,16 +26,17 @@ # of analyzing a new code base with Frama-C. import argparse -import build_callgraph -import function_finder import json import os -from pathlib import Path +from pathlib import Path import re import subprocess import sys import tempfile +import build_callgraph +import function_finder + #TODO : avoid relativizing paths when introducing too many ".." ; #TODO : accept directory as argument (--full-tree), and then do glob **/*.{c,i} inside #TODO : try to check the presence of compiler builtins