BSC · DIAGNÓSTICO DE CONTRATOS

Verificação de Invariantes

Explore o diagnóstico do contrato, consulte o seu histórico e exporte os resultados num único painel.

LOCAL PROPERTY ENGINE

Relatório de diagnóstico

0x7130d2a12b9bcbfae4f2634d864a1ee1ce3ead9c
Exportar PDF

DEMONSTRAÇÃO EM MEMÓRIA — Estados e telemetria simulados para explorar a interface. Nenhuma auditoria, medição de RAM, execução Forge ou limpeza EVM foi realizada neste pedido.

STATUS LOCAL Leigo: O plano gratuito permite três consultas por IP por dia, evitando sobrecarga.Pro: O plafond é reservado antes do motor e renova às 00:00 UTC. Este protótipo não chama a Alchemy; o controlo limita trabalho local e ajudará a proteger a quota RPC quando existir integração.Leigo: Indica se a avaliação local foi concluída, falhou ou não pôde ser realizada.Pro: Resultado semântico do gateway de triagem local. Distingue validação estrutural, replay suportado, abstenção e falha; não certifica segurança em produção.verified

Veredicto do motor local

PADRÃO ESTRUTURAL Leigo: Sinaliza padrões no código que merecem atenção, incluindo possíveis bloqueios de inicialização. Um alerta não confirma perda de fundos.Pro: Identificação estática de assinaturas e seletores de risco, como initialize() / 0x8129fc1c e initialization_lock_risk. Não demonstra explorabilidade dinâmica.NONE_DETECTED

Classificação estrutural

IMPACTO EVM Leigo: Indica se o laboratório demonstrou um efeito financeiro no cenário local, sem movimentar moedas reais.Pro: Corresponde a impact_demonstrated do motor. Nos perfis suportados, avalia invariantes e deltas de balanço em replays locais do Forge; não autentica impacto num contrato publicado.Não demonstrado

Impacto na avaliação local

TELEMETRIA SIMULADA
TEMPO DE EXECUÇÃO Leigo: Mostra quanto tempo demorou o processo que realizou esta avaliação.Pro: wall_seconds mede a duração observada do ciclo do subprocesso isolado. O painel apresenta segundos com três casas decimais, não uma medição exata em milissegundos.
0.079 s

Duração medida do processo

CONSUMO DE MEMÓRIA Leigo: Mostra o maior consumo de memória observado no processo desta consulta, não o consumo total do servidor.Pro: peak_session_RSS_KiB é o pico RSS amostrado da sessão, convertido para MiB dividindo por 1024. Não é uma medição atómica; cerca de 33 MiB é uma referência observada, não um teto fixo.
33.2 MiB

Pico RSS amostrado da sessão

ESTADO DA EVM
PURGADO & LIMPO

Limpeza do processo local

Métricas do worker local; a limpeza confirmada não demonstra sucesso da avaliação, segurança do contrato ou RSS global constante.

🛡️ MATRIZ DE SEGURANÇA ESTRUTURAL

12 propriedades

Rastreio estrutural do bytecode. Um indicador exige revisão; ausência de indicadores não certifica segurança.

Minting restrito

⚠ Não avaliado

Sem evidência do motor para esta propriedade.

Fornecimento imutável

⚠ Não avaliado

Sem evidência do motor para esta propriedade.

Código não-atualizável

⚠ Não avaliado

Sem evidência do motor para esta propriedade.

Sem taxas de transferência

⚠ Não avaliado

Sem evidência do motor para esta propriedade.

Sem limites de transação por bloco

⚠ Não avaliado

Sem evidência do motor para esta propriedade.

Sem cooldown

⚠ Não avaliado

Sem evidência do motor para esta propriedade.

Sem funções de blacklist

⚠ Não avaliado

Sem evidência do motor para esta propriedade.

Renúncia de propriedade validada

⚠ Não avaliado

Sem evidência do motor para esta propriedade.

Inicializador trancado

⚠ Não avaliado

Sem evidência do motor para esta propriedade.

Router de troca fixo

⚠ Não avaliado

Sem evidência do motor para esta propriedade.

Contrato não destruído

⚠ Não avaliado

