Z3求解约束器 基本数据类型 : 在Python中使用Z3模块,我们的所求结果一般有以下几种数据类型: Int #整型 Bool #布尔型 Array #数组 BitVec ( ‘a’,8 ) #char型 其中BitVec可以是特定大小的数据类型,不一定是8,例如C语言中的int型可以用BitVec(‘a’,32)表示 设未知数的方法 : 可以使用 2022-03-14 Crypto
学校选修课抢课脚本的简易创建 前言 刚到中午13:00便是学校内数以万计的人开始准备抢课,这让第一次抢课的我显得有些手足无措,在其他同学的猛烈攻势下,网课瞬间被掏空了,随即便是那些性价比较高的学科。而我只能当一个🐀人,捡剩下没人要的课程。一番折腾下来只拿到了高数进阶与数学建模…让本来是学工科的我,又多了一些工科…为了改变两个都是工科的现状,我决定用自动化脚本进行捡漏,抢课?都没课了只能捡漏,打算~~(偷交易课程人的屁股)~~ 2022-03-14 Others
指针与数组 指针操作数组的一些说明: 1.*(p--)相当于a[i--],先对p进行*运算,再使p自减。 2.*(++p)相当于a[++i],先使p自加,再做*运算。 3.*(--p)相当于a[--i],先使p自减,再做*运算。 在二维数组中,以a[i]为例,a[i]相当于二维数组第一个元素的地址,可以直接将地址值直接赋给指针变量。 p=a[i]此时指针p就可以引用二维数组中的元素了。 二维数组的部分操作 2022-03-14 School Learning
机器数 定义 连同数字和符号在一起的二进制数称为机器数,由机器数表示的实际值称为真值 原码 定义 一般一个字节是八个二进制位,对于机器数则有第一个二进制位是符号位,从第二个开始到最后一个二进制位则是表示数据的大小,即最大表示范围为-127 ~ 127,即最大数是01111111,最小数为11111111 其中第一个符号位是 1 则代表该数是一个负数,0 则是一个正数 原码表示(举例) C语言中可以理 2022-03-14 School Learning
栈溢出 介绍 栈溢出指的是程序向栈中某个变量中写入的字节数超过了这个变量本身所申请的字节数,因而导致与其相邻的栈中的变量的值被改变。这种问题是一种特定的缓冲区溢出漏洞,类似的还有堆溢出,bss 段溢出等溢出方式。栈溢出漏洞轻则可以使程序崩溃,重则可以使攻击者控制程序执行流程。此外,我们也不难发现,发生栈溢出的基本前提是 程序必须向栈上写入数据。 写入的数据大小没有被良好地控制。 基本原理 栈溢 2022-03-14 Pwn
正则表达式 Regular Expression, 正则表达式, ⼀种使⽤表达式的⽅式对字符串 进⾏匹配的语法规则. 我们抓取到的⽹⻚源代码本质上就是⼀个超⻓的字符串, 想从⾥⾯提 取内容.⽤正则再合适不过了. 正则的优点: 速度快, 效率⾼, 准确性⾼ 正则的缺点: 新⼿上⼿难度有 点⼉⾼. 不过只要掌握了正则编写的逻辑关系, 写出⼀个提取⻚⾯内容的正则 其实并不复杂 正则的语法: 使⽤元字符进⾏排列组合⽤ 2022-03-14 Website Spider
大学计算机基础 选择 1.一个完整的计算机系统包括____。 A)主机、键盘、显示器 B)计算机及其外部设备 C)系统软件与应用软件 D)计算机的硬件系统和软件系统 解答: 一个完整的计算机系统是由硬件系统和软件系统组成的。计算机的硬件是一个物质基础,而计算机软件是使硬件功能得以充分发挥的不可缺少的一部分。因此,对于一个完整的计算机系统,这两者缺一不可。 本题的正确答案为D。 2.微型计算机的运算器、 2022-03-14 School Learning
爬虫近期学习总结 Requests 的基本使用 用requests构建一个请求实现得到网页对应的源代码,对应构造方式有许多,大致整理如下: get请求 12import requests resp = requests.get(url,headers,data) post请求 12import requestsresp = requests.post(url,headers,data) 获取响应码 123impor 2022-03-14 Website Spider
极客大挑战 2021 By Harry0709 Equinox Matrix - 01 战队 Misc In the Air 在会场打开手机WiFi就可以得到flag 【 救 命 我 手 机 要 没 电 了 】 easysend 按照对应操作完成即可得到 flag 今天有被破防吗? 经过对 txt 里的数据分析可以得到一张图片 : 经过非常非常仔细的观察后,可以发现上面有部分字母,我们通过 2022-03-14 CTF WriteUp
Linux有趣的命令 banner 12sudo apt-get updatesudo apt-get install sysvbanner 之后banner [文字内容] aafire 天冷的时候,要是有个火炉就好了。这里有个有趣的程序: 12sudo apt-get install libaa-binaafire xeyes 启用 1xeyes 你可以使用如下命令将它放到后台运行: 1nohup xeyes &a 2022-03-14 Linux Study