¿Existe una herramienta Diff Semántica de trabajo para C++?

Question

He encontrado solo proyectos abandonados, teorías y listas de características. Pero no pude encontrar una herramienta que pueda comparar dos archivos fuente C++ y mostrar diferencias semánticas.

Por supuesto, no compararía dos archivos no relacionados o los cambios acumulados durante 10 años de desarrollo y mantenimiento. Pero los cambios generalmente discutidos en una revisión de código se entenderían más fácilmente, si se presentan junto con el significado adecuado, en lugar de cambios de texto en el nivel de char/palabra/línea

Answer 1

No es posible, en general. Un programa no puede decir si otro terminará (el famoso Halting Problem). Para programas más limitados (bucles finitos y quizás otras restricciones) puede hacer más, pero es algo pesado, y el lenguaje debería ser, no C++ sino algo menos complicado, un subconjunto limitado o un lenguaje más simple. Probablemente es por eso que no encuentras nada que haya sido más que comenzado.

Answer 2

Sí, se llama "escribir comentarios para commits" y "issue tracking". Considere los metadatos para el análisis semántico.

Answer 3

Una verdadera "diferencia semántica" es imposible. Más cerca sería una herramienta que comparaba dos archivos fuente para ver cómo uno se derivaba del otro mediante operaciones de edición abstracta (eliminar, copiar, mover, renombrar) en las estructuras del programa (variables, expresiones, declaraciones, métodos). Consulte nuestra Smart Differencer para obtener una herramienta que hace esto para algunos idiomas, con C++ próximamente.

Marzo de 2013: dialectos GCC/MS de C++ 11 compatibles.

Answer 4

Hay uno para C utilizado por los desarrolladores de Linux kernel. No es para C++, aunque

http://coccinelle.lip6.fr