Microaula em Método CELULA • Prévia Aberta

<p><strong>Circunstância e Desafio Executivo:</strong> Combinar AST, Grafo de Fluxo de Controle (CFG) e Grafo de Dependência de Dados (PDG) para rastrear entradas não confiáveis (tainted sources) até pontos críticos de execução (sinks).</p>

Célula 03: Análise Estática de Segurança (SAST), Taint Analysis Interprocedimental e Grafos de Propriedade de Código (Code Property Graphs - CPG)

Objetivo de Aprendizagem: Combinar AST, Grafo de Fluxo de Controle (CFG) e Grafo de Dependência de Dados (PDG) para rastrear entradas não confiáveis (tainted sources) até pontos críticos de execução (sinks).

1. Fundamentos e Visão Global

Contextualização Estratégica e Fundamentos Globais: Em Segurança via Compiladores (CFI/Sanitizers/SAST), Green Software e ROI, o domínio de 'Análise Estática de Segurança (SAST), Taint Analysis Interprocedimental e Grafos de Propriedade de Código (Code Property Graphs - CPG)' conecta diretamente as demandas reais do mercado brasileiro aos referenciais internacionais da ONU, Agenda Pós-2030 e melhores práticas globais. O objetivo central desta etapa é: Combinar AST, Grafo de Fluxo de Controle (CFG) e Grafo de Dependência de Dados (PDG) para rastrear ent...