Declarations7: add implementation notes and lib description

also rm accidental leftover expected file

Author: knewbury01

c/cert/src/rules/DCL39-C/InformationLeakageAcrossTrustBoundariesC.md

@@ -285,7 +285,7 @@ Search for [vulnerabilities](https://wiki.sei.cmu.edu/confluence/display/c/BB.+D
 
 ## Implementation notes
 
-None
+The rule does not detect cases where fields may have uninitialized padding but are initialized via an initializer.
 
 ## References
 

cpp/cert/src/rules/DCL55-CPP/InformationLeakageAcrossTrustBoundaries.md

@@ -310,7 +310,7 @@ Search for [vulnerabilities](https://wiki.sei.cmu.edu/confluence/display/cpluspl
 
 ## Implementation notes
 
-None
+The rule does not detect cases where fields may have uninitialized padding but are initialized via an initializer.
 
 ## References
 

cpp/common/src/codingstandards/cpp/rules/informationleakageacrossboundaries/InformationLeakageAcrossBoundaries.qll

@@ -1,5 +1,5 @@
 /**
- * Provides a library which includes a `problems` predicate for reporting....
+ * Provides a library which includes a `problems` predicate for reporting potential information leakage across trust boundaries, relating to uninitialized memory in structs.
  */
 
 import cpp

cpp/common/test/rules/informationleakageacrossboundaries/InformationLeakageAcrossTrustBoundaries.expected

@@ -15,7 +15,10 @@
           "shared_implementation_short_name": "InformationLeakageAcrossBoundaries",
           "tags": [
             "security"
-          ]
+          ],
+          "implementation_scope": {
+            "description": "The rule does not detect cases where fields may have uninitialized padding but are initialized via an initializer."
+          }
         }
       ],
       "title": "Avoid information leakage when passing a structure across a trust boundary"

rule_packages/c/Declarations7.json

@@ -42,7 +42,10 @@
           "shared_implementation_short_name": "InformationLeakageAcrossBoundaries",
           "tags": [
             "security"
-          ]
+          ],
+          "implementation_scope": {
+            "description": "The rule does not detect cases where fields may have uninitialized padding but are initialized via an initializer."
+          }
         }
       ],
       "title": "Avoid information leakage when passing a class object across a trust boundary"