@mocoto/mahoraga 0.14.1 → 0.14.3

package/dist/analysts/js-ts/analysts/analyst-commands-cli.js

@@ -4,19 +4,19 @@ import { traverse } from '../../../core/config/index.js';
 import { messages } from '../../../core/messages/index.js';
 import { isBabelNode } from '../../../types/index.js';
 export function extractHandlerInfo(nodeParam) {
-    if (!nodeParam || !isBabelNode(nodeParam)) {
+    if (!isBabelNode(nodeParam)) {
         return null;
     }
     const node = nodeParam;
     const build = (fn, bodyBlock, isAnonymous) => {
         const rawParams = Array.isArray(fn.params) ? fn.params : [];
         const params = rawParams.filter((p) => textoTitulo.isIdentifier(p));
-        return { func: fn, bodyBlock, isAnonymous, params, totalParams: (fn.params ?? []).length };
+        return { func: fn, bodyBlock, isAnonymous, params, totalParams: fn.params.length };
     };
-    if (textoTitulo.isFunctionDeclaration(node) && node.body && textoTitulo.isBlockStatement(node.body)) {
+    if (textoTitulo.isFunctionDeclaration(node) && textoTitulo.isBlockStatement(node.body)) {
         return build(node, node.body, !node.id);
     }
-    if ((textoTitulo.isFunctionExpression(node) || textoTitulo.isArrowFunctionExpression(node)) && node.body && textoTitulo.isBlockStatement(node.body)) {
+    if ((textoTitulo.isFunctionExpression(node) || textoTitulo.isArrowFunctionExpression(node)) && textoTitulo.isBlockStatement(node.body)) {
         return build(node, node.body, textoTitulo.isFunctionExpression(node) ? !node.id : true);
     }
     return null;
@@ -58,8 +58,8 @@ function detectarNewCommand(node, state) {
     state.hasFrameworkSignal = true;
     let nome = '';
     const arg0 = newExpr.arguments[0];
-    if (arg0 && textoTitulo.isStringLiteral(arg0)) {
-        nome = (arg0).value;
+    if (textoTitulo.isStringLiteral(arg0)) {
+        nome = arg0.value;
     }
     if (state.comandosInvocados === 0) {
         state.comandosInvocados++;
@@ -89,7 +89,7 @@ function detectarDiscordJs(node, state) {
         if (state.comandosInvocados === 0) {
             state.comandosInvocados++;
             const arg0 = call.arguments[0];
-            const nome = prop.name === 'setName' && arg0 && textoTitulo.isStringLiteral(arg0) ? (arg0).value : 'slash-command';
+            const nome = prop.name === 'setName' && textoTitulo.isStringLiteral(arg0) ? arg0.value : 'slash-command';
             state.comandoNomes.push(nome);
         }
         return;
@@ -141,10 +141,10 @@ function detectarGenericCommand(node, state, registrar) {
     }
     let comandoNome = '';
     const primeiroArg = call.arguments[0];
-    if (primeiroArg && textoTitulo.isStringLiteral(primeiroArg)) {
-        comandoNome = (primeiroArg).value;
+    if (textoTitulo.isStringLiteral(primeiroArg)) {
+        comandoNome = primeiroArg.value;
     }
-    const handler = call.arguments && call.arguments.length > 1 ? call.arguments[1] : undefined;
+    const handler = call.arguments.length > 1 ? call.arguments[1] : undefined;
     registrar(call, comandoNome, handler, 'generico');
 }
 function detectarCommanderAction(node, state, registrar) {
@@ -160,7 +160,7 @@ function detectarCommanderAction(node, state, registrar) {
     if (!textoTitulo.isIdentifier(prop) || prop.name !== 'action') {
         return;
     }
-    const handler = call.arguments && call.arguments[0];
+    const handler = call.arguments[0];
     const nome = extrairNomeDeCadeia(call);
     registrar(call, nome, handler, 'commander');
 }
@@ -177,11 +177,11 @@ function detectarCommanderCommand(node, state, registrar) {
     if (!textoTitulo.isIdentifier(prop) || prop.name !== 'command') {
         return;
     }
-    const args = call.arguments || [];
+    const args = call.arguments;
     const nameArg = args[0];
     let nome = '';
-    if (nameArg && textoTitulo.isStringLiteral(nameArg)) {
-        nome = (nameArg).value;
+    if (textoTitulo.isStringLiteral(nameArg)) {
+        nome = nameArg.value;
     }
     let handler;
     for (let i = args.length - 1; i >= 0; i--) {
@@ -210,7 +210,7 @@ function detectarYargs(node, state, registrar) {
     if (!textoTitulo.isIdentifier(obj) || !/yargs?/i.test(obj.name)) {
         return;
     }
-    const args = call.arguments || [];
+    const args = call.arguments;
     let nome = '';
     if (args[0] && textoTitulo.isStringLiteral(args[0])) {
         nome = (args[0]).value;
@@ -236,7 +236,7 @@ function detectarOclif(node, state, registrar) {
         const k = method.key;
         return textoTitulo.isIdentifier(k) && k.name === 'run';
     };
-    const bodyElem = Array.isArray(bodyArray) ? bodyArray.find(isRunMethod) : undefined;
+    const bodyElem = Array.isArray(bodyArray) ? bodyArray?.find(isRunMethod) : undefined;
     if (bodyElem?.body && textoTitulo.isBlockStatement(bodyElem.body)) {
         registrar(textoTitulo.callExpression(textoTitulo.identifier('oclifRun'), []), classNome, bodyElem, 'oclif');
     }
@@ -262,14 +262,14 @@ function detectarVarUsage(node, state) {
         return;
     }
     const fnBody = (node).body;
-    if (!fnBody || !textoTitulo.isBlockStatement(fnBody)) {
+    if (!textoTitulo.isBlockStatement(fnBody)) {
         return;
     }
     const createdVars = new Set();
-    for (const stmt of fnBody.body || []) {
+    for (const stmt of fnBody.body) {
         if (textoTitulo.isVariableDeclaration(stmt)) {
             for (const decl of stmt.declarations) {
-                if (decl.id && textoTitulo.isIdentifier(decl.id) && decl.init && textoTitulo.isNewExpression(decl.init) && textoTitulo.isIdentifier(decl.init.callee) && state.commandClassNomes.has(decl.init.callee.name)) {
+                if (textoTitulo.isIdentifier(decl.id) && decl.init && textoTitulo.isNewExpression(decl.init) && textoTitulo.isIdentifier(decl.init.callee) && state.commandClassNomes.has(decl.init.callee.name)) {
                     createdVars.add(decl.id.name);
                 }
             }
@@ -297,7 +297,7 @@ function criarRegistrar(state) {
         if (comandoNome) {
             state.comandoNomes.push(comandoNome);
         }
-        const userInfo = extractHandlerInfo(handler);
+        const userInfo = handler ? extractHandlerInfo(handler) : null;
         const registro = {
             comandoNome,
             id: undefined,
@@ -315,7 +315,7 @@ function criarRegistrar(state) {
 function extrairNomeDeCadeia(call) {
     let current = call;
     const visitados = new Set();
-    while (current && !visitados.has(current)) {
+    while (!visitados.has(current)) {
         visitados.add(current);
         if (textoTitulo.isCallExpression(current) && textoTitulo.isMemberExpression(current.callee)) {
             const callee = current.callee;
@@ -323,7 +323,7 @@ function extrairNomeDeCadeia(call) {
             if (textoTitulo.isIdentifier(prop) && prop.name === 'command') {
                 const arg0 = current.arguments[0];
                 if (arg0 && textoTitulo.isStringLiteral(arg0)) {
-                    return arg0.value;
+                    return (arg0).value;
                 }
             }
             const owner = callee.object;

package/dist/analysts/js-ts/analysts/analyst-functions-long.js

@@ -5,9 +5,9 @@ import { criarAnalista, criarOcorrencia, isBabelNode } from '../../../types/inde
 function isNodePath(x) {
     return typeof x === 'object' && x !== null && 'node' in x && isBabelNode(x.node) && typeof x.traverse === 'function';
 }
-const LIMITE_LINHAS = config.ANALISE_LIMITES.FUNCOES_LONGAS.MAX_LINHAS ?? 30;
-const LIMITE_PARAMETROS = config.ANALISE_LIMITES.FUNCOES_LONGAS.MAX_PARAMETROS ?? 4;
-const LIMITE_ANINHAMENTO = config.ANALISE_LIMITES.FUNCOES_LONGAS.MAX_ANINHAMENTO ?? 3;
+const LIMITE_LINHAS = config.ANALISE_LIMITES.FUNCOES_LONGAS.MAX_LINHAS;
+const LIMITE_PARAMETROS = config.ANALISE_LIMITES.FUNCOES_LONGAS.MAX_PARAMETROS;
+const LIMITE_ANINHAMENTO = config.ANALISE_LIMITES.FUNCOES_LONGAS.MAX_ANINHAMENTO;
 const LIMITE_COMPLEXIDADE_COGNITIVA = 15;
 const LIMITE_RESPONSABILIDADES = 3;
 const LIMITE_CICLOMATICA = 10;
@@ -73,7 +73,7 @@ function calcularCiclomatica(body) {
             WhileStatement() { score++; },
             DoWhileStatement() { score++; },
             SwitchCase(path) {
-                if (!path.node.consequent || path.node.consequent.length === 0) {
+                if (path.node.consequent.length === 0) {
                     return;
                 }
                 score++;
@@ -122,7 +122,7 @@ function verificarEarlyReturn(fn) {
                 const fnParent = path.getFunctionParent();
                 if (fnParent?.node === fn) {
                     const grandParent = path.parentPath;
-                    if (grandParent && textoTitulo.isIfStatement(grandParent.node)) {
+                    if (textoTitulo.isIfStatement(grandParent.node)) {
                         encontrouEarlyReturn = true;
                     }
                 }

package/dist/analysts/js-ts/analysts/analyst-patterns-usage.js

@@ -51,7 +51,7 @@ export const analistaPadroesUso = {
         }
         let astWrap = astInput;
         if (!astWrap && contexto?.arquivos) {
-            const found = contexto.arquivos.find((arquivo) => arquivo.relPath === relPath) ?? contexto.arquivos[0];
+            const found = contexto.arquivos?.find((arquivo) => arquivo.relPath === relPath) ?? contexto.arquivos[0];
             astWrap = found.ast ?? undefined;
         }
         const hasNodeProp = (valor) => typeof valor === 'object' && valor !== null && 'node' in valor;
@@ -131,7 +131,7 @@ export const analistaPadroesUso = {
                     // Type assertion as Type without validation
                     if (textoTitulo.isTSAsExpression(node)) {
                         const parent = path.parentPath.node;
-                        if (parent && !textoTitulo.isVariableDeclarator(parent)) {
+                        if (!textoTitulo.isVariableDeclarator(parent)) {
                             push({ tipo: 'info', mensagem: messages.PadroesUsoMensagens.typeAssertionWithoutValidation, relPath, linha: node.loc?.start.line, coluna: node.loc?.start.column, nivel: 'info' });
                         }
                     }
@@ -163,6 +163,10 @@ export const analistaPadroesUso = {
                             push({ tipo: 'info', mensagem: messages.PadroesUsoMensagens.uselessConditional, relPath, linha: node.loc?.start.line, coluna: node.loc?.start.column, nivel: 'info' });
                         }
                     }
+                    // satisfies keyword usage (TypeScript 4.9+)
+                    if (textoTitulo.isTSSatisfiesExpression(node)) {
+                        push({ tipo: 'info', mensagem: messages.PadroesUsoMensagens.satisfiesUsage, relPath, linha: node.loc?.start.line, coluna: node.loc?.start.column, nivel: 'info' });
+                    }
                 }
             });
             // Magic strings detection (via text scan)

package/dist/analysts/js-ts/detectors/detector-anti-patterns-async.js

@@ -20,7 +20,7 @@ const visitorAsync = {
                 if (binding && binding.path.isFunction() && !binding.path.node.async) {
                     return;
                 }
-                const occurrences = state.ocorrencias || [];
+                const occurrences = state.ocorrencias;
                 occurrences.push({
                     tipo: 'floating-promise',
                     linha: path.node.loc?.start.line ?? 0,
@@ -40,10 +40,10 @@ const visitorAsync = {
             const propName = prop.type === 'Identifier' ? prop.name : '';
             if (propName === 'map' || propName === 'forEach') {
                 const arg = path.node.arguments[0];
-                if (arg && (arg.type === 'ArrowFunctionExpression' || arg.type === 'FunctionExpression')) {
+                if (arg.type === 'ArrowFunctionExpression' || arg.type === 'FunctionExpression') {
                     if (arg.async) {
                         const isForEach = propName === 'forEach';
-                        const occurrences = state.ocorrencias || [];
+                        const occurrences = state.ocorrencias;
                         occurrences.push({
                             tipo: isForEach ? 'async-in-foreach' : 'async-in-map-without-all',
                             linha: path.node.loc?.start.line ?? 0,
@@ -60,7 +60,7 @@ const visitorAsync = {
             if (propName === 'then' && textoTitulo.isCallExpression(callee.object) && textoTitulo.isMemberExpression(callee.object.callee)) {
                 const innerProp = callee.object.callee.property;
                 if (textoTitulo.isIdentifier(innerProp) && innerProp.name === 'all') {
-                    const _hasCatch = path.parentPath && textoTitulo.isCallExpression(path.parentPath.node) && path.parentPath.node.arguments.length > 0;
+                    const _hasCatch = textoTitulo.isCallExpression(path.parentPath.node) && path.parentPath.node.arguments.length > 0;
                     let hasErrorHandler = false;
                     try {
                         path.parentPath.traverse({
@@ -72,7 +72,8 @@ const visitorAsync = {
                         });
                     }
                     catch { }
-                    if (!hasErrorHandler) {
+                    // eslint-disable-next-line @typescript-eslint/no-unnecessary-boolean-literal-compare, @typescript-eslint/no-unnecessary-condition
+                    if (hasErrorHandler === false) {
                         state.ocorrencias.push({
                             tipo: 'promise-all-no-error',
                             linha: path.node.loc?.start.line ?? 0,
@@ -88,7 +89,7 @@ const visitorAsync = {
             // Promise nesting: .then() inside .then()
             if (propName === 'then') {
                 const arg = path.node.arguments[0];
-                if (arg && (arg.type === 'ArrowFunctionExpression' || arg.type === 'FunctionExpression')) {
+                if (arg.type === 'ArrowFunctionExpression' || arg.type === 'FunctionExpression') {
                     const body = arg.body;
                     if (body.type === 'BlockStatement') {
                         for (const stmt of body.body) {
@@ -119,7 +120,7 @@ const visitorAsync = {
         // Promise constructor anti-pattern: new Promise((resolve, reject) => { ... })
         if (callee.type === 'Identifier' && callee.name === 'Promise' && path.node.arguments.length === 1) {
             const executor = path.node.arguments[0];
-            if (executor && (executor.type === 'ArrowFunctionExpression' || executor.type === 'FunctionExpression')) {
+            if (executor.type === 'ArrowFunctionExpression' || executor.type === 'FunctionExpression') {
                 const executorBody = executor.type === 'ArrowFunctionExpression' ? executor.body : executor.body;
                 if (executorBody.type === 'BlockStatement') {
                     for (const stmt of executorBody.body) {
@@ -140,11 +141,12 @@ const visitorAsync = {
             }
         }
         // return await misuse (outside try/catch)
-        if (callee.type === 'Identifier' && path.parentPath && textoTitulo.isReturnStatement(path.parentPath.node)) {
+        if (callee.type === 'Identifier' && textoTitulo.isReturnStatement(path.parentPath.node)) {
             const fnParent = path.getFunctionParent();
             if (fnParent) {
                 let inTryCatch = false;
                 let current = path.parentPath;
+                // eslint-disable-next-line @typescript-eslint/no-unnecessary-condition
                 while (current) {
                     if (textoTitulo.isTryStatement(current.node)) {
                         inTryCatch = true;
@@ -188,6 +190,21 @@ const visitorAsync = {
         }
         state.lastAwaitLine = currentLine;
     },
+    // Top-level await and for-await-of detection via text fallback
+    // These are checked in the aplicar method
+    ForOfStatement(path, state) {
+        if (path.node.await) {
+            state.ocorrencias.push({
+                tipo: 'for-await-of',
+                linha: path.node.loc?.start.line ?? 0,
+                coluna: path.node.loc?.start.column ?? 0,
+                severidade: 'baixa',
+                nivel: 'info',
+                mensagem: messages.DetectorJsTsMensagens.forAwaitOf,
+                relPath: state.relPath
+            });
+        }
+    },
     Function(path, state) {
         // Async function without await
         if (path.node.async) {
@@ -198,7 +215,8 @@ const visitorAsync = {
                 });
             }
             catch { }
-            if (!hasAwait) {
+            // eslint-disable-next-line @typescript-eslint/no-unnecessary-boolean-literal-compare, @typescript-eslint/no-unnecessary-condition
+            if (hasAwait === false) {
                 state.ocorrencias.push({
                     tipo: 'async-without-await',
                     linha: path.node.loc?.start.line ?? 0,
@@ -256,6 +274,63 @@ export const analistaAntiPadroesAsync = {
         };
         const nodeToTraverse = ('node' in ast ? ast.node : ast);
         traverse(nodeToTraverse, visitorAsync, undefined, stateObj);
+        // Top-level await detection via text
+        if (/^\s*await\s+/m.test(src)) {
+            const topLevelAwaitLine = (() => {
+                const m = src.match(/^\s*await\s+/m);
+                return m ? src.substring(0, m.index).split('\n').length : 1;
+            })();
+            const fnParentLines = new Set();
+            const fnVisitor = {
+                Function(path) {
+                    if (path.node.loc) {
+                        for (let i = path.node.loc.start.line; i <= path.node.loc.end.line; i++) {
+                            fnParentLines.add(i);
+                        }
+                    }
+                }
+            };
+            traverse(nodeToTraverse, fnVisitor, undefined, {});
+            if (!fnParentLines.has(topLevelAwaitLine)) {
+                stateObj.ocorrencias.push({
+                    tipo: 'top-level-await',
+                    linha: topLevelAwaitLine,
+                    coluna: 0,
+                    severidade: 'baixa',
+                    nivel: 'info',
+                    mensagem: messages.DetectorJsTsMensagens.topLevelAwait,
+                    relPath
+                });
+            }
+        }
+        // Promise.withResolvers detection via text
+        if (/Promise\.withResolvers\s*\(/g.test(src)) {
+            const match = /Promise\.withResolvers\s*\(/g.exec(src);
+            const linha = match ? src.substring(0, match.index).split('\n').length : 1;
+            stateObj.ocorrencias.push({
+                tipo: 'promise-with-resolvers',
+                linha,
+                coluna: 0,
+                severidade: 'baixa',
+                nivel: 'info',
+                mensagem: messages.DetectorJsTsMensagens.promiseWithResolvers,
+                relPath
+            });
+        }
+        // Promise.allSettled detection
+        if (/Promise\.allSettled\s*\(/g.test(src)) {
+            const match = /Promise\.allSettled\s*\(/g.exec(src);
+            const linha = match ? src.substring(0, match.index).split('\n').length : 1;
+            stateObj.ocorrencias.push({
+                tipo: 'promise-all-settled',
+                linha,
+                coluna: 0,
+                severidade: 'baixa',
+                nivel: 'info',
+                mensagem: messages.DetectorJsTsMensagens.promiseAllSettled,
+                relPath
+            });
+        }
         return stateObj.ocorrencias.map(ocorrencia => criarOcorrencia({
             tipo: ocorrencia.tipo ?? 'anti-padroes-async',
             nivel: ocorrencia.nivel ?? 'aviso',

package/dist/analysts/js-ts/detectors/detector-constructions-syntactic.js

@@ -39,9 +39,9 @@ export const analistaConstrucoesSintaticas = {
                     }
                     // Destructuring without defaults
                     for (const declarator of path.node.declarations) {
-                        if (declarator.id && textoTitulo.isObjectPattern(declarator.id)) {
+                        if (textoTitulo.isObjectPattern(declarator.id)) {
                             for (const prop of declarator.id.properties) {
-                                if (textoTitulo.isObjectProperty(prop) && prop.value && textoTitulo.isIdentifier(prop.value) && !prop.value.typeAnnotation) {
+                                if (textoTitulo.isObjectProperty(prop) && textoTitulo.isIdentifier(prop.value) && !prop.value.typeAnnotation) {
                                     if (!prop.value.optional) {
                                         pushExtra('destructuring-without-default', 'info', messages.DetectorConstrucoesSintaticasMensagens.destructuringWithoutDefault, path.node.loc?.start.line ?? 1);
                                     }
@@ -146,14 +146,18 @@ export const analistaConstrucoesSintaticas = {
                     // Nullish coalescing vs OR misuse: detecting if (x || defaultValue) where x could be '' or 0
                     if (path.node.operator === '||') {
                         const left = path.node.left;
-                        if (left && (textoTitulo.isMemberExpression(left) || textoTitulo.isIdentifier(left))) {
+                        if (textoTitulo.isMemberExpression(left) || textoTitulo.isIdentifier(left)) {
                             const right = path.node.right;
-                            if (right && (textoTitulo.isStringLiteral(right) || textoTitulo.isNumericLiteral(right))) {
+                            if (textoTitulo.isStringLiteral(right) || textoTitulo.isNumericLiteral(right)) {
                                 pushExtra('nullish-vs-or', 'info', messages.DetectorConstrucoesSintaticasMensagens.nullishVsOrMisuse, path.node.loc?.start.line ?? 1);
                             }
                         }
                     }
                 },
+                // ES2025: Promise.withResolvers
+                // ES2025: RegExp.escape
+                // ES2026: Error.isError
+                // ES2026: Array.fromAsync
                 OptionalMemberExpression(path) {
                     // Optional chaining where not needed: obj?.prop where obj is always defined
                     if ('optional' in path.node && path.node.optional) {
@@ -172,7 +176,7 @@ export const analistaConstrucoesSintaticas = {
                 SpreadElement(path) {
                     // Unnecessary object spread: {...obj, prop: val} could be obj.prop = val
                     const parent = path.parentPath;
-                    if (parent && textoTitulo.isObjectExpression(parent.node)) {
+                    if (textoTitulo.isObjectExpression(parent.node)) {
                         const arg = path.node.argument;
                         if (textoTitulo.isIdentifier(arg) && parent.node.properties.length >= 2) {
                             const otherSpread = parent.node.properties.filter(p => textoTitulo.isSpreadElement(p) && p !== path.node);
@@ -187,7 +191,7 @@ export const analistaConstrucoesSintaticas = {
                     // Getter/setter without validation
                     if (path.node.kind === 'set') {
                         const body = path.node.body;
-                        if (body && textoTitulo.isBlockStatement(body)) {
+                        if (textoTitulo.isBlockStatement(body)) {
                             let hasValidation = false;
                             for (const stmt of body.body) {
                                 if (textoTitulo.isIfStatement(stmt)) {
@@ -202,16 +206,35 @@ export const analistaConstrucoesSintaticas = {
                     }
                 }
             });
+            // Text-based detection for ES2025/ES2026 patterns
+            const esPatterns = [
+                [/\busing\s+\w+\s*=\s*new\s+/g, 'explicit-resource-management', (linha) => { pushExtra('explicit-resource-management', 'info', 'Explicit Resource Management with "using" (ES2026)', linha); }],
+                [/\bawait\s+using\s+/g, 'explicit-resource-management-async', (linha) => { pushExtra('explicit-resource-management-async', 'info', 'Async Resource Management with "await using" (ES2026)', linha); }],
+                [/\bTemporal\.\w+/g, 'temporal-api-usage', (linha) => { pushExtra('temporal-api-usage', 'info', 'Temporal API usage (ES2026)', linha); }],
+                [/Promise\.withResolvers\s*\(/g, 'promise-with-resolvers', (linha) => { pushExtra('promise-with-resolvers', 'info', 'Promise.withResolvers() (ES2025)', linha); }],
+                [/Promise\.try\s*\(/g, 'promise-try', (linha) => { pushExtra('promise-try', 'info', 'Promise.try() (ES2025)', linha); }],
+                [/RegExp\.escape\s*\(/g, 'regexp-escape', (linha) => { pushExtra('regexp-escape', 'info', 'RegExp.escape() (ES2025)', linha); }],
+                [/Error\.isError\s*\(/g, 'error-is-error', (linha) => { pushExtra('error-is-error', 'info', 'Error.isError() (ES2026)', linha); }],
+                [/Array\.fromAsync\s*\(/g, 'array-from-async', (linha) => { pushExtra('array-from-async', 'info', 'Array.fromAsync() (ES2026)', linha); }],
+                [/\bIterator\.from\s*\(/g, 'iterator-from', (linha) => { pushExtra('iterator-from', 'info', 'Iterator.from() (ES2025)', linha); }],
+            ];
+            for (const [pattern, , fn] of esPatterns) {
+                let m;
+                while ((m = pattern.exec(src)) !== null) {
+                    const position = m.index;
+                    if (!isInStringOrComment(src, position)) {
+                        const linha = src.substring(0, position).split('\n').length;
+                        fn(linha);
+                    }
+                }
+            }
             // Template literal overuse detection via text fallback
             const templateLiteralPadrao = /`([^`]{0,10})`/g;
             let match;
             while ((match = templateLiteralPadrao.exec(src)) !== null) {
                 const content = match[1];
                 if (content && !content.includes('${') && content.length < 10) {
-                    const position = match.index;
-                    if (position == null) {
-                        continue;
-                    }
+                    const position = match.index ?? 0;
                     if (!isInStringOrComment(src, position)) {
                         const linha = src.substring(0, position).split('\n').length;
                         pushExtra('template-literal-overuse', 'info', messages.DetectorConstrucoesSintaticasMensagens.templateLiteralOveruse, linha);

package/dist/analysts/js-ts/detectors/detector-context-smart.js

@@ -257,8 +257,8 @@ function analisarDependencias(packageJson) {
         return evidencias;
     }
     const deps = {
-        ...(packageJson.dependencies || {}),
-        ...(packageJson.devDependencies || {})
+        ...(packageJson.dependencies ?? {}),
+        ...(packageJson.devDependencies ?? {})
     };
     if (config.VERBOSE) {
         console.log(DetectorContextoExtraMensagens.debugDependencias, Object.keys(deps));
@@ -283,7 +283,7 @@ function analisarScripts(packageJson) {
     if (!packageJson) {
         return evidencias;
     }
-    const scripts = packageJson.scripts || {};
+    const scripts = packageJson.scripts ?? {};
     for (const [tecnologia, padroes] of Object.entries(PADROES_TECNOLOGIA)) {
         for (const script of padroes.scripts) {
             if (Object.keys(scripts).some(key => key.includes(script) || scripts[key].includes(script))) {
@@ -304,7 +304,7 @@ function analisarEstrutura(estruturaDetectada) {
     for (const [tecnologia, padroes] of Object.entries(PADROES_TECNOLOGIA)) {
         for (const estrutura of padroes.estrutura) {
             // Verificação mais rigorosa para evitar falsos positivos
-            const matchExato = estruturaDetectada.find(dir => {
+            const matchExato = estruturaDetectada?.find(dir => {
                 // Match exato do caminho
                 if (dir === estrutura) {
                     return true;
@@ -432,7 +432,7 @@ function analisarPadroesCodigo(arquivos) {
  */
 function verificarAntiPatterns(arquivos, tecnologia) {
     const padraoTecnologia = PADROES_TECNOLOGIA[tecnologia];
-    if (!padraoTecnologia.antiPatterns) {
+    if (padraoTecnologia.antiPatterns.length === 0) {
         return false; // Sem anti-patterns definidos
     }
     for (const arquivo of arquivos) {
@@ -584,7 +584,7 @@ export function detectarContextoInteligente(estruturaDetectada, arquivos, packag
         let confiancaTotal = calcularConfiancaTotal(evidencias);
         // Verificação de dependências obrigatórias para evitar falsos positivos
         const padraoTecnologia = PADROES_TECNOLOGIA[tecnologia];
-        if (padraoTecnologia && padraoTecnologia.dependencias.length > 0) {
+        if (padraoTecnologia.dependencias.length > 0) {
             const temDependenciaObrigatoria = evidencias.some(erro => erro.tipo === 'dependencia' && padraoTecnologia.dependencias.includes(erro.valor));
             // Se não tem nenhuma dependência obrigatória, penalizar severamente
             if (!temDependenciaObrigatoria) {

package/dist/analysts/js-ts/detectors/detector-leaks-memory.js

@@ -107,7 +107,7 @@ const visitorMemoria = {
             return;
         }
         // Detect closures that return functions referencing large objects
-        if (path.node.body && textoTitulo.isBlockStatement(path.node.body)) {
+        if (textoTitulo.isBlockStatement(path.node.body)) {
             let hasReturnFunction = false;
             let referencesLargeData = false;
             try {

package/dist/analysts/js-ts/detectors/detector-types-unsafe.js

@@ -60,8 +60,8 @@ const ANALISTA = {
             let sugestao = '';
             // Detectar padrões específicos
             if (anyMatch[1] !== 'any') {
-                mensagem = messages.DetectorJsTsMensagens.tipoAnyComUtilidade(varNome ?? '', anyMatch[1] ?? 'any');
-                sugestao = messages.DetectorJsTsMensagens.tipoAnyComUtilidadeSugestao(anyMatch[1] ?? 'any');
+                mensagem = messages.DetectorJsTsMensagens.tipoAnyComUtilidade(varNome ?? '', anyMatch[1]);
+                sugestao = messages.DetectorJsTsMensagens.tipoAnyComUtilidadeSugestao(anyMatch[1]);
             }
             else if (/catch\s*\(\s*\w+\s*:\s*any\s*\)/.test(lineContext)) {
                 mensagem = messages.DetectorJsTsMensagens.anyCatchBlock(varNome ?? undefined);
@@ -252,6 +252,37 @@ const ANALISTA = {
                 contexto: lineContext
             });
         }
+        // ─── DETECTAR 'as' QUE PODEM SER SUBSTITUÍDOS POR 'satisfies' ─
+        const asTypePadrao = /\bas\s+([A-Za-z_$][A-Za-z0-9_$.]+)\b(?!\s*[=(])/g;
+        let asTypeMatch;
+        while ((asTypeMatch = asTypePadrao.exec(src)) !== null) {
+            const position = asTypeMatch.index ?? 0;
+            if (isInStringOrComment(src, position)) {
+                continue;
+            }
+            const linha = splitLines(src.substring(0, position)).length;
+            const lineContext = splitLines(src)[linha - 1]?.trim() || '';
+            // Skip if any type as it's already caught above
+            if (asTypeMatch[1] === 'any') {
+                continue;
+            }
+            // Skip if used in destructuring patterns (as newName)
+            if (/:\s*\w+\s+as\s+\w+/.test(lineContext)) {
+                continue;
+            }
+            if (shouldSuppressOccurrence('tipo-inseguro-as-satisfies', relPath)) {
+                continue;
+            }
+            const mensagemCompleta = `${messages.DetectorJsTsMensagens.satisfiesAvailable} | [IDEIA] ${messages.DetectorJsTsMensagens.satisfiesAvailableSugestao}`;
+            ocorrencias.push({
+                tipo: 'tipo-inseguro-as-satisfies',
+                nivel: 'info',
+                mensagem: mensagemCompleta,
+                relPath,
+                linha,
+                contexto: lineContext
+            });
+        }
         // Detectar uso de unknown
         const unknownPadrao = /:\s*unknown\b/g;
         let unknownMatch;

package/dist/analysts/php/analysts/analyst-php.js

@@ -83,7 +83,7 @@ function collectPhpIssues(src, relPath) {
     // --- Code Quality: long function/method ---
     const funcMatches = src.matchAll(/(?:^|\n)\s*(?:public|private|protected|static)?\s*function\s+\w+\s*\([^)]*\)\s*(?::\s*\w+)?\s*\{/g);
     for (const funcMatch of funcMatches) {
-        const startIdx = (funcMatch.index ?? 0) + (funcMatch[0].length ?? 0);
+        const startIdx = funcMatch.index + funcMatch[0].length;
         let braceCount = 1;
         let endIdx = startIdx;
         for (let i = startIdx; i < src.length && braceCount > 0; i++) {
@@ -98,7 +98,7 @@ function collectPhpIssues(src, relPath) {
         const body = src.slice(startIdx, endIdx);
         const lines = body.split('\n').length;
         if (lines > 60) {
-            const line = lineOf(funcMatch.index ?? 0);
+            const line = lineOf(funcMatch.index);
             ocorrencias.push(warn(messages.PhpMensagens.longFunction, relPath, line));
         }
     }
@@ -111,7 +111,7 @@ function collectPhpIssues(src, relPath) {
     }
     // --- Style: naming convention (snake_case) ---
     for (const match of scanWithoutStrings.matchAll(/\bfunction\s+([a-z][a-zA-Z0-9]*)\s*\(/g)) {
-        const funcName = match[1] ?? '';
+        const funcName = match[1];
         if (/^[a-z]+[A-Z]/.test(funcName)) {
             const line = lineOf(match.index);
             ocorrencias.push(warn(messages.PhpMensagens.camelCaseFunction, relPath, line, messages.SeverityNiveis.suggestion));

package/dist/analysts/php/detectors/detector-php-best-practices.js

@@ -48,7 +48,7 @@ function detectBestPracticesIssues(src, relPath) {
     // Magic numbers (numeric literals that aren't 0, 1, -1, or common config values)
     for (const match of scan.matchAll(/(?<!\$)[\s(,=[+\-*/%&|^]=?](\d{3,})\b(?!\s*=>)/g)) {
         const line = lineOf(match.index);
-        const context = scan.slice(Math.max(0, (match.index ?? 0) - 40), match.index ?? 0);
+        const context = scan.slice(Math.max(0, match.index - 40), match.index);
         if (!context.includes('define') && !context.includes('const') && !context.includes('LIMIT') && !context.includes('offset') && !context.includes('count') && !context.includes('max') && !context.includes('min') && !context.includes('timeout') && !context.includes('port') && !context.includes('sleep')) {
             ocorrencias.push({
                 relPath,
@@ -62,8 +62,8 @@ function detectBestPracticesIssues(src, relPath) {
     }
     // Complex functions (cyclomatic complexity via brace counting)
     for (const funcMatch of scan.matchAll(/(?:^|\n)\s*(?:public|private|protected|static)?\s*function\s+\w+\s*\([^)]*\)\s*(?::\s*\w+(?:\s*\|\s*\w+)*)?\s*\{/g)) {
-        const funcStart = funcMatch.index ?? 0;
-        const bodyStart = funcStart + (funcMatch[0].length ?? 0);
+        const funcStart = funcMatch.index;
+        const bodyStart = funcStart + funcMatch[0].length;
         let braceCount = 1;
         let bodyEnd = bodyStart;
         for (let i = bodyStart; i < scan.length && braceCount > 0; i++) {
@@ -95,7 +95,7 @@ function detectBestPracticesIssues(src, relPath) {
     for (const op of riskyOps) {
         for (const match of scan.matchAll(new RegExp(`\\b${op}\\s*\\(`, 'gi'))) {
             const line = lineOf(match.index);
-            const before = scan.slice(Math.max(0, (match.index ?? 0) - 100), match.index ?? 0);
+            const before = scan.slice(Math.max(0, match.index - 100), match.index);
             if (!before.includes('@') && !before.includes('try') && !before.includes('if') && !/(?:if\s*\(|try\s*\{)/.test(before)) {
                 ocorrencias.push({
                     relPath,
@@ -111,7 +111,7 @@ function detectBestPracticesIssues(src, relPath) {
     // Superglobal access without filtering
     for (const match of scan.matchAll(/\$(?:_GET|_POST|_REQUEST|_COOKIE|_SERVER)\s*\[/gi)) {
         const line = lineOf(match.index);
-        const before = scan.slice(Math.max(0, (match.index ?? 0) - 150), match.index ?? 0);
+        const before = scan.slice(Math.max(0, match.index - 150), match.index);
         if (!before.includes('filter_input') && !before.includes('filter_var') && !before.includes('htmlspecialchars') && !before.includes('trim') && !before.includes('strip_tags') && !before.includes('intval') && !/=\s*(int|float|string|bool)\s*\$/.test(before)) {
             ocorrencias.push({
                 relPath,