2022年12月28日
1.elf
摘要： 其加密的过程是 v1 = -85; v2 = 0; for ( i = 0; i <= 39; ++i ) { for ( j = 0; j <= 50; ++j ) { v1 ^= j ^ v2 ^ 0x5F; s[i] ^= s[(i + 1) % 40]; s[i] ^= v1; ++v2; 阅读全文
posted @ 2022-12-28 14:28 润梧 阅读(71) 评论(0) 推荐(1) 编辑
2022年12月27日
pythonz3，初步使用
摘要： 基本变量类型 其分为整型(Int)，实型(Real)和向量(BitVec) 整形(int) 不是c中具有上下限的整形而是数学意义上的整数 创建方式 Int(name, ctx=None)，创建一个整数变量，name是名字 Ints (names, ctx=None)，创建多个整数变量，names是空 阅读全文
posted @ 2022-12-27 15:20 润梧 阅读(517) 评论(0) 推荐(1) 编辑
2022年12月26日
2022.12.26
摘要： 今日整了下z3 在装了python后在cmd中输入 pip install z3-solver 就可以使用了 注意需在python编辑前用 from z3 import* 阅读全文
posted @ 2022-12-26 19:31 润梧 阅读(36) 评论(0) 推荐(0) 编辑