大意小鸭子

文章
5
资源
0
加入时间
3年0月8天
初遇z3并与starCTF碰面z3的初次使用与*CTF的web题解

初遇z3并与starCTF碰面z3的初次使用与*CTF的web题解

z3的初次使用与*CTF的web题解z3的介绍与使用介绍Z3 是一个微软出品的开源约束求解器，能够解决很多种情况下的给定部分约束条件寻求一组满足条件的解的问题.在CTF中的应用主要在CRYPTO上.安装pip安装:pip install z3 如果发现安装了用不了,可以使用pip install z3-solver使用from z3 import ...
CTF 2023-12-19
杭电ACM 2055：An easy problem

杭电ACM 2055：An easy problem

原创作品 转载请注明出处http://blog.csdn.net/always2015/article/details/45539811简单题，主要考虑出如何表示各个字母在字母表中的位置。我的AC代码如下：#include <iostream>using namespace std;int main(){ int t,input_num,sum; char input_char;
【ACM刷题】 2023-10-16
Github项目分享|第一期JavaPython C++

Github项目分享|第一期JavaPython C++

Java1.CyC2018/CS-NotesStars：117.4kUpdated：12/10Description：技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计、Java、Python、C++算法 操作系统 网络 面向对象 数据库 Java 系统设计 工具 编码实践 后记 ✏️ ???? ☁️ ???? ???? ☕ ???? ???? ????
Github项目分享 2023-09-26
有源蜂鸣器

有源蜂鸣器

转载于:https://my.oschina.net/surenpi/blog/481751
Other 2023-05-23

他的专栏

Photoshop教程（0）
Windows 7（0）
Other（1）
其他（1）
Github项目分享（1）
【ACM刷题】（1）
CTF（1）

他的归档

2023年12月（1）
2023年10月（1）
2023年09月（2）
2023年05月（1）

热门文章

1
有源蜂鸣器
2
其他——eclipse汉化及中英文切换
3
Github项目分享|第一期JavaPython C++
4
杭电ACM 2055：An easy problem
5
初遇z3并与starCTF碰面z3的初次使用与*CTF的web题解