rename files

Author: erik-krogh

javascript/ql/src/Security/CWE-020/PostMessageNoOriginCheck.qhelp renamed to javascript/ql/src/Security/CWE-020/MissingOriginCheck.qhelp

@@ -24,13 +24,13 @@ The example below uses a received message to execute some code. However, the
 origin of the message is not checked, so it might be possible for an attacker
 to execute arbitrary code.
 </p>
-<sample src="examples/postMessageNoOriginCheck.js" />
+<sample src="examples/MissingOriginCheckBad.js" />
 
 <p>
 The example is fixed below, where the origin is checked to be trusted. 
 It is therefore not possible for an attacker to attack using an untrusted origin.
 </p>
-<sample src="examples/postMessageWithOriginCheck.js" />
+<sample src="examples/MissingOriginCheckGood.js" />
 
 </example>
 

javascript/ql/src/Security/CWE-020/PostMessageNoOriginCheck.ql renamed to javascript/ql/src/Security/CWE-020/MissingOriginCheck.ql

@@ -5,7 +5,7 @@
  * @problem.severity warning
  * @security-severity 5
  * @precision medium
- * @id js/missing-origin-verification
+ * @id js/missing-origin-check
  * @tags correctness
  *       security
  *       external/cwe/cwe-020

javascript/ql/src/Security/CWE-020/examples/postMessageNoOriginCheck.js renamed to javascript/ql/src/Security/CWE-020/examples/MissingOriginCheckBad.js

@@ -0,0 +1 @@
+Security/CWE-020/MissingOriginCheck.ql