简要学习V8 Bytecode的组成以及执行方式。 纵览各个JavaScript引擎的实现，我们发现基于字节码的实现是主流。 苹果公司的JavaScriptCore（JSC） 引擎实现了一个寄存器机（Regi…
2022-11-27 去围观记录学习lambda calculus。 lambda(λ) calculus λ 演算是一套从数学逻辑中发展，来研究函数如何进行抽象化定义、如何被应用以及递归的形式系统。定义比较抽象，简而言之是研究…
2022-10-17 去围观了解RISCV体系结构以及其基础指令集RV32I指令格式组成。 Programmers' Model for Base Integer ISA RISC-V的体系结构是模块化的。即可以在基础指令之上添加扩展指令，这一点相…
2022-08-31 去围观LEB128全称Little Endian Base 128，是一种变长编码格式。LEB128又分为unsinged LEB128 和 signed LEB128，即有符号与无符号两种，解码器必须知道编码值是无符号LEB128还是有符号LEB…
2022-08-02 去围观Based on XV6 RISC-V Sv39 RISC-V指令使用的是虚拟地址，而在真实硬件中对应的RAM或物理内存是由物理地址索引的，这意味着其中必然存在一个将physical address转换为virtual …
2022-07-10 去围观关于OOP，我了解到的一件事是，对象可以具有表示简单数据的属性和方法，而不是值。这个概念看起来很基础，但是，当我尝试将它应用到JavaScript时，会出现一些明显的矛盾。此文正为了…
2022-01-31 去围观z3 是微软开发的的高性能约束求解工具。 z3 也是 angr 和 triton 底层的约束求解器。其强大的数学求解能力在CTF解题中被广泛使用， 本文记录/摘录一些常用的z3 Python API…
2021-11-03 去围观这篇本来是放在另一个笔记网站里的，但是因为gridea不支持mathJax，强迫症犯了，移到了这里。 随便记了些要点，算是简单了解一下AES算法的流程实现与细节吧 算法流程 …
2021-09-10 去围观地点：某群，事件：某群友发了一张图，大致就是问int i =1; i = i++; 中 i 的值是多少 我说简单啊，不就是i = 2吗？结果一到Java中运行，光速打脸 - -| 展现了我的愚昧无知之…
2021-05-01 去围观