- 博客(4)
- 收藏
- 关注
RSS订阅原创 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
279
原创 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
546
原创 Vortex Wargame通关记录——Level 0
Vortex Wargame Level 0 -&gt; Level 1 Level 1 -&gt; Level 2
2019-01-25 16:13:26
550
原创 Z3 Solver中Tactic的使用
Z3求解器是微软开发的一款定理证明器。可以用来证明定理，也可以用于求解。其基本用法并不复杂，通过现有的教程，结合源码中提供的示例就可以理解。除了基础的用法以外，Z3还提供了一系列Tactic辅助计算和证明。 本文将介绍Tactic的一些用法，以及部分Tactic的效果。本文总体基于Z3的Python API来写。本文的基本材料来自Z3的API Documentation以及代码中提供的C++示例...
2018-08-02 10:12:19
3371
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人