From 3e0aaa12e7fae777009abd655ddb0afcb1ed0b2a Mon Sep 17 00:00:00 2001 From: Andre Maroneze <andre.maroneze@cea.fr> Date: Thu, 3 Feb 2022 22:40:05 +0100 Subject: [PATCH] [analysis-scripts] sort imports --- share/analysis-scripts/build.py | 2 +- share/analysis-scripts/build_callgraph.py | 3 ++- share/analysis-scripts/estimate_difficulty.py | 7 ++++--- 3 files changed, 7 insertions(+), 5 deletions(-) diff --git a/share/analysis-scripts/build.py b/share/analysis-scripts/build.py index 79ad1427d10..58fa55f9b53 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 792579d2121..8600390f536 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 a094921366e..5926d52a0c9 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 -- GitLab