¿Cómo ver el ensamblado detrás del código usando Visual C ++?

Estaba leyendo otra pregunta relacionada con la eficiencia de dos líneas de código, y el OP dijo que miró el ensamblaje detrás del código y que ambas líneas eran idénticas en ensamblaje. Aparte de la digresión, ¿cómo podría ver el código ensamblador creado cuando se compila un programa?

Estoy usando Visual C ++ de Microsoft, pero también me gustaría saber si es posible ver el ensamblaje detrás del código escrito en Visual Basic.

Entonces, ¿cómo veo el código ensamblador detrás de un programa escrito en lenguajes de nivel superior como C ++ y Visual Basic?

Hay varios enfoques:

1. Normalmente puede ver el código ensamblador mientras depura C ++ en Visual Studio (y también eclipse). Para esto, en Visual Studio, ponga un punto de interrupción en el código en cuestión y cuando el depurador lo golpee, haga clic derecho y busque "Ir al ensamblaje" (o presione CTRL + ALT + D)

2. El segundo enfoque consiste en generar listas de ensamblado durante la compilación. Para esto, vaya a la configuración del proyecto -> C / C ++ -> Archivos de salida -> Ubicación de la lista ASM y complete el nombre del archivo. También seleccione "Salida de ensamblado" a "Ensamblado con código fuente".

3. Compile el programa y use cualquier depurador de terceros. Puede usar OllyDbg o WinDbg para esto. También puede utilizar IDA (desensamblador interactivo). Pero esta es una forma incondicional de hacerlo.

Nota adicional: existe una gran diferencia entre la salida del ensamblador de depuración y la versión uno. El primero es bueno para aprender cómo el compilador produce código ensamblador a partir de C ++. El segundo es bueno para aprender cómo el compilador optimiza varias construcciones de C ++. En este caso, algunas transformaciones de C ++ a conjunto no son obvias.

Especifique el modificador / FA para el compilador cl. Dependiendo del valor del interruptor, solo se integra el código de ensamblaje o el código de alto nivel y el código de ensamblaje. El nombre de archivo obtiene la extensión de archivo .asm. Estos son los valores admitidos:

• / Código de ensamblaje FA; .asm
• / FAc Código de máquina y ensamblaje; .bacalao
• / FAs Código fuente y ensamblador; .asm
• / FAcs Código de ensamblaje, fuente y máquina; .bacalao

La forma más sencilla es activar el depurador y comprobar la ventana de desmontaje .

La versión anterior de esta respuesta (un "truco" para rextester.com) es mayormente redundante ahora que http://gcc.godbolt.org/ proporciona CL 19 RC para ARM, x86 y x86-64 (dirigido a la convención de llamadas de Windows , a diferencia de gcc, clang y icc en ese sitio).

El explorador de compiladores de Godbolt está diseñado para formatear muy bien la salida de asm del compilador, eliminando el "ruido" de las directivas, por lo que recomiendo encarecidamente usarlo para buscar en asm funciones simples que toman argumentos y devuelven un valor (para que no sean optimizado).

Durante un tiempo, CL estuvo disponible en http://gcc.beta.godbolt.org/ pero no en el sitio principal, pero ahora está en ambos.

Para obtener la salida MSVC asm del compilador en línea http://rextester.com/l/cpp_online_compiler_visual : Agregue /FAslas opciones de la línea de comandos. Haga que su programa encuentre su propia ruta y calcule la ruta al .asmy lo descargue. O ejecute un desensamblador en el .exe.

por ejemplo, http://rextester.com/OKI40941

#include <string>
#include <boost/filesystem.hpp>
#include <Windows.h>

using namespace std;

static string my_exe(void){
    char buf[MAX_PATH];
    DWORD tmp = GetModuleFileNameA( NULL, // self
                                  buf, MAX_PATH);
    return buf;
}

int main() {
    string dircmd = "dir ";
    boost::filesystem::path p( my_exe() );
    //boost::filesystem::path dir = p.parent_path();

    // transform c:\foo\bar\1234\a.exe 
    // into      c:\foo\bar\1234\1234.asm
    p.remove_filename();
    system ( (dircmd + p.string()).c_str() );

    auto subdir = p.end();      // pointing at one-past the end
    subdir--;                   // pointing at the last directory name
    p /= *subdir;               // append the last dir name as a filename
    p.replace_extension(".asm");
    system ( (string("type ") + p.string()).c_str() );
//    std::cout << "Hello, world!\n";
}

... code of functions you want to see the asm for goes here ...

typees la versión DOS de cat. No quería incluir más código que dificultaría la búsqueda de las funciones para las que quería ver el asm. (¡Aunque usa std :: string y boost run en contra de esos objetivos! Alguna manipulación de cadena de estilo C que hace más suposiciones sobre la cadena que está procesando (e ignora la seguridad / asignación de longitud máxima mediante el uso de un búfer grande) en el resultado de GetModuleFileNameAwould ser mucho menos código de máquina total).

IDK por qué, pero cout << p.string() << endlsolo muestra el nombre base (es decir, el nombre del archivo, sin los directorios), aunque imprimir su longitud muestra que no es solo el nombre simple. (Chromium48 en Ubuntu 15.10). Probablemente haya algún procesamiento de escape de barra invertida en algún momento couto entre la salida estándar del programa y el navegador web.

En Visual C ++, las opciones del proyecto en Archivos de salida creo que tienen una opción para generar la lista de ASM con el código fuente. Entonces verá el código fuente de C / C ++ y el ASM resultante, todos en el mismo archivo.

Para MSVC puede utilizar el vinculador.

link.exe / dump / linenumbers / disaster /out:foo.dis foo.dll

foo.pdb debe estar disponible para obtener símbolos

.NET Reflector de Red Gate es una herramienta bastante impresionante que me ha ayudado más de un par de veces. El lado positivo de esta utilidad fuera de mostrarte fácilmente MSIL es que puedes analizar muchas DLL de terceros y hacer que Reflector se encargue de convertir MSIL a C # y VB.

No prometo que el código sea tan claro como la fuente, pero no debería tener muchos problemas para seguirlo.

Si está hablando de depurar para ver el código ensamblador, la forma más fácil es Debug-> Windows-> Disassembly (o Alt-8). Esto le permitirá ingresar a una función llamada y permanecer en Desmontaje.