Print addresses in hexadecimal
ID0000730: This issue was created automatically from Mantis Issue 730. Further discussion may take place here.
|ID0000730||Frama-C||Plug-in > Eva||public||2011-02-18||2014-02-12|
|Product Version||Frama-C Carbon-20110201||Target Version||-||Fixed in Version||Frama-C Nitrogen-20111001|
It would be really helpful to have an option that asks the value analysis to print memory addresses in hexadecimal instead of base 10 integers. That is, print eg. NULL[117445956..117445959] as NULL[0x7001544-7001547]. I think this would also be fine for smaller offsets.
I tried to do the change myself, but Big_int.to_hex_string (or anything equivalent) does not exists... Ideas are welcome.