From 6f3fdb997ac4acafc71ef8fdd33d67d1469c28cb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 26 Jul 2021 15:55:52 +0000
Subject: [PATCH] [Eva] Fixes minor typos in API documentation.
---
src/plugins/value/api/general_requests.ml | 6 +++---
src/plugins/value/domains/taint_domain.mli | 2 +-
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/plugins/value/api/general_requests.ml b/src/plugins/value/api/general_requests.ml
index 95359daf0e6..075e7e7f88a 100644
--- a/src/plugins/value/api/general_requests.ml
+++ b/src/plugins/value/api/general_requests.ml
@@ -149,12 +149,12 @@ module Taint = struct
let tag_tainted =
tag (Ok true) "tainted" "yes"
"Tainted property: this property is related to a memory zone that \
- can be affected by an attacker, according to the Eva taint domain."
+ can be affected by an attacker, according to the Eva taint domain"
let tag_not_tainted =
tag (Ok false) "not_tainted" "no"
"Untainted property: this property is safe, \
- according to the Eva taint domain."
+ according to the Eva taint domain"
let () = Enum.set_lookup dictionary
begin function
@@ -166,7 +166,7 @@ module Taint = struct
end
let data = Request.dictionary ~package ~name:"taintStatus"
- ~descr:(Markdown.plain "TODO") dictionary
+ ~descr:(Markdown.plain "Taint status of logical properties") dictionary
include (val data : S with type t = (bool, taint_error) result)
end
diff --git a/src/plugins/value/domains/taint_domain.mli b/src/plugins/value/domains/taint_domain.mli
index b6eb67093d9..c77b897f526 100644
--- a/src/plugins/value/domains/taint_domain.mli
+++ b/src/plugins/value/domains/taint_domain.mli
@@ -30,7 +30,7 @@ val flag: Abstractions.flag
type taint_error =
| NotComputed (** The Eva analysis has not been run, or the taint domain
- were not enabled. *)
+ was not enabled. *)
| Irrelevant (** Properties other than assertions, invariants and
preconditions are irrelevant here. *)
| LogicError (** The memory zone on which the property depends could not
--
GitLab