What the session observed, and what stays unknown
Two columns. The left column lists five observed claims with their Evidence ids: _grade at 0x100000518 is 60 bytes in ev_41e8ca1c, the divide by 10 through 0x66666667 in ev_2c883c7b and ev_41e8ca1c, five 4-byte entries at 0x1000007d0 from cmp #0x4 and ldr UXTW #0x2, one DATA reference from 0x10000811a and no call edge in ev_41e8ca1c and ev_644b3495, and the strings F D C B A at 0x100000770 to 0x100000778 in ev_ad37f574. The right column lists four open rows with the call that would close each: the five table values need read_bytes at 0x1000007d0 with length 20, the five 8-byte entries at 0x1000007e8 need read_bytes there with length 40, the letter for a score of 95 needs both tables and then _labels at 0x100004030, and who passes a score to _grade_label needs analyze_function on entry.
OBSERVED, WITH THE RECORD
OPEN, WITH THE CALL THAT CLOSES IT
_grade at 0x100000518, 60 bytes
ev_41e8ca1c, procedure.body
divide by 10 via 0x66666667
ev_2c883c7b and ev_41e8ca1c, assembly
five 4-byte entries at 0x1000007d0
ev_41e8ca1c, cmp #0x4, ldr UXTW #0x2
one DATA reference, no call edge
ev_41e8ca1c and ev_644b3495, 0x10000811a
F D C B A at 0x100000770 to 778
ev_ad37f574, 39 strings
the five table values
read_bytes 0x1000007d0, length 20
five 8-byte entries at 0x1000007e8
read_bytes 0x1000007e8, length 40
the letter for a score of 95
both tables, then _labels at 0x100004030
who passes a score to _grade_label
analyze_function entry