set_pointer_options::max_created_elements
Maximum amount of elements added per one pointer token.
Synopsis
std::size_t max_created_elements = 1;
Description
When addressing array
elements the number represented by pointer token can exceed the size of the array. In that case several elements may be created to satisfy the request. This option limits the amount of elements that can be added per one pointer token. This can be important, because in general such operations can be dangerous, since a relatively small string "/18446744073709551616"
can request all of the machine’s memory. For that reason the default value for this option is 1, that is no more than 1 element can be added per one pointer token.