From 8f62878c9d1f6360d646725ce35c4388e9c17ba7 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 7 Sep 2021 21:21:55 +0200
Subject: [PATCH] [Eva] fix typo
---
src/plugins/value/domains/taint_domain.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/value/domains/taint_domain.ml b/src/plugins/value/domains/taint_domain.ml
index 9500b3ed68d..c4ab2b01ecc 100644
--- a/src/plugins/value/domains/taint_domain.ml
+++ b/src/plugins/value/domains/taint_domain.ml
@@ -207,7 +207,7 @@ module TransferTaint = struct
let lv_zone, lv_indirect_zone, singleton = compute_zones lval to_loc in
let exp_zone = Value_util.zone_of_expr to_loc exp in
(* [lv] becomes data-tainted if a memory location on which the value of
- [exp] is data-tainted. *)
+ [exp] depends on is data-tainted. *)
let data_tainted = Zone.intersects state.locs_data exp_zone in
(* [lv] becomes control-tainted if:
- the current call depends on a tainted assume statements of a caller;
--
GitLab