Mercurial > pysmcl
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)