Herramienta que ayuda a la migración de C++ de 32 a 64 bits en una gran base de código

Sí, he realizado tareas de análisis y modificación de código a gran escala, incluido C++. Construyo herramientas explícitamente para manejar esto.

Nuestro kit de herramientas de reingeniería de software DMS con su C++ Front End podría ser de ayuda.

(Dado que esta no es una solución lista para usar para el problema de los OP, no puedo hacer una recomendación aquí, solo señalar su existencia. Afirmaré que es una solución viable para su problema como se indica).

Lo que ofrece DMS es la capacidad de configurar una herramienta de análisis personalizada ("guionizada"), centrándose en las necesidades específicas de una base de código particular. Su analizador C++ puede leer código fuente C++14 de estilo GCC o MSVS, crear AST completos, tablas de símbolos con precisión de compilador y control local y análisis de flujo de datos para métodos/funciones. Tiene soporte incorporado para analizar rangos de valores que puede tener una variable. Con estos fundamentos, a menudo es práctico construir un analizador enfocado que detecte problemas específicos de interés.

En la medida en que se detecte un problema y tenga una solución conocida (imagine copiar un puntero de 32 bits en un int de 32 bits; en una máquina de 64 bits, el int de 32 bits debe volver a declararse como 64 bits), DMS puede aplicar fuente Transformaciones de programa a código fuente para modificar los AST y luego regenerar el código fuente a partir de los árboles modificados. Esto puede ser de gran ayuda para administrar el costo del cambio después de la detección. DMS se ha utilizado para otras tareas de cambio masivo aplicadas al código fuente de C++.

Con respecto a los analizadores personalizados necesarios para las tareas de OP:

• diferencias de tamaño de tipo de datos: DMS tiene información de tipo completa para cada entidad declarada y calcula tipos de cada nivel de cada expresión tal como lo hace un compilador de C++. Puede utilizar esta información para detectar discrepancias entre el tipo de un valor de origen (p. ej., puntero [que ahora debe tener 64 bits]) y su destino (p. ej., una ranura de estructura de tamaño declarado de 32 bits).
• desbordamientos inducidos por la migración: conociendo los tipos/rango de los sumandos, uno puede estimar el rango de la suma, y ​​si el destino puede acomodar una realización de un complemento.
• valores mágicos problemáticos: si puedes enumerarlos, son fáciles de detectar. Creo que el problema aquí no son los valores, sino el contexto en el que se encuentran. DMS tiene los flujos de datos para encontrar el contexto para que pueda verificarse.
• cambio de alineación de memoria en estructura, unión y así: DMS tiene la información de tipo. Cuando el tipo "nuevo" debe ser diferente de 32 bits, puede verificar la alineación de los tipos de destino (por ejemplo, ranuras de estructura, etc.)
• mal uso del especificador de formato (como en printf(“%u”, val); si val es largo): Esto requerirá interpretar el identificador de formato y verificar los argumentos. DMS tiene la información de tipo necesaria
• conversión implícita problemática: nuevamente, necesita información de tipo para los tipos originales y verificar si la conversión implícita estira/reduce el valor de origen de manera inapropiada
• métodos y funciones que ya no coinciden (método virtual y sobrecargado): DMS sabe (para la versión válida de 32 bits) cuáles son las coincidencias de sobrecarga adecuadas. Si los operandos cambian de tamaño, se puede hacer una verificación relativamente sencilla para determinar si el tamaño del argumento se declara en consecuencia (o hacer que DMS simplemente cambie el tamaño del operando).

Ninguno de estos es probablemente tan simple como he sugerido. Es probable que todos ellos juntos supongan mucho menos trabajo que tratar de detectar manualmente/parchar problemas en SLOC de 8M.

Sus puntos clave:

• Encuentre todos los problemas: puede crear analizadores personalizados para cada problema específico. Algunos serán más fáciles que otros.
• Minimice los falsos positivos: algunos analizadores personalizados serán huerísticos o algorítmicos según el esfuerzo invertido y la dificultad del análisis. Bienvenido al análisis automatizado de programas y al tarpit de Turing. Tome la ayuda que pueda obtener.
• Industrial: DMS se ha utilizado para una gran variedad de tareas complejas, en una gran variedad de lenguajes, incluso con C++. Es programable en una variedad de formas; DMS fue diseñado para manejar a gran escala.
• DMS es un "juego de herramientas"; un conjunto de herramientas y bibliotecas. es comercial Se ejecuta de forma nativa en Windows; ha sido probado minuciosamente bajo Linux/Wine.
• Documentación: DMS está diseñado para ser utilizado por terceros. Miles de páginas de documentación en línea, diapositivas de tutoriales y ofrecemos una clase de capacitación si lo desea.

DMS puede ejecutarse en Windows o en Linux bajo Wine.