2024年7月17日
【总结】逻辑运算在Z3中运用+CTF习题
摘要： 国际赛IrisCTF在前几天举办，遇到了一道有意思的题目，特来总结。题目并不是很难，没有复杂的ollvm混淆也没有复杂的加密，但是却一步一步引导我们去学习和总结。 阅读全文
posted @ 2024-07-17 23:32 蚁景网安实验室 阅读(94) 评论(0) 推荐(0)