updates from review

Author: jacob-ronstadt

src/drivers/general/queries/AnnotationSyntax/AnnotationSyntax.qhelp

@@ -46,7 +46,6 @@
 	</example>
 	<semmleNotes>
 		<p>
-			TODO notes
 		</p>
 	</semmleNotes>
 	<references>

src/drivers/general/queries/AnnotationSyntax/AnnotationSyntax.ql

@@ -21,17 +21,17 @@
 import cpp
 import drivers.libraries.SAL
 
-from SALAnnotation sa, SALParameter sp
+from SALAnnotation sa
 where
   // restoreIRQLGlobal was not on the whole function
-  // saveIRQLGlobalL was not on the whole function
+  // saveIRQLGlobal was not on the whole function
   (
     sa.toString().matches("%restoresIRQLGlobal%") or //restoreIRQLGlobal //__drv_restoresIRQLGlobal //_IRQL_restores_global_
     sa.toString().matches("%_IRQL_saves_global_%") or //restoreIRQLGlobal //__drv_restoresIRQLGlobal //_IRQL_restores_global_
     sa.toString().matches("%savesIRQLGlobal%") or //saveIRQLGlobal //__drv_savesIRQLGlobal //_IRQL_saves_global_
     sa.toString().matches("%_IRQL_restores_global_%")
   ) and
-  sp.getAnnotation() = sa
+  exists(SALParameter sp | sp.getAnnotation() = sa)
   or
   (
     sa.toString().matches("%_When_%") or