A type mismatch problem in computer programs is said to occur when there is a mismatch between the form or classification of a value encountered during program execution and that anticipated by the program. A method for repairing or testing for many type mismatch problems in programs works by transforming a binary representation of the program into a new binary in which the problem is fixed or identified. The fix or identification is implemented by converting code that operates on variables that can suffer a mismatch into code that correctly accounts for or tests for the mismatch. Static or dynamic correlation methods, and/or control and data flow graphs are used to track certain values, to determine where to install patches and how to adjust branch, jump and procedure call references after patch installation has shifted the target references.

Um tipo problema da mau combinação em programas de computador é dito ocorrer quando há uma mau combinação entre o formulário ou a classificação de um valor encontrado durante a execução de programa e isso antecipado pelo programa. Um método para reparar ou testar para muitos o tipo problemas da mau combinação nos programas trabalha transformando uma respresentação binária do programa em um binário novo em qual o problema seja fixo ou identificou. O reparo ou a identificação são executados convertendo o código que opera sobre as variáveis que podem sofrer uma mau combinação no código que explica corretamente ou testa para a mau combinação. Os métodos de correlação de estática ou dinâmicos, e/ou o controle e os fluxo de dados gráficos estão usados seguir determinados valores, para determinar onde instalar remendos e como ajustar referências da filial, do salto e da chamada do procedimento depois que a instalação do remendo deslocou as referências de alvo.