O valor inicial dessa variável não é usado. Após a inicialização, a variável recebe outro valor ou sai de escopo.

Exemplo: O trecho de código a seguir faz uma atribuição à variável r e, em seguida, substitui o valor sem usá-lo.

  int r = getNum();
  r = getNewNum(buf);

O valor dessa variável não é usado. Após a atribuição, a variável recebe outro valor ou sai de escopo.

Exemplo: O trecho de código a seguir faz uma atribuição à variável r e, em seguida, substitui o valor sem usá-lo.

  r = getName();
  r = getNewBuffer(buf);

O Solidity permite que as variáveis sejam declaradas e nunca usadas e, embora na maioria das vezes isso não aponte diretamente para uma vulnerabilidade de segurança, é uma prática ruim. Isso pode causar ruído e consumo desnecessário de gás devido ao aumento dos ciclos de computação necessários.

Exemplo 1: O código a seguir declara a variável var1 do tipo A, mas nunca o usa.

contract Base {
    struct A { uint a; }
}

contract DerivedA is Base {
    A var1 = A(1);
    int internal j = 500;

    function call(int a) public {
        assign1(a);
    }

    function assign3(A memory x) public returns (uint) {
        return g[1] + x.a + uint(j);
    }
}

Diferentes sistemas operacionais usam diferentes caracteres como separadores de arquivo. Por exemplo, os sistemas Microsoft Windows usam "\", enquanto os sistemas UNIX usam "/". Quando os aplicativos precisam ser executados em plataformas diferentes, o uso de separadores de arquivo inseridos em código fixo pode resultar na execução incorreta da lógica do aplicativo e, potencialmente, em uma negação de serviço.

Exemplo 1: O seguinte código usa um separador de arquivo inserido em código fixo para abrir um arquivo:

...
var file:File = new File(directoryName + "\\" + fileName);
...

Diferentes sistemas operacionais usam diferentes caracteres como separadores de arquivo. Por exemplo, os sistemas Microsoft Windows usam "\", enquanto os sistemas UNIX usam "/". Quando os aplicativos precisam ser executados em plataformas diferentes, o uso de separadores de arquivo inseridos em código fixo pode resultar na execução incorreta da lógica do aplicativo e, potencialmente, em uma negação de serviço.

Exemplo 1: O seguinte código usa um separador de arquivo inserido em código fixo para abrir um arquivo:

...
FileStream f = File.Create(directoryName + "\\" + fileName);
...

Diferentes sistemas operacionais usam diferentes caracteres como separadores de arquivo. Por exemplo, os sistemas Microsoft Windows usam "\", enquanto os sistemas UNIX usam "/". Quando os aplicativos precisam ser executados em plataformas diferentes, o uso de separadores de arquivo inseridos em código fixo pode resultar na execução incorreta da lógica do aplicativo e, potencialmente, em uma negação de serviço.

Exemplo 1: O seguinte código usa um separador de arquivo inserido em código fixo para abrir um arquivo:

...
os.open(directoryName + "\\" + fileName);
...