[analysis-scripts] minor fixes

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"

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.
 #