Renamed BignumClearing.ql to MissingZeroization.ql

Author: fegge

cpp/src/crypto/BignumClearing.ql cpp/src/crypto/MissingZeroization.qlcpp/src/crypto/BignumClearing.ql renamed to cpp/src/crypto/MissingZeroization.ql

@@ -1,7 +1,7 @@
 /**
- * @name Non-cleared bignum detection
+ * @name Missing zeroization of random BIGNUMs
  * @id tob/cpp/bignum-clearing
- * @description Determines if random bignums are properly cleared
+ * @description Determines if random bignums are properly zeroized
  * @kind problem
  * @tags correctness crypto
  * @problem.severity warning
@@ -27,4 +27,4 @@ predicate isRandom(Expr bignum) {
 
 from BIGNUM bignum
 where isRandom(bignum) and not isCleared(bignum)
-select bignum.getLocation(), "Bignum is initialized with random data but is not properly cleared"
+select bignum.getLocation(), "Bignum is initialized with random data but is not zeroized before it goes out of scope"

cpp/test/query-tests/crypto/BignumClearing/BignumClearing.expected

@@ -0,0 +1 @@
+| test.c:4:18:4:23 | test.c:4:18:4:23 | Bignum is initialized with random data but is not zeroized before it goes out of scope |

cpp/test/query-tests/crypto/BignumClearing/BignumClearing.qlref

@@ -0,0 +1 @@
+crypto/MissingZeroization.ql