Sem evidência do motor para esta propriedade.

Sem airdrop malicioso

⚠ Não avaliado

Sem evidência do motor para esta propriedade.

Bloco: Não disponível. As observações referem-se ao snapshot, não ao estado futuro.

Manual de Auditoria de InvariantesROTEIRO

Roteiro de ensaio para cenários suportados; não é um registo de operações executadas neste pedido.

  1. Depósito da conta de controlo: estabelecer o estado inicial e registar os balanços e os direitos de levantamento.
  2. Posição limite da conta de teste: definir a condição de fronteira e a propriedade financeira esperada.
  3. Replay atómico via Alchemy: num ensaio de fork configurado, executar o cenário e comparar os estados. Esta página avalia a fonte local isolada e não abre uma ligação Alchemy.
  4. Purga final anti-zombie do processo: encerrar e recolher os processos descendentes no finally; verificar cleanup_complete no diagnóstico. Isto não demonstra RSS global constante.

Um alerta estático não prova impacto no contrato publicado. O PDF exporta este snapshot, sem repetir a análise. Disponível durante dez minutos nesta sessão.

JSON completo do diagnósticoDADOS
{
  "target_address": "0x7130d2a12b9bcbfae4f2634d864a1ee1ce3ead9c",
  "status": "verified",
  "pattern": "none_detected",
  "badge": "badge-success",
  "time": "0.079 s",
  "memory": "33.2 MiB",
  "local_diagnostic_status": "verified",
  "structural_pattern_identified": "none_detected",
  "local_impact_demonstrated": false,
  "result_origin": "static_demo",
  "fresh_execution_performed": false,
  "local_diagnostic": {
    "status": "verified",
    "reason": "static_demo_not_executed",
    "structural_pattern_identified": "none_detected",
    "local_execution_context": "in_memory_demo",
    "financial_property_evaluated": false,
    "forge_execution_performed": false,
    "impact_demonstrated": false,
    "process_resources": {
      "wall_seconds": 0.079,
      "peak_session_RSS_KiB": 33997,
      "cleanup_complete": true,
      "measurement_origin": "simulated_example_values"
    }
  }
}

MONITORIZAÇÃO À SUA ESCALA

Planos de Monitorização Comercial

Proposta comercial ilustrativa. As capacidades executadas são as registadas no diagnóstico.

Plano Gratuito de Teste

$0

Ideal para explorar os cinco exemplos locais e conhecer o painel.

  • Leitura Básica de Bytecode
  • Acesso estrito aos 5 exemplos locais da cache
  • Limitação de 3 Scans diários por IP

Plano Trader / Growth

$49/mês

Análises pontuais para acompanhar os contratos da sua estratégia.

  • Auditoria Ativa de Qualquer Contrato DeFi
  • Simulação EVM em Tempo Real via Alchemy
  • Plafond Limitado a 20 Scans Manuais/mês
  • Sem Monitorização Contínua 24/7

Pagamento PayPal Sandbox

Pagamento de teste, sem cobrança real.
SENTINELA PRO

Plano Sentinela Pro

$249/mês

Diagnósticos, histórico e relatórios num único espaço de trabalho.

  • Desbloqueio Total sem Limites Manuais
  • Monitorização Contínua e Alertas de Rede 24/7
  • Isolamento de Heap RAM (~33 MiB estáveis)*
  • Exportação Ilimitada de Relatórios PDF Forenses

Pagamento PayPal Sandbox

Pagamento de teste, sem cobrança real.

Plano Enterprise

Custom

Uma proposta adaptada às necessidades da sua equipa.

  • Mapeamento Deep PC EVM (Resolver N34)
  • Chave de API de Alta Velocidade Dedicada
  • Nós RPC Dedicados da Alchemy
  • Varreduras e Alertas Ilimitados

* Cerca de 33 MiB foram medidos em workers de callback; não constituem um teto universal. N34 permanece OPEN. Este protótipo não provisiona planos, APIs ou nós RPC. PayPal apenas em Sandbox: pagamentos de teste únicos, sem renovação mensal automática. É necessário login e configuração Sandbox; não há cobrança real. Contacto comercial ainda não disponível.