Vector35 / Vector35/binaryninja-api
Type propagation fails to properly account for the size of a variable read.
Nadie ha tomado este issue todavía.
- Lenguaje dominante
- C++
- Estrellas
- 1.3k
- Forks
- 298
- Merge medio
- 5 d 5 h
- PR fusionados (30 d)
- 19
Descripción
Binary Ninja Version: 2.2.2568-dev Personal, c88a4dc7
Platform: Windows
It seems that during lifting some information can be lost.
In attached archive there is two binaries:
First (test_no_cl_usage) doesn't include seta cl in x2 block and bn correctly shows that we will use struct1->field8 (last line):
also we can see correct output in HLIL:
but if we use seta cl in x2 block (test_cl_usage binary) we will get following picture:
in HLIL:
in this second case bn shows us that we are reading first field of structure and it seems a bit wrong..
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.
Línea de trabajo
Start by reproducing the two cases from bins.zip, comparing lifting and HLIL output for test_no_cl_usage and test_cl_usage. Trace type propagation around the x2 block and the variable read affected by seta cl; done means both binaries identify the intended struct1->field8 access consistently.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- cpp
- Área
- reverse-engineering
- Tipo de issue
- Error
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Estado de actividad
- Estancado
- Claridad
- Necesita aclaración
- Aptitud para principiantes
- 35/100