ChrysanthemumZhao-CSDN博客

原创 sysucsa-reverse 新手赛wp

不正经的逆向入门前言heytheresysucsa_0前言太猛了你们apl都被人做出来了。。我当时都做了一整天。。。heythere好了相信大家做web和misc和crypto也做得差不多了，我就来发发这个题的引导教程8这个题50分，emm，是个签到题。“公认最难入门”的二进制，其实也不是那么玄乎。。首先，你得先有个IDA！然后打开IDA64（因为题目是64位的程序），加载题目...

2018-09-24 01:00:53 605

原创 8.3wp

Day3[[toc]]0x01早上是继续warmup+部分regularhidesudo dd if=/proc/$(pidof hide)/mem of=hide_dump1 skip=4194304 bs=1c count=827392sudo dd if=/proc/$(pidof hide)/mem of=hide_dump2 skip=7110656 ...

2018-08-03 22:42:48 696

原创 8.2wp

0x01 warmup。。。warmup已经让我这个萌新很爽了ToolsDisassembler: 反汇编(ida)Tracer: 记录程序的运行线路，跟踪参数/函数Debugger: 调试器(gdb?) Decompiler: 反编译(ida hex\JEB)Emulator: 模拟执行指令(Qemu)Symbolic Execution: 符号执行(大名鼎鼎安格尔(...

2018-08-02 20:12:12 487

原创离散数学图论作业

问题二求证：一个简单无向图是二分图的充分必要条件是图中不存在长度为奇数的回路。证明必要性    现在有一个二分图GGG，假设其存在一条长度为奇数的回路，不妨设长度k=2∗k′+1k=2∗k′+1k = 2*k'+1，其回路节点依次为v1,v2,v3,...,vkv1,v2,v3,...,vkv_1,v_2,v_3,...,v_k，(vi,...

2018-06-27 21:38:25 1129

证明：必要性：假设V1到V2存在一个完美匹配M，那么对于A中的每个顶点v，在M中都存在至少一条边能连接到V2。因此，对于任意V1子集A，其在V2中的相邻顶点个数至少与V1中的顶点一样多，既 |N(A)|&amp;amp;amp;gt;=|A| 。得证。充分性：基本步骤：若|V1|=1，则其存在完美匹配M当且仅当V1存在至少一条边连接到V2，故有|N(A)|&amp;amp;amp;gt;=|A|=1，A不为...

2018-06-18 13:37:50 7866 2

原创 Discrete mathematics_Homework_5_23_Pro_3

Part 1Set PPP is a well-formed formulas in propositional logic, involving T,F,s and {¬→∧∨↔}{¬→∧∨↔}\{\neg \to \land \lor \leftrightarrow\}Basis Step:T,F,s∈PT,F,s∈PT,F,s \in P, where sss is a prop...

2018-05-23 12:46:43 296

原创 State and prove the inclusion-exclusion principle by induction.

Proof:We set P(n)P(n)P(n) to be the number of element for the union of nnn exact sets.We make the sets to be A1,A2,A3……A1,A2,A3……A_1,A_2,A_3……, distinguished by different symbols.BASIS STEP:P(1)...

2018-05-23 11:06:37 308