From 93c3e4b0f5e9809cd55271e65eaa84224afa7bcb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 26 Oct 2022 14:09:37 +0200
Subject: [PATCH] [ivette] Properties table: fixes the taint display.
---
ivette/src/frama-c/kernel/Properties.tsx | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/ivette/src/frama-c/kernel/Properties.tsx b/ivette/src/frama-c/kernel/Properties.tsx
index 992743ff4c8..2f21e3e4b43 100644
--- a/ivette/src/frama-c/kernel/Properties.tsx
+++ b/ivette/src/frama-c/kernel/Properties.tsx
@@ -262,8 +262,8 @@ const renderTaint: Renderer<States.Tag> =
let color = 'black';
switch (taint.name) {
case 'not_tainted': id = 'DROP.EMPTY'; color = '#00B900'; break;
- case 'data_tainted': id = 'DROP.FILLED'; color = '#FF8300'; break;
- case 'control_tainted': id = 'DROP.FILLED'; color = '#73BBBB'; break;
+ case 'direct_taint': id = 'DROP.FILLED'; color = '#FF8300'; break;
+ case 'indirect_taint': id = 'DROP.FILLED'; color = '#73BBBB'; break;
case 'error': id = 'HELP'; break;
case 'not_applicable': id = 'MINUS'; break;
default:
@@ -304,8 +304,8 @@ const byStatus =
const byTaint =
Compare.option(
Compare.byRank(
- 'data_tainted',
- 'control_tainted',
+ 'direct_taint',
+ 'indirect_taint',
'not_tainted',
'error',
'not_applicable',
--
GitLab