32-bit Mode

[sjcappella]

Is 32-bit mode still supported for x86? I'm trying to use the cppgdsl interface and I'd like to dynamically invoke the x86-rreil frontend in either 32-bit of 64-bit mode but I don't see a way to configure it. Thanks!

[kranzj]

I'm sorry for the delay. Yes, 32-bit mode is still supported; however, the configuration option is not yet implemented in cppgdsl. For now, the easiest way to decode in 32 bit mode is to change the default configuration in specifications/x86/x86.ml to config-mode32.