Fallos del tipo CWE-758

27 resultados

Dependência de comportamento indefinido ou dependente da implementação

O código confia em comportamentos que a especificação da linguagem não define, deixa em aberto ou deixa a cargo de cada compilador/interpretador. Isso causa falhas imprevisíveis: o programa funciona em um ambiente, quebra em outro, ou se torna vulnerável a exploração conforme a implementação muda.

Ejemplo

Um código C que depende da ordem de avaliação de argumentos em uma função (comportamento indefinido em C), ou que assume um inteiro com sinal sempre terá overflow em direção previsível. Ao mudar de compilador ou versão, o comportamento pode se alterar completamente.

Cómo mitigar

Use apenas comportamentos explicitamente garantidos pela especificação da linguagem. Ative avisos do compilador (flags como -Wall, -Wextra no GCC/Clang), revise código que dependa de detalhes de implementação, e teste em múltiplos compiladores e plataformas antes de colocar em produção.

CVE-2026-34549MEDIUMiccDEV: UB at IccUtil.cppEPSS 0.2%CVE-2026-34537MEDIUMiccDEV: UB in CIccOpDefEnvVar::Exec()EPSS 0.2%CVE-2026-34547MEDIUMiccDEV: UB at IccUtil.cppEPSS 0.2%CVE-2026-34533MEDIUMiccDEV: UB in CIccCalculatorFunc::ApplySequence()EPSS 0.2%CVE-2026-28528LOWBlueKitchen BTstack < 1.8.1 AVRCP Browsing Target GET_FOLDER_ITEMS Handler OOB Read / Undefined BehaviorEPSS 0.1%CVE-2026-50185LOWRustCrypto Cmov/CmovEq on aarch64 can produce wrong results if high-bits of registers are setEPSS 0.1%CVE-2024-58350LOWGhidra < 11.2 - Use After Free in Sleigh Backend via Static Initialization OrderEPSS 0.1%