Print addresses in hexadecimal
ID0000730: This issue was created automatically from Mantis Issue 730. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000730 | Frama-C | Plug-in > Eva | public | 2011-02-18 | 2014-02-12 |
| Reporter | yakobowski | Assigned To | pascal | Resolution | fixed |
| Priority | normal | Severity | feature | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Carbon-20110201 | Target Version | - | Fixed in Version | Frama-C Nitrogen-20111001 |
Description :
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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information