\brief Recover a jump-table for a given BRANCHIND using existing flow information A partial function (copy) is built using the flow info. Simplification is performed on the partial function (using the "jumptable" strategy), then destination addresses of the branch are recovered by examining the simplified data-flow. The jump-table object is populated with the recovered addresses. A code indicati
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected