摘要：
一.爆破的概念 什么是爆破？ 我的理解就暴力破解，将flag一个一个试出来 二.爆破小例 1.只涉及一位 并且 只涉及数字 的加密 加密算法： #include <stdio.h> int main() { char str1[] = { 1,2,3,4,5,6,7,8 }; char str2[8 阅读全文
摘要：
今天 1.把Z3和vscode配置好了，pycharm上z3死活下不了...放弃了，话说vscode确实比pycharm好用些 2.学了点z3的基础语法什么的 3.师父讲了爆破的原理，带着看了一下简单的爆破（我感觉好难...qwq） 4.试着用了一下z3 5.donet-sdk可以一键将typora 阅读全文
摘要：
Z3基础学习 (二) 基础语法 一.设置变量 Int - 整数型 # 声明单个变量 x = Int('x') # 声明多个变量 y,z = Ints('y z') | 运算需要初始化为Int变量 Real - 实数型 # 声明单个变量 x = Real('x') # 声明多个变量 y,z = Rea 阅读全文
摘要：
Z3基础学习（一） 从例子入门 打了星号的标题表示没有掌握 一.解不等式 例1. 输入： from z3 import * x = Int('x') y = Int('y') solve(x > 2, y < 10, x + 2*y == 7) 输出： [y = 0, x = 7] 函数Int('x 阅读全文