An annotation would be visible as a little icon next to the annotated item. When clicked, the annotation should open up and display an editor for annotations. For disassembly window, these could be:
register value assumptions ("assume eax is 0x3000 at this point" )
register / memory type assumptions ("assume eax is of type int (*__cdecl)(double, char *)" )
General comments, which should be emitted in the final C code.
An annotation would be visible as a little icon next to the annotated item. When clicked, the annotation should open up and display an editor for annotations. For disassembly window, these could be:
int (*__cdecl)(double, char *)
" )