From: Jiong Wang <jiong.w...@netronome.com> Date: Mon, 7 May 2018 06:22:36 -0400
> This infrastructure comes with some memory usage and execution time cost. > Memory pool based allocation is used to avoid frequently calling of > kmalloc/free. Singly linked list and compact pointer are used to reduce > various cfg node size. The memory and execution time costs are unfortunate, but we will certainly need a real control flow graph in the verifier whether we like it or not.
