Restrain symbolic pointers to certain memory areas

[Boyan-MILANOV]

We should have a setting that allows to provide a list of address ranges, and force possible values for symbolic pointers to be within those ranges. This setting should be compatible with symptr_refine_range and symptr_limit_range.

The rational behind such an option is to allow the symbolic pointer analysis to target only specific memory areas, just as was needed for the zehn challenge from hxp 2021 CTF.

Implementation idea: just compute the possible value range as before, and then refine it using the allowed ranges. If there are intersections, keep them as possible values for the pointer, if there are no intersections, use the pointer concrete value.

[Boyan-MILANOV]

Note: we might want to have two separate settings for symbolic reads and symbolic writes, e.g symptr_force_read_range and symptr_force_write_range.