From 172f95cda4b7e66ef05365a4972ad9be08691803 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:55:01 +0200
Subject: [PATCH] [ivette] Changes taint colors to avoid confusion with
precision colors in dive.
---
ivette/src/frama-c/kernel/Properties.tsx | 2 +-
ivette/src/frama-c/plugins/dive/style.json | 8 ++++----
2 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/ivette/src/frama-c/kernel/Properties.tsx b/ivette/src/frama-c/kernel/Properties.tsx
index 2f21e3e4b43..f07eae5f7fa 100644
--- a/ivette/src/frama-c/kernel/Properties.tsx
+++ b/ivette/src/frama-c/kernel/Properties.tsx
@@ -262,7 +262,7 @@ const renderTaint: Renderer<States.Tag> =
let color = 'black';
switch (taint.name) {
case 'not_tainted': id = 'DROP.EMPTY'; color = '#00B900'; break;
- case 'direct_taint': id = 'DROP.FILLED'; color = '#FF8300'; break;
+ case 'direct_taint': id = 'DROP.FILLED'; color = '#882288'; break;
case 'indirect_taint': id = 'DROP.FILLED'; color = '#73BBBB'; break;
case 'error': id = 'HELP'; break;
case 'not_applicable': id = 'MINUS'; break;
diff --git a/ivette/src/frama-c/plugins/dive/style.json b/ivette/src/frama-c/plugins/dive/style.json
index 266794108d8..ff9498762f5 100644
--- a/ivette/src/frama-c/plugins/dive/style.json
+++ b/ivette/src/frama-c/plugins/dive/style.json
@@ -177,17 +177,17 @@
{
"selector": "node[taint='direct']",
"style": {
- "underlay-color": "#afa",
+ "underlay-color": "#882288",
"underlay-padding": "14px",
- "underlay-opacity": 1.0
+ "underlay-opacity": 0.4
}
},
{
"selector": "node[taint='indirect']",
"style": {
- "underlay-color": "#afa",
+ "underlay-color": "#73BBBB",
"underlay-padding": "14px",
- "underlay-opacity": 0.5
+ "underlay-opacity": 0.8
}
},
{
--
GitLab