TypechoJoeTheme

霍雅的博客

登录
用户名
密码
/
注册
用户名
邮箱

霍雅

追求源于热爱，极致源于梦想！
网站页面
类目归类
搜索到 55 篇与 的结果
2025-04-23

蓝桥杯测试题 样题wp
蓝桥杯测试题 样题wp
样题果然还是只能是样题，和ciscn一样 水篇文章 ## 测试1_签到 [![](https://i.ibb.co/mZDVhx7/Pasted-image-20250423145629.png)](Pasted_image_20250423145629.png) flag{hello_test} ## 测试2_docker [![](https://i.ibb.co/hx9czp0K/Pasted-image-20250423145659.png)](Pasted_image_20250423145659.png) 访问没啥内容，稍微扫一下 [![](https://i.ibb.co/dqMwTnR/Pasted-image-20250423145826.png)](Pasted_image_20250423145826.png) 稍微扫一下 [![](https://i.ibb.co/KcHwdvh8/3e5b9e76f55e45ef10f862041d31390.png)](3e5b9e76f55e45ef10f862041d31390.png) 访问rebots.txt...
2025年04月23日
299 阅读
0 评论
2025-04-22

z3求解器基本使用教程
z3求解器基本使用教程
## 基本数据类型 在python使用Z3模块，一半使用以下几种数据类型： Int相对应int Real 有理数 Bool 布尔类型 Array 数组 BitVec('a',8)向量 其中BitVec可以制定大小的数据类型，不一定是八位，例如在C语言中的int可以用BitVec('a',32)表示 ## 基础用法 - Solver()创建一个通用求解器，以进行下一步求解 - add()添加约束条件，通常在sovler（）之后，添加约束条件通常是一个逻辑等死 - check()添加所有约束条件后，来检测是否有解，有解返回set，无解返回unsat - model()存在解的时候，该函数会奖每个限制条件所对应的解集的交集，从而得出正解 - 分别对应设未知数，列方程，判断方程是否有解，解方程组 ## 简单使用 #### 案例1： 假设有方程组 30x+15y=675 12+5y=265 ```python from z3 import * s=Solver() x,y=Ints("x y") s.add(30*x+15*y==675) s.add(...
2025年04月22日
313 阅读
0 评论
2025-04-22

ida patch使用教程
ida patch使用教程
ida patch是通过改变汇编指令 来实现改变程序执行流程 例如改变函数跳转 [![](https://i.ibb.co/rfqXg352/Pasted-image-20250421143631.png)](Pasted_image_20250421143631.png)题目分析 这个题目有个check检查是否在debug，也就是调试 如果调试就不跳转直接结束 如果不是调试就跳转到一个函数 [![](https://i.ibb.co/39Tnrxzv/Pasted-image-20250421143823.png)](Pasted_image_20250421143823.png) 所以我们通过把jz改成jnz从而让她实现在debug就跳转 或者改成jmp让她无条件跳转 使用Assemble插件或者keypatch插件 [![](https://i.ibb.co/RkVYDRnX/Pasted-image-20250421144350.png)](Pasted_image_20250421144350.png) 把需要修改的指令放在上面按回车 [![](https://i.ib...
2025年04月22日
335 阅读
0 评论
2025-04-20

ucsc reverse wp
ucsc reverse wp
## easy_re-ucsc str和v7异或 ![](https://i.ibb.co/Kdpqpnk/clip-image002.jpg) ```python def xor_decrypt(input_str, key): """ 用于异或解密字符串。 :param input_str: 原始字符串 :param key: 异或密钥（整数） :return: 解密后的字符串 """ return ''.join(chr(ord(char) ^ key) for char in input_str) # 示例数据 encrypted_str = "n=>2>hk=>;:?" key = 10 # 密钥为9 # for key in range(10, 150): # 解密 decrypted_str = xor_decrypt(encrypted_str, key) print(f"解密结果: {decrypted_str}") ...
2025年04月20日
320 阅读
0 评论
霍雅
追求源于热爱，极致源于梦想！
55 文章数
27 评论量

人生倒计时

今日已经过去小时
这周已经过去天
本月已经过去天
今年已经过去个月
霍雅
JOE RSS MAP