1. [1] Mahadevan, S.V., Takano, Y. and Miyaji, A.: PRSafe: Primitive Recursive Function based Domain Specific Language using LLVM, 2021 International Conference on Electronics, Information, and Communication (ICEIC), pp.1-4, DOI: 10.1109/ICEIC51217.2021.9369763 (2021).
2. [2] Eason, G., Lattner, C. and Adve, V.: Llvm: A compilation framework for lifelong program analysis & transformation, Proc. International Symposium on Code Generation and Optimization: Feedback-Directed and Runtime Optimization (2004).
3. [3] eBPF-verifier, PREVAIL (2021), available from <https://github.com/vbpf/ebpf-verifier/blob/master/README.md>.
4. [4] Jesper Dangaard Brouer: eBPF - extended Berkeley Packet Filter - Documentation, available from <https://prototype-kernel.readthedocs.io/en/latest/bpf/>.
5. [5] Gershuni, E., Amit, N., Gurfinkel, A., Narodytska, N., Navas, J.A., Rinetzky, N., Ryzhyk, L. and Sagiv, M.: Simple and precise static analysis of untrusted linux kernel extensions, Proc. 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (2019).