From 489fa37c438ca677fb4192fbaab6e095e293ae66 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime.jacquemin@cea.fr>
Date: Tue, 27 Sep 2022 11:34:22 +0200
Subject: [PATCH] [ivette] Satisfying the linter
---
ivette/src/frama-c/kernel/Properties.tsx | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/ivette/src/frama-c/kernel/Properties.tsx b/ivette/src/frama-c/kernel/Properties.tsx
index 5b66ec5c0d0..992743ff4c8 100644
--- a/ivette/src/frama-c/kernel/Properties.tsx
+++ b/ivette/src/frama-c/kernel/Properties.tsx
@@ -208,9 +208,8 @@ function filterEva(p: Property): boolean {
switch (p.taint) {
case 'not_tainted':
case 'not_applicable':
- const data_tainted_only = filter('eva.data_tainted_only');
- const ctrl_tainted_only = filter('eva.ctrl_tainted_only');
- return !(data_tainted_only || ctrl_tainted_only);
+ return !filter('eva.data_tainted_only') &&
+ !filter('eva.ctrl_tainted_only');
case 'direct_taint':
return !(filter('eva.ctrl_tainted_only'));
case 'indirect_taint':
--
GitLab