diff --git a/bin/frama-c-script b/bin/frama-c-script index 4a1223b4d168302248a86a533157f789bd972682..022f9b140965db5b7d07cff1ccfba1ff712386b2 100755 --- a/bin/frama-c-script +++ b/bin/frama-c-script @@ -52,7 +52,7 @@ usage() { echo " Also opens it in a browser, unless variable NOGUI is set." echo "" echo " - help" - echo " Display this help message and exit." + echo " Displays this help message and exits." echo "" echo " - heuristic-detect-recursion file..." echo " Uses a heuristic, syntactic-based, callgraph to detect recursive" diff --git a/share/analysis-scripts/function_finder.py b/share/analysis-scripts/function_finder.py index d304ccbb0d4872248bdafcbc554ff4aefb6be1ad..e68f15ee479361b58be8bbea9284b2538b0130e5 100755 --- a/share/analysis-scripts/function_finder.py +++ b/share/analysis-scripts/function_finder.py @@ -178,7 +178,7 @@ def find_definitions_and_declarations(want_defs, want_decls, filename, newlines) return res # list of identifiers which are never function calls -calls_blacklist = ["if", "while", "for", "return"] +calls_blacklist = ["if", "while", "for", "return", "sizeof", "switch", "_Alignas"] # Returns a list of tuples (fname, line, offset) for each function call. #