symbols" class="anchor"></a><code>elf_symbols : <span><span>string list</span> array</span>;</code></td></tr><tr id="type-analysis.frame_info" class="anchored"><td class="def field"><a href="#type-analysis.frame_info" class="anchor"></a><code>frame_info : <span><span><span>(<a href="../../Analyse/Utils/index.html#type-addr">Analyse.Utils.addr</a> * string * <span><span>(string * string)</span> list</span>)</span> option</span> array</span>;</code></td></tr><tr id="type-analysis.indirect_branches" class="anc