eldorado.tu-dortmund.de/server/api/core/bitstreams/782a1508-3c7b-4d46-adea-0d1ba47b3f8c/content
Microsoft Word - AlarmReductionDIMVA041_corr1.doc
edi, [ebp+arg_0] mov esi, edi sub esi, 1 mov [ebp+arg_0], esi cmp edi, 0 jnz short loc_401267 cmp [ebp+arg_4], 64h jle short loc_401287 mov eax, 1 jmp short loc_40128C
loc_401287: mov eax, 0
loc_40128C: [...] 164 Halvar Flake
int foo( int a, int b ) { while( a-- ) { b++;
} if( b > 100 ) return 1;
else return 0;
}
Figure 1: The C function
the needed information without knowledge of the underlying CPU or its assembly …