changeset 217:121f28df6811

secret_analysis: fix bug in keeping record of managed functions
author Sigurd Meldgaard <stm@daimi.au.dk>
date Wed, 23 Dec 2009 14:32:20 +0100
parents 7c32c0b6bc39
children 35a38b49b5cd
files pysmcl/secret_annotator.py
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/pysmcl/secret_annotator.py	Wed Dec 23 14:31:42 2009 +0100
+++ b/pysmcl/secret_annotator.py	Wed Dec 23 14:32:20 2009 +0100
@@ -134,3 +134,4 @@
     function.body[0].imported_secrets = secrets
     pysmcl.flow.analyze(function, secret_join,
                         secret_combine, analysis_key, set())
+    non_compromising_functions.add(function.name)