[Ivette] Sidebar: improves functions filtering.

Adds filters for intern or extern functions.
Adds the possibility to see only undefined functions or functions unreached
by the Eva analysis.

ivette/src/frama-c/kernel/Globals.tsx

@@ -136,12 +136,20 @@ export default function Globals(): JSX.Element {
     useFlipSettings('ivette.globals.stdlib', false);
   const [builtin, flipBuiltin] =
     useFlipSettings('ivette.globals.builtin', false);
+  const [def, flipDef] =
+    useFlipSettings('ivette.globals.def', true);
   const [undef, flipUndef] =
     useFlipSettings('ivette.globals.undef', true);
-  const [selected, flipSelected] =
-    useFlipSettings('ivette.globals.selected', false);
-  const [evaOnly, flipEvaOnly] =
-    useFlipSettings('ivette.globals.evaonly', false);
+  const [intern, flipIntern] =
+    useFlipSettings('ivette.globals.intern', true);
+  const [extern, flipExtern] =
+    useFlipSettings('ivette.globals.extern', true);
+  const [evaAnalyzed, flipEvaAnalyzed] =
+    useFlipSettings('ivette.globals.eva-analyzed', true);
+  const [evaUnreached, flipEvaUnreached] =
+    useFlipSettings('ivette.globals.eva-unreached', true);
+    const [selected, flipSelected] =
+      useFlipSettings('ivette.globals.selected', false);
   const multipleSelection = selection?.multiple;
   const multipleSelectionActive = multipleSelection?.allSelections.length > 0;
   const evaComputed = States.useSyncValue(computationState) === 'computed';
@@ -159,8 +167,13 @@ export default function Globals(): JSX.Element {
     const visible =
       (stdlib || !fct.stdlib)
       && (builtin || !fct.builtin)
+      && (def || !fct.defined)
       && (undef || fct.defined)
-      && (!evaOnly || !evaComputed ||
+      && (intern || fct.extern)
+      && (extern || !fct.extern)
+      && (evaAnalyzed || !evaComputed ||
+        !('eva_analyzed' in fct && fct.eva_analyzed === true))
+      && (evaUnreached || !evaComputed ||
         ('eva_analyzed' in fct && fct.eva_analyzed === true))
       && (!selected || !multipleSelectionActive || isSelected(fct));
     return visible || (!!current && fct.name === current);
@@ -182,24 +195,48 @@ export default function Globals(): JSX.Element {
         checked: stdlib,
         onClick: flipStdlib,
       },
+      'separator',
+      {
+        label: 'Show defined functions',
+        checked: def,
+        onClick: flipDef,
+      },
       {
         label: 'Show undefined functions',
         checked: undef,
         onClick: flipUndef,
       },
       'separator',
+      {
+        label: 'Show intern functions',
+        checked: intern,
+        onClick: flipIntern,
+      },
+      {
+        label: 'Show extern functions',
+        checked: extern,
+        onClick: flipExtern,
+      },
+      'separator',
+      {
+        label: 'Show functions analyzed by Eva',
+        enabled: evaComputed,
+        checked: evaAnalyzed,
+        onClick: flipEvaAnalyzed,
+      },
+      {
+        label: 'Show functions unreached by Eva',
+        enabled: evaComputed,
+        checked: evaUnreached,
+        onClick: flipEvaUnreached,
+      },
+      'separator',
       {
         label: 'Selected only',
         enabled: multipleSelectionActive,
         checked: selected,
         onClick: flipSelected,
       },
-      {
-        label: 'Analyzed by Eva only',
-        enabled: evaComputed,
-        checked: evaOnly,
-        onClick: flipEvaOnly,
-      },
     ];
     Dome.popupMenu(items);
   }