From 77482e923f970af7468833d9fe4ad3cfbbc49711 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 25 Feb 2019 09:10:41 +0100
Subject: [PATCH] [obfuscator] Do not obfuscate builtin logic types and
constructors.
---
src/plugins/obfuscator/obfuscate.ml | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/src/plugins/obfuscator/obfuscate.ml b/src/plugins/obfuscator/obfuscate.ml
index f602d521aaa..5eb3a8bf65f 100644
--- a/src/plugins/obfuscator/obfuscate.ml
+++ b/src/plugins/obfuscator/obfuscate.ml
@@ -161,11 +161,15 @@ class visitor = object
Cil.DoChildren
method! vlogic_type_info_decl lti =
- lti.lt_name <- Dictionary.fresh Obfuscator_kind.Logic_type lti.lt_name ;
+ if not (Logic_env.is_builtin_logic_type lti.lt_name)
+ then lti.lt_name <- Dictionary.fresh Obfuscator_kind.Logic_type lti.lt_name ;
Cil.DoChildren
method! vlogic_ctor_info_decl lci =
- lci.ctor_name <- Dictionary.fresh Obfuscator_kind.Logic_constructor lci.ctor_name ;
+ if not (Logic_env.is_builtin_logic_ctor lci.ctor_name)
+ then
+ lci.ctor_name <-
+ Dictionary.fresh Obfuscator_kind.Logic_constructor lci.ctor_name ;
Cil.DoChildren
method! vattr = function
--
GitLab