feat(js-x-ray): add weak-argon2 detection probe

.changeset/yummy-llamas-wear.md

@@ -0,0 +1,5 @@
+---
+"@nodesecure/js-x-ray": minor
+---
+
+add weak-argon2 detection probe

docs/weak-argon2.md

@@ -0,0 +1,49 @@
+# Weak argon2
+
+| Code | Severity | i18n | Experimental |
+| --- | --- | --- | :-: |
+| weak-argon2 | `Warning` | `sast_warnings.weak_argon2` | :x: |
+
+## Introduction
+
+Detect usage of **weak Argon2** parameters with the Node.js core `crypto.argon2()` / `crypto.argon2Sync()` functions. This probe checks for:
+
+- **wrong-algorithm**: using `argon2d` or `argon2i` instead of the recommended `argon2id`.
+- **weak-parameters**: memory, passes, or parallelism values that do not meet [OWASP minimum recommendations](https://cheatsheetseries.owasp.org/cheatsheets/Password_Storage_Cheat_Sheet.html#argon2id).
+- **hardcoded-nonce**: nonce (salt) is a hardcoded string literal (should be randomly generated).
+
+## Example
+
+```js
+import crypto from "crypto";
+
+// wrong-algorithm: argon2d is vulnerable to side-channel attacks
+crypto.argon2("argon2d", {
+  message: "password",
+  nonce: crypto.randomBytes(16),
+  memory: 47104,
+  passes: 1,
+  parallelism: 1,
+  tagLength: 64
+});
+
+// weak-parameters: memory and passes are below OWASP minimum
+crypto.argon2("argon2id", {
+  message: "password",
+  nonce: crypto.randomBytes(16),
+  memory: 512,
+  passes: 1,
+  parallelism: 1,
+  tagLength: 64
+});
+
+// hardcoded-nonce: nonce should be randomly generated
+crypto.argon2("argon2id", {
+  message: "password",
+  nonce: "hardcoded-salt",
+  memory: 47104,
+  passes: 1,
+  parallelism: 1,
+  tagLength: 64
+});
+```

workspaces/js-x-ray/README.md

@@ -124,7 +124,8 @@ Alternatively, you can use `EntryFilesAnalyser` directly for multi-file analysis
 type OptionalWarningName =
   | "synchronous-io"
   | "log-usage"
-  | "weak-scrypt";
+  | "weak-scrypt"
+  | "weak-argon2";
 
 type WarningName =
   | "parsing-error"
@@ -177,14 +178,15 @@ const scanner = new AstAnalyser({
 
 // Or enable specific optional warnings
 const scannerSpecific = new AstAnalyser({
-  optionalWarnings: ["synchronous-io", "log-usage", "weak-scrypt"]
+  optionalWarnings: ["synchronous-io", "log-usage", "weak-scrypt", "weak-argon2"]
 });
 ```
 
 The following warnings are optional:
 - `synchronous-io` - Detects synchronous I/O operations that could impact performance
 - `log-usage` - Tracks usage of logging functions (console.log, logger.info, etc.)
 - `weak-scrypt` - Detects weak scrypt parameters (low cost, short or hardcoded salt)
+- `weak-argon2` - Detects weak Argon2 parameters (wrong algorithm, weak parameters, hardcoded nonce)
 
 ### Internationalization (i18n)
 
@@ -231,6 +233,7 @@ Click on the warning **name** for detailed documentation and examples.
 | [sql-injection](https://github.com/NodeSecure/js-x-ray/blob/master/docs/sql-injection.md) | No | Potential SQL injection vulnerability detected |
 | [monkey-patch](https://github.com/NodeSecure/js-x-ray/blob/master/docs/monkey-patch.md) | No | Modification of built-in JavaScript prototype properties |
 | [weak-scrypt](https://github.com/NodeSecure/js-x-ray/blob/master/docs/weak-scrypt.md) ⚠️ | **Yes** | Usage of weak scrypt parameters (low cost, short or hardcoded salt) |
+| [weak-argon2](https://github.com/NodeSecure/js-x-ray/blob/master/docs/weak-argon2.md) ⚠️ | **Yes** | Usage of weak Argon2 parameters (wrong algorithm, weak parameters, hardcoded nonce) |
 
 #### Information Severity
 

workspaces/js-x-ray/src/ProbeRunner.ts

@@ -26,6 +26,7 @@ import isMonkeyPatch from "./probes/isMonkeyPatch.ts";
 import isRandom from "./probes/isRandom.ts";
 import isPrototypePollution from "./probes/isPrototypePollution.ts";
 import isWeakScrypt from "./probes/isWeakScrypt.ts";
+import isWeakArgon2 from "./probes/isWeakArgon2.ts";
 
 import type { TracedIdentifierReport } from "./VariableTracer.ts";
 import type { SourceFile } from "./SourceFile.ts";
@@ -114,7 +115,8 @@ export class ProbeRunner {
     "synchronous-io": isSyncIO,
     "log-usage": logUsage,
     "insecure-random": isRandom,
-    "weak-scrypt": isWeakScrypt
+    "weak-scrypt": isWeakScrypt,
+    "weak-argon2": isWeakArgon2
   };
 
   constructor(

workspaces/js-x-ray/src/i18n/arabic.js

@@ -21,7 +21,8 @@ const sast_warnings = {
   sql_injection: "قالب نصي (Template literal) يحتوي على تعبيرات مدرجة في استعلامات SQL (SELECT, INSERT, UPDATE, DELETE) بدون معالجة صحيحة، مما يخلق ثغرات حقن SQL محتملة.",
   monkey_patch: "تعديل النماذج الأصلية (native prototypes) أو الكائنات العالمية في وقت التشغيل، مما يؤدي إلى مخاطر أمنية تشمل اختطاف التدفق، والآثار الجانبية العالمية، والإخفاء المحتمل للأنشطة الضارة.",
   insecure_random: "استخدام توليد أرقام عشوائية غير آمن باستخدام Math.random(). إن Math.random() ليس آمناً من الناحية التشفيرية ولا ينبغي استخدامه للعمليات الحساسة أمنياً.",
-  weak_scrypt: "استخدام crypto.scrypt() أو crypto.scryptSync() مع معلمات غير آمنة مثل ملح مضمن في الكود، أو ملح قصير (أقل من 16 بايت)، أو معلمة تكلفة غير كافية (أقل من 16384). هذه التكوينات الضعيفة تُضعف أمان اشتقاق المفاتيح المبني على كلمة المرور."
+  weak_scrypt: "استخدام crypto.scrypt() أو crypto.scryptSync() مع معلمات غير آمنة مثل ملح مضمن في الكود، أو ملح قصير (أقل من 16 بايت)، أو معلمة تكلفة غير كافية (أقل من 16384). هذه التكوينات الضعيفة تُضعف أمان اشتقاق المفاتيح المبني على كلمة المرور.",
+  weak_argon2: "استخدام crypto.argon2() أو crypto.argon2Sync() مع معلمات غير آمنة: استخدام argon2d أو argon2i بدلاً من argon2id، أو استخدام nonce (ملح) مضمن في الكود، أو قيم memory/passes/parallelism أقل من الحد الأدنى الموصى به من OWASP. هذه التكوينات الضعيفة تُضعف أمان اشتقاق المفاتيح المبني على كلمة المرور."
 };
 
 export default {

workspaces/js-x-ray/src/i18n/english.js

@@ -21,7 +21,8 @@ const sast_warnings = {
   sql_injection: "Template literals with interpolated expressions in SQL queries (SELECT, INSERT, UPDATE, DELETE) without proper parameterization, creating potential SQL injection vulnerabilities.",
   monkey_patch: "Modification of native prototypes or global objects at runtime, which introduces security risks including flow hijacking, global side effects, and potential concealment of malicious activities.",
   insecure_random: "Usage of insecure random number generation using Math.random(). Math.random() is not cryptographically secure and should not be used for security-sensitive operations.",
-  weak_scrypt: "Usage of crypto.scrypt() or crypto.scryptSync() with insecure parameters such as hardcoded salt, short salt (less than 16 bytes), or insufficient cost parameter (below 16384). These weak configurations compromise the security of password-based key derivation."
+  weak_scrypt: "Usage of crypto.scrypt() or crypto.scryptSync() with insecure parameters such as hardcoded salt, short salt (less than 16 bytes), or insufficient cost parameter (below 16384). These weak configurations compromise the security of password-based key derivation.",
+  weak_argon2: "Usage of crypto.argon2() or crypto.argon2Sync() with insecure parameters: use of argon2d or argon2i instead of argon2id, hardcoded nonce (salt), or memory/passes/parallelism values below OWASP minimum recommendations. These weak configurations compromise the security of password-based key derivation."
 };
 
 export default {

workspaces/js-x-ray/src/probes/isWeakArgon2.ts

@@ -0,0 +1,129 @@
+// Import Third-party Dependencies
+import type { ESTree } from "meriyah";
+
+// Import Internal Dependencies
+import type { ProbeContext } from "../ProbeRunner.ts";
+import { CALL_EXPRESSION_DATA } from "../contants.ts";
+import { isLiteral } from "../estree/types.ts";
+import { generateWarning } from "../warnings.ts";
+
+const kOWASPMinParams: [minMemory: number, minIteration: number, minParallelism: number][] = [
+  [47104, 1, 1],
+  [19456, 2, 1],
+  [12288, 3, 1],
+  [9216, 4, 1],
+  [7168, 5, 1]
+];
+
+const tracedFunctions = new Set(["crypto.argon2", "crypto.argon2Sync"]);
+
+function extractNumericParam(
+  properties: ESTree.Property[],
+  names: string[]
+): number | null {
+  for (const prop of properties) {
+    if (
+      prop.key.type === "Identifier" &&
+      names.includes(prop.key.name) &&
+      prop.value.type === "Literal" &&
+      typeof prop.value.value === "number"
+    ) {
+      return prop.value.value;
+    }
+  }
+
+  return null;
+}
+
+function isWeakArgon2Params(memory: number, iteration: number, parallelism: number): boolean {
+  for (const [minMemory, minIteration, minParallelism] of kOWASPMinParams) {
+    if (memory >= minMemory) {
+      return parallelism < minParallelism || iteration < minIteration;
+    }
+  }
+
+  return true;
+}
+
+function validateNode(
+  _node: ESTree.Node,
+  ctx: ProbeContext): [boolean, any?] {
+  const { tracer } = ctx.sourceFile;
+
+  if (!tracer.importedModules.has("crypto")) {
+    return [false];
+  }
+
+  return [
+    tracedFunctions.has(ctx.context![CALL_EXPRESSION_DATA]?.identifierOrMemberExpr)
+  ];
+}
+
+function initialize(ctx: ProbeContext) {
+  const { tracer } = ctx.sourceFile;
+
+  for (const identifierOrMemberExpr of tracedFunctions) {
+    tracer.trace(identifierOrMemberExpr, {
+      followConsecutiveAssignment: true,
+      moduleName: "crypto"
+    });
+  }
+}
+
+function main(node: ESTree.CallExpression, ctx: ProbeContext) {
+  const { sourceFile } = ctx;
+  const algorithm = node.arguments.at(0);
+  if (isLiteral(algorithm)) {
+    if (algorithm.value !== "argon2id") {
+      sourceFile.warnings.push(
+        generateWarning("weak-argon2", {
+          value: "wrong-algorithm",
+          location: node.loc
+        })
+      );
+    }
+  }
+
+  const parameters = node.arguments.at(1);
+  if (parameters && parameters.type === "ObjectExpression") {
+    const properties = parameters.properties.filter(
+      (prop): prop is ESTree.Property => prop.type === "Property"
+    );
+    const memory = extractNumericParam(properties, ["memory"]);
+    const iteration = extractNumericParam(properties, ["passes"]);
+    const parallelism = extractNumericParam(properties, ["parallelism"]);
+
+    if (memory && iteration && parallelism) {
+      if (isWeakArgon2Params(memory, iteration, parallelism)) {
+        sourceFile.warnings.push(
+          generateWarning("weak-argon2", {
+            value: "weak-parameters",
+            location: node.loc
+          })
+        );
+      }
+    }
+
+    const nonce = properties.find(
+      (prop) => prop.key.type === "Identifier" && prop.key.name === "nonce"
+    );
+
+    if (nonce && isLiteral(nonce.value)) {
+      sourceFile.warnings.push(
+        generateWarning("weak-argon2", {
+          value: "hardcoded-nonce",
+          location: node.loc
+        })
+      );
+    }
+  }
+}
+
+export default {
+  name: "isWeakArgon2",
+  validateNode,
+  main,
+  initialize,
+  breakOnMatch: false,
+  context: {}
+};

workspaces/js-x-ray/src/warnings.ts

@@ -13,7 +13,8 @@ export type OptionalWarningName =
   | "synchronous-io"
   | "log-usage"
   | "insecure-random"
-  | "weak-scrypt";
+  | "weak-scrypt"
+  | "weak-argon2";
 
 export type WarningName =
   | "parsing-error"
@@ -34,6 +35,7 @@ export type WarningName =
   | "monkey-patch"
   | "insecure-random"
   | "prototype-pollution"
+  | "weak-argon2"
   | OptionalWarningName;
 
 export interface Warning<T = WarningName> {
@@ -152,6 +154,11 @@ export const warnings = Object.freeze({
     i18n: "sast_warnings.weak_scrypt",
     severity: "Warning",
     experimental: true
+  },
+  "weak-argon2": {
+    i18n: "sast_warnings.weak_argon2",
+    severity: "Warning",
+    experimental: true
   }
 }) satisfies Record<WarningName, Pick<Warning, "experimental" | "i18n" | "severity">>;