rbpf虚拟机-阶段整理

简介: 该文章是对近期关于rbpf虚拟机文章的整理和回顾。其中包括了验证器、汇编器和反汇编器、op码、即时编译器(JIT)、执行速度测试、打包和代码执行、不同码关系、Call指令相关文章。我认为这些是rbpf虚拟机中比较重要的概念以及技术。

✨重磅!盹猫的个人小站正式上线啦~诚邀各位技术大佬前来探秘!✨
—— 专为开发者打造的宝藏基地,等你来探索!
这里有:


🔥 硬核技术干货:编程技巧、开发经验、踩坑指南,带你解锁技术新姿势!
🎉 趣味开发日常:代码背后的脑洞故事、工具测评,让技术圈不再枯燥~
💎 独家资源分享:开源项目、学习资料包,助你打怪升级快人一步!


🚀 立即访问 → 盹猫猫的个人小站 ← 点击探索
🌟 说不定这里就有你寻找已久的技术秘籍哦~

@[toc]

Welcome to Code Block's blog

本篇文章主要介绍了
[rbpf虚拟机-阶段整理]
❤博主广交技术好友,喜欢我的文章的可以关注一下❤

一、概述

该文章是对近期关于rbpf虚拟机文章的整理和回顾。

其中包括了验证器、汇编器和反汇编器、op码、即时编译器(JIT)、执行速度测试、打包和代码执行、不同码关系、Call指令相关文章。我认为这些是rbpf虚拟机中比较重要的概念以及技术。

(学习该虚拟机的目的是为了搞懂solana合约的执行方式,solana使用的rbpf是在该虚拟机上进行扩展。)

二、文章链接

  1. 验证器
  2. 汇编器和反汇编器
  3. 即时编译器
  4. op码
  5. call指令
  6. 打包和代码执行
  7. JIT和解释执行对比

三、功能和关键点

  1. 验证器:验证器提供了包括一系列对字节码程序的检查。包括:
    check_prog_len - 程序长度检查
    check_load_dw - LD_DW指令检查
    check_jmp_offset - 跳转指令检查
    check_registers - 寄存器访问检查
  2. 汇编器和反汇编器:
  • 汇编器通过汇编指令进行字符分根,并通过循环的方式将其转换为而进行字节码数据。使用到了combine库进行分割和转换。
  • 反汇编器通过循环从map中获取与字节对应的字符串指令的方式,将其转换为汇编码格式。
    1. 即时编译器:即时编译器通过x86-64调用标准完成字节码到机器码的转换。
    2. :通过对字节码、汇编码、机器码的区别,在调用时的分层。
  • 汇编码是语言
  • 字节码是编译后的中间环节
  • 机器码则属于执行环节
    1. op码: 也叫opcode,是区分不同指令之间作用的关键字,其对应在汇编码中为"mov"等前缀。
    2. call指令:call指令为调用辅助函数时必要的指令,需要执行程序前进行注册,本质上为map存储的值。
    3. 打包和代码执行: 对clang进行部署和打包,以及打包文件的反编译,可以清晰的看到打包文件的字节码。对代码的执行实际为对字节码程序的执行,其中用到了elf库。
    4. JIT和解释执行对比: 对JIT和解释执行进行速度对比,对JIT执行的执行速度有了更直观的印象,发现JIT在使用CALL调用辅助函数时,几乎不会产生任何加速。

      四、总结

      这就是对rbpf虚拟机内容的阶段整理,方便大家查阅,自己也学习到了很多东西。如果您在文章中发现任何逻辑或理解错误,请在评论中留下您宝贵的意见。

代码来源:rbpf虚拟机
鸣谢: qmonnet 提供的开源代码.

当然,我也会将带有中文注释和自己理解的一些代码上传的我的github页面,感兴趣的朋友可以进行clone查看.

我的GitHub:forked
在这里插入图片描述

目录
相关文章
|
小程序 搜索推荐 Java
【技巧】如何在github主页放一条贪吃蛇
本文介绍了如何在GitHub主页上添加贪吃蛇动画,包括设置主页、生成提交记录动画和使用GitHub Action运行工作流程。通过详细步骤和截图演示,展示了从创建仓库到最终展示SVG动画的全过程,并提供了额外的个性化展示内容和相关文章推荐,旨在为读者带来乐趣并提升GitHub页面的趣味性。
841 1
【技巧】如何在github主页放一条贪吃蛇
|
移动开发 JavaScript 前端开发
HTML5 MathML好用的第三方库推荐
HTML5 的 MathML 对数学公式的展现至关重要,但因浏览器兼容性和复杂性问题,开发者常选用第三方库增强其功能。本文推荐了四个库:MathJax、KaTeX、MathML Cloud 和 jsMath。MathJax 兼容性好,支持多种格式;KaTeX 渲染速度快,适合现代浏览器;MathML Cloud 提供云端转换服务;jsMath 则适用于基本 MathML 支持。根据项目需求选择合适的库,能显著提升数学内容展示质量和用户体验。
|
安全 数据安全/隐私保护 Python
BUUCTF-[GUET-CTF2019]re(Reverse逆向)
本文介绍了如何对一个带有UPX壳的ELF文件进行逆向分析。首先通过010Editor确认文件类型和壳的存在,接着使用Free UPX工具进行脱壳。脱壳后在IDA中加载文件,通过字符串查找和交叉引用跟踪定位关键函数。最终利用Python的z3库解决约束问题,得到flag。过程中还遇到了Python版本兼容性问题,并通过重新安装z3-solver解决。最终flag为`flag{e165421110ba03099a1c039337}`,经MD5解密验证为`233`。
1035 0
BUUCTF-[GUET-CTF2019]re(Reverse逆向)
|
存储 Linux 数据安全/隐私保护
AccessData AD1镜像格式完全剖析
流行的数字取证工具FTK Imager创造了一种逻辑镜像格式,在取证界广泛使用,但鲜少有人对其格式进行研究。
1959 4
AccessData AD1镜像格式完全剖析
|
存储 JSON 监控
JavaScript 逆向基础篇:浏览器调试与 Hook 技术
JavaScript 逆向基础篇:浏览器调试与 Hook 技术
1886 1
|
SQL 安全 算法
BugKu CTF(Crypto):MaybeEasyRSA & easy_crypto & 黄道十二宫 & 给你私钥吧
BugKu CTF(Crypto):MaybeEasyRSA & easy_crypto & 黄道十二宫 & 给你私钥吧
|
Linux 数据安全/隐私保护 iOS开发
CTF—图像隐写三板斧(续)
CTF—图像隐写三板斧(续)
1983 0
|
存储 算法 Linux
CTF—GIF文件格式、隐写方法及案例
CTF—GIF文件格式、隐写方法及案例
1697 0
|
存储 算法 文件存储
详细解读7z文件格式及其源码的分析(三)
详细解读7z文件格式及其源码的分析(三)
1482 0
|
网络协议 安全 Go
子域名收集神器:Subfinder 保姆级教程(附链接)
子域名收集神器:Subfinder 保姆级教程(附链接)