- 博客(4)
- 收藏
- 关注
原创 Vortex Wargame通关记录——Level 2
Level 2 -> Level 3本级比较简单,是通过tar指令,强制改变文件的所有者,然后再利用tar指令打出文件的内容。给出的程序代码如下:#include <stdlib.h>#include <stdio.h>#include <sys/types.h>int main(int argc, char **argv){ ...
2019-02-10 18:21:00 228
原创 Vortex Wargame通关记录——Level 1
Level 1 -&gt; Level 2本级的目标是通过一个有缺陷的程序获取下一关用户的密码。密码存放在/etc/vortex_pass/vortex2中。程序代码如下:#include &lt;stdlib.h&gt;#include &lt;unistd.h&gt;#include &lt;string.h&gt;#include &lt;stdio.
2019-02-04 20:46:40 457
原创 Vortex Wargame通关记录——Level 0
Vortex WargameLevel 0 -&gt; Level 1Level 1 -&gt; Level 2
2019-01-25 16:13:26 487
原创 Z3 Solver中Tactic的使用
Z3求解器是微软开发的一款定理证明器。可以用来证明定理,也可以用于求解。其基本用法并不复杂,通过现有的教程,结合源码中提供的示例就可以理解。除了基础的用法以外,Z3还提供了一系列Tactic辅助计算和证明。本文将介绍Tactic的一些用法,以及部分Tactic的效果。本文总体基于Z3的Python API来写。本文的基本材料来自Z3的API Documentation以及代码中提供的C++示例...
2018-08-02 10:12:19 3120
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人