AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • Início
  • system&network
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • Início
  • system&network
    • Recentes
    • Highest score
    • tags
  • Ubuntu
    • Recentes
    • Highest score
    • tags
  • Unix
    • Recentes
    • tags
  • DBA
    • Recentes
    • tags
  • Computer
    • Recentes
    • tags
  • Coding
    • Recentes
    • tags
Início / coding / Perguntas / 79332997
Accepted
dash-o
dash-o
Asked: 2025-01-06 20:20:13 +0800 CST2025-01-06 20:20:13 +0800 CST 2025-01-06 20:20:13 +0800 CST

Identificando código morto em grande repositório de código

  • 772

Tenho uma grande base de código C, com >100 binários, >3000 arquivos e >30 bibliotecas. Há muito código morto que foi acumulado e estou procurando maneiras de identificar e remover esse código. O código é simples - sem macros complexas e (muito pouco) código gerado automaticamente (lex/bison/...).

Para identificar código morto "estático" (e variáveis), o gcc faz um bom trabalho (usar -Wunused-*opções identifica todas as variáveis ​​estáticas não utilizadas, funções estáticas, ...). Meu desafio é com funções e variáveis ​​globais não estáticas (e a base de código tem muitas delas!)

Tenho muita experiência usando 'nm' em todos os arquivos de objetos, praticamente criei uma lista de todos os símbolos globais definidos (tipos 'T', 'D' e 'B' para código, dados e não inicializados). Então removi todos os símbolos 'U'. Esse processo identificou todos os globais não referenciados. Neste ponto, tenho que tornar manualmente cada símbolo estático, compilar com gcc -Werror -Wunusede ver se ele gera algum erro.

# Omitting some details for brevity.
nm --undefined-only lib1.a lib2.a ... obj1 obj2.o obj3.o | sort > refs.txt
nm --extern-only --defined-only lib1.a lib2.a ... obj1 obj2.o obj3.o  | sort > defs.txt
join -12 -23 -v2 refs.txt defs.txt

Minha pergunta - é possível usar "nm" (ou outra ferramenta de análise de objetos como objdump) para identificar quais símbolos globais no arquivo de objeto também são usados ​​dentro do mesmo objeto. Isso acelerará a eliminação de código morto separando o código morto na função global das funções globais que são realmente usadas (mas podem se tornar estáticas).

Alternativamente, existe alguma outra ferramenta existente que faça o trabalho?

c
  • 1 1 respostas
  • 79 Views

1 respostas

  • Voted
  1. Best Answer
    yugr
    2025-01-07T02:36:55+08:002025-01-07T02:36:55+08:00

    Sugiro usar a funcionalidade de remoção de símbolos mortos do GNU ld para isso.

    Para isso, você precisa compilar seu código com -fdata-sections -ffunction-sectionse então vincular com -Wl,--gc-sections -Wl,--print-gc-sectionsflags. Ele imprimirá informações sobre funções que foram removidas.

    Aqui está um exemplo de programa de amostra

    /usr/bin/ld: removing unused section '.text.foo' in file '/tmp/ccXZWJ2X.o'
    

    ( .text.fooé uma seção gerada para uma função não utilizada foo).

    Como observação, se você usar essas opções, pode não haver necessidade de higienizar manualmente sua base de código (além de torná-la mais limpa), porque a cadeia de ferramentas removerá o código morto automaticamente.

    • 3

relate perguntas

  • Multiplicação mais rápida que *

  • Usando uma macro para comprimento de string no especificador de formato scanf () em C

  • Como você pode definir o tipo de dados de #define para long double?

  • Ponteiros const incompatíveis

  • Mudança de cor não gradual no OpenGL

Sidebar

Stats

  • Perguntas 205573
  • respostas 270741
  • best respostas 135370
  • utilizador 68524
  • Highest score
  • respostas
  • Marko Smith

    Reformatar números, inserindo separadores em posições fixas

    • 6 respostas
  • Marko Smith

    Por que os conceitos do C++20 causam erros de restrição cíclica, enquanto o SFINAE antigo não?

    • 2 respostas
  • Marko Smith

    Problema com extensão desinstalada automaticamente do VScode (tema Material)

    • 2 respostas
  • Marko Smith

    Vue 3: Erro na criação "Identificador esperado, mas encontrado 'import'" [duplicado]

    • 1 respostas
  • Marko Smith

    Qual é o propósito de `enum class` com um tipo subjacente especificado, mas sem enumeradores?

    • 1 respostas
  • Marko Smith

    Como faço para corrigir um erro MODULE_NOT_FOUND para um módulo que não importei manualmente?

    • 6 respostas
  • Marko Smith

    `(expression, lvalue) = rvalue` é uma atribuição válida em C ou C++? Por que alguns compiladores aceitam/rejeitam isso?

    • 3 respostas
  • Marko Smith

    Um programa vazio que não faz nada em C++ precisa de um heap de 204 KB, mas não em C

    • 1 respostas
  • Marko Smith

    PowerBI atualmente quebrado com BigQuery: problema de driver Simba com atualização do Windows

    • 2 respostas
  • Marko Smith

    AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos

    • 1 respostas
  • Martin Hope
    Fantastic Mr Fox Somente o tipo copiável não é aceito na implementação std::vector do MSVC 2025-04-23 06:40:49 +0800 CST
  • Martin Hope
    Howard Hinnant Encontre o próximo dia da semana usando o cronógrafo 2025-04-21 08:30:25 +0800 CST
  • Martin Hope
    Fedor O inicializador de membro do construtor pode incluir a inicialização de outro membro? 2025-04-15 01:01:44 +0800 CST
  • Martin Hope
    Petr Filipský Por que os conceitos do C++20 causam erros de restrição cíclica, enquanto o SFINAE antigo não? 2025-03-23 21:39:40 +0800 CST
  • Martin Hope
    Catskul O C++20 mudou para permitir a conversão de `type(&)[N]` de matriz de limites conhecidos para `type(&)[]` de matriz de limites desconhecidos? 2025-03-04 06:57:53 +0800 CST
  • Martin Hope
    Stefan Pochmann Como/por que {2,3,10} e {x,3,10} com x=2 são ordenados de forma diferente? 2025-01-13 23:24:07 +0800 CST
  • Martin Hope
    Chad Feller O ponto e vírgula agora é opcional em condicionais bash com [[ .. ]] na versão 5.2? 2024-10-21 05:50:33 +0800 CST
  • Martin Hope
    Wrench Por que um traço duplo (--) faz com que esta cláusula MariaDB seja avaliada como verdadeira? 2024-05-05 13:37:20 +0800 CST
  • Martin Hope
    Waket Zheng Por que `dict(id=1, **{'id': 2})` às vezes gera `KeyError: 'id'` em vez de um TypeError? 2024-05-04 14:19:19 +0800 CST
  • Martin Hope
    user924 AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos 2024-03-20 03:12:31 +0800 CST

Hot tag

python javascript c++ c# java typescript sql reactjs html

Explore

  • Início
  • Perguntas
    • Recentes
    • Highest score
  • tag
  • help

Footer

AskOverflow.Dev

About Us

  • About Us
  • Contact Us

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve