Angr-Learn-0x3注意本文可以理解为官方文档的简单翻译+一部分个人理解符号执行与约束求解angr之所以强大并不因为它是一个模拟器，而是它能使用符号变量来执行。使用符号变量算术运算将产生一颗运算树（AST）。AST可以转换为SMT求解器的约束。使用位向量例子：#64-bitbitvectors

 错误消息指的是在Node.js中使用了数字分隔符，12.8.1之前的Node版本不支持这种做法。0x3_00此处使用数字分隔符_。如果没有它，符号看起来就像0x300。有关支持此功能的Node.js版本的列表，请参阅https://node.green/#ES2021-features--numeric-separators。需要将node:10-alpin

0x00漏洞信息漏洞影响：本地提权漏洞文件：win32kfull.sys漏洞函数：GreGradientFill漏洞原因：空指针引用分析系统：Windows1903【漏洞分析合集】0x01漏洞分析崩溃时的堆栈

//大端存储： 数据的高位存储在内存的低地址位置//数据0x12345678, 四字节地址0x0,0x1,0x2,0x3//存储方式:0x0:存储12，0x1：存340x2:存56 0x3:78大端存储//

intvalue=0xAAAA;for(inti=0;i<8;i++){inttmp=value&0x3;//取出第两个比特位置if(tmp==0x0){//}elseif(tmp==0x1