I am trying to model memory using Z3, however I stil have a very basic question . Given .elf file for arm with segments and sections as shown below
Segments
