1. A system comprising: a hardware memory; and one or more hardware processors coupled to the hardware memory and configured to perform operations comprising: selecting a portion of a symbolic memory resource based on an analysis of symbolic memory cells of the symbolic memory resource; and by symbolic execution, determining a set of values that are referenced by the selected portion of the symbolic memory resource.