nmap参数
nmap参数当Nmap不带选项运行时，该选项概要会被输出，最新的版本在这里http://www.insecure.org/nmap/data/nmap.usage.txt。它有助于人们记住最常用的选项，但不能替代本手册其余深入的文档。
用法
用法：nmap [扫描类型] [选项] {目标规范}
目标规格：可以传递主机名，IP地址，网络等。-iL <输入文件名>：从主机/网络列表中输入-iR <num主机>：选择随机目标–exclude <host1 [，host2] [，host3]，…>：排除主机/网络–excludefile ：从文件中排除列表
主机发现：-sL：列表扫描-仅列出要扫描的目标-sP：Ping扫描-只能确定主机是否在线-P0：将所有主机视为在线-跳过主机发现-PS / PA / PU [端口列表]：对给定端口的TCP SYN / ACK或UDP发现探针-PE / PP / PM：ICMP回显，时间戳和网络掩码请求发现探针-n / -R：从不进 ...
z3约束器
z3约束器下载1pip install z3-solver
使用申请变量#<数据类型>(‘对象名’)
12345678910x = Inx('x') #申请整型变量xx,y,z = BitVecs('x y z',16) #申请3个位向量，大小为2^16,加's'批量声明Int() #整数Real() #实数Bool() #布尔型#更改返回类型IntVal()Realval()Ratval()||Q() #有理数
求解#默认只会找到满足条件的一组解
1234solve = Solver() #创建解对象solve.add() #添加约束条件solve.check() #求解solve.model() #输出解，list类型，对象名为下标
函数simplify()#将表达式化简
12simplify(<表达式>，som=Ture || mul_to_power=True) #som表达式转换为单项式，mul_to_power乘方形式help_simplify() #其他选项
set_param() ...
ctfshow 数学不及格
ctfshow 数学不及格无壳，64位
知识点strtol() 16进制转字符串 斐波拉契数列 z3约束器（可以不用）
关键代码#主函数
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647int __cdecl main(int argc, const char **argv, const char **envp){ int v4; // [rsp+14h] [rbp-4Ch] char *endptr; // [rsp+18h] [rbp-48h] BYREF char *v6; // [rsp+20h] [rbp-40h] BYREF char *v7; // [rsp+28h] [rbp-38h] BYREF char *v8; // [rsp+30h] [rbp-30h] BYREF __int64 v9; // [rsp+38h] [rbp-28h] __int64 v10; // [rsp+40h] [rbp-20h] __int ...