Dead Store Elimination doesn't seem to eliminate some expressions correctly.

Abierto

#2,937 abierto el 6/2/2022 1 comentario 1 reacción 1 asignado Ver en GitHub

@D0ntPanic ya está trabajando en esto.

Desde el 9/2/2022.

Evaluación

Este issue todavía no se ha evaluado.

Descripción

Component: Core Core: HLIL Effort: Low IL Optimization Impact: Low

Version and Platform (required):

Binary Ninja Version: Version 3.0.3247-dev Personal
OS: Windows 11

Bug Description:
Dead Store Elimination sometimes leaves hanging operands, which gives an invalid HLIL. Here is the screenshot for the HLIL:

Here is the HLIL report, showing the DSE behavior:

Here it doesn't matter argc and argv are not passed to main

Steps To Reproduce:
Download rc4.zip and load rc4.exe in binary ninja.
Go to __scrt_common_main_seh and look right before main is called.

Expected Behavior:
If these value are supposed to be eliminated, they should not appear in the HLIL at all.

Additional information:
This doesn't seem to be an isolated problem. It happens fairly regularly in a few protected executable I sadly couldn't share. It seems to happen mainly when dereferencing memory:

Lenguaje dominante: C++
Estrellas: 1.3k
Forks: 298
Merge medio: 5 d 5 h
PR fusionados (30 d): 19

Guía de contribución

No hay ninguna guía de contribución indexada para este repositorio

Primeros pasos

Lee el issue completo y luego la guía de contribución del proyecto.
Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
Haz un fork del repositorio y trabaja en una rama.
Abre un pull request que haga referencia al número del issue.

Más de Vector35/binaryninja-api

`Function::IsVariableUserDefinded` is misspelt in the C++ API Abierto

Dificultad 1/5 1-3 horas Aptitud para principiantes 88/100

Vector35/binaryninja-api#8540 · Abierto el 10/9/2026
MSP430: conditional_jump! macro initialises new_true to true, emitting a spurious jump Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100

Vector35/binaryninja-api#8516 · Abierto el 3/9/2026
MSP430: Sub lifts operands in reverse order (inconsistent with Cmp) Abierto

Dificultad 1/5 Menos de una hora Aptitud para principiantes 92/100

Vector35/binaryninja-api#8503 · Abierto el 1/9/2026
normalize time logs from WARP Abierto

Dificultad 1/5 Menos de una hora Aptitud para principiantes 88/100

Vector35/binaryninja-api#8446 · Abierto el 20/8/2026
component data variable notifications raise AttributeError Abierto

Dificultad 1/5 Menos de una hora Aptitud para principiantes 88/100

Vector35/binaryninja-api#8444 · Abierto el 20/8/2026

Todos los issues de Vector35/binaryninja-api

Issues similares

RingOutlierFilterComponent never sets row_step on its output PointCloud2 (always 0) Abierto

Dificultad 1/5 1-3 horas Aptitud para principiantes 92/100

autowarefoundation/autoware_universe#13413 · Abierto el 21/9/2026
HTML export opens a span per character for system messages Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100

Mudlet/Mudlet#10974 · 1 comentario · Abierto el 21/9/2026
[Memory Safety] Memory Safety Analysis: artifact download blocked by network egress restrictions (run `#92`) Abierto

automated-analysis bug memory-safety

Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100

Z3Prover/z3#10883 · Abierto el 21/9/2026
Eval bug: SIGSEGV in token-counting routes when the request arrives while the server is sleeping (stale vocab/mctx captured before the wake barrier) Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 86/100

ggml-org/llama.cpp#29188 · Abierto el 20/9/2026
Sensor initialization takes very long when `--initial-sim-time` is set to current UNIX timestamp Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100

gazebosim/gz-sensors#662 · 1 comentario · Abierto el 20/9/2026

Más issues de C++

Un resumen breve de issues de GitHub para principiantes.