changeset 210:35619b409e2e

secret_annotator: keep list of annotated functions
author Sigurd Meldgaard <stm@daimi.au.dk>
date Tue, 22 Dec 2009 13:57:07 +0100
parents df157db8e521
children 84b397ddef2e
files pysmcl/secret_annotator.py
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/pysmcl/secret_annotator.py	Mon Dec 21 12:03:51 2009 +0100
+++ b/pysmcl/secret_annotator.py	Tue Dec 22 13:57:07 2009 +0100
@@ -6,6 +6,8 @@
 
 secret_functions = set(["get"])
 
+annotated_functions = set(["get"])
+
 analysis_key = "secret"
 
 def returns_secret(f):