changeset 208:87a8f29541b5

secret_analysis: support subscripts
author Sigurd Meldgaard <stm@daimi.au.dk>
date Mon, 21 Dec 2009 12:01:44 +0100
parents caf5c50b89d0
children df157db8e521
files pysmcl/secret_annotator.py
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/pysmcl/secret_annotator.py	Mon Dec 21 12:01:00 2009 +0100
+++ b/pysmcl/secret_annotator.py	Mon Dec 21 12:01:44 2009 +0100
@@ -56,6 +56,9 @@
             return False
     elif isinstance(exp, ast.Str):
         return False
+    #Note the difference between index and subscript
+    elif isinstance(exp, ast.Index): 
+        return expr_secret(exp.value, secret_variables)
     elif isinstance(exp, ast.Subscript):
         return expr_secret(exp.value, secret_variables)
     else: