Mercurial > pysmcl
changeset 232:3a5b4f442381
Moved info about functions out of ideal functionality
| author | Sigurd Meldgaard <stm@daimi.au.dk> |
|---|---|
| date | Mon, 04 Jan 2010 14:06:48 +0100 |
| parents | a096603611ba |
| children | b295826e28d3 |
| files | pysmcl/ideal_functionality.py |
| diffstat | 1 files changed, 1 insertions(+), 5 deletions(-) [+] |
line wrap: on
line diff
--- a/pysmcl/ideal_functionality.py Mon Jan 04 12:54:47 2010 +0100 +++ b/pysmcl/ideal_functionality.py Mon Jan 04 14:06:48 2010 +0100 @@ -13,6 +13,7 @@ debug = True + def catcher(f): def c(*args, **kwargs): try: @@ -41,11 +42,6 @@ pysmcl.secret_annotator.secret_analysis(function_ast) bad_calls(function_ast) - pysmcl.secret_annotator.non_compromising_functions.add(function_ast.name) - pysmcl.secret_annotator.annotated_functions.add(function_ast.name) - if(pysmcl.secret_annotator.returns_secret(function_ast)): - pysmcl.secret_annotator.secret_functions.add(function_ast.name) - runtime_sugar(function_ast) t.decorator_list.pop() # pysmcl.proof_burden.proof_burden(t)