docs

Author: jsinglet

c/cert/src/rules/CON30-C/CleanUpThreadSpecificStorage.md

@@ -173,7 +173,7 @@ Search for [vulnerabilities](https://wiki.sei.cmu.edu/confluence/display/c/BB.+D
 
 ## Implementation notes
 
-This query does not attempt to ensure that the deallocation function in fact deallocates memory and instead assumes the contract is valid.
+This query does not attempt to ensure that the deallocation function in fact deallocates memory and instead assumes the contract is valid. Additionally, this query requires that all `tss_create` calls are bookended by calls to `tss_delete`, even if a thread is not created.
 
 ## References
 

rule_packages/c/Concurrency4.json

@@ -17,7 +17,7 @@
             "concurrency"
           ],
           "implementation_scope": {
-            "description": "This query does not attempt to ensure that the deallocation function in fact deallocates memory and instead assumes the contract is valid."
+            "description": "This query does not attempt to ensure that the deallocation function in fact deallocates memory and instead assumes the contract is valid. Additionally, this query requires that all `tss_create` calls are bookended by calls to `tss_delete`, even if a thread is not created."
           }
 
         }