Z3Py在CTF逆向中的利用
前言 Z3是Microsoft Research开发的高性能定理证明器。Z3拥有者非常广泛的应用场景：软件/硬件验证和测试，约束求解，混合系统分析，安全性研究，生物学研究（计算机分析）以及几何问题。Z3Py是使用Python脚本来解决一些实际问题，Z3Py在windows下的安装可以
Z3Py在CTF逆向中的利用
前言 Z3是Microsoft Research开发的高性能定理证明器。Z3拥有者非常广泛的应用场景：软件/硬件验证和测试，约束求解，混合系统分析，安全性研究，生物学研究（计算机分析）以及几何问题。Z3Py是使用Python脚本来解决一些实际问题，Z3Py在windows下的安装可以
2022年Q1全球PC出货量下滑 Mac却逆向增长
据Counterpoint Research最新数据显示，与2021年同期相比，2022年第一季度全球PC出货量下降了4.3%，但MacBook的销量却增长了8%。 总体上，包括Mac在内的所有PC的全球出货量在2022年第一季度同比下降了4.3%，总共出货了7870万台。联想仍然是PC销量最大的公司
利用逆向分析挖掘Facebook Gameroom中的安全漏洞
我注意到的第一件事是，安装Gameroom时，无需提升任何的权限。它似乎是一个分步安装的程序：首先，通过一个小型安装程序从网络上下载额外的文件，也就是说，它的安装程序不是一体式的。事实上，我很快就找到了安装目录，即C:\Users\ USERNAME \AppData\Local
网络安全分析：逆向调试分析工具之OllyDbg
在逆向分析中，调试工具可以说是非常重要的。调试器能够跟踪一个进程的运行时状态，在逆向中称为动态分析工具。动态调试会用在很多方面，比如漏洞的挖掘、游戏外挂的分析、软件加密解密等方面。本文介绍应用层下最流行的调试工具OllyDbg。 OllyDbg缩写为OD，
网络安全分析：软件逆向之脱壳
壳是一种对程序进行加密的程序，壳形象地表现了这个功能。我们可以把被加壳的程序当成食物，而加壳程序就是在外面加上一层坚硬的外壳，防止别人去窃取其中的程序。加壳后的程序依然可以被直接运行。在程序运行时壳的代码先运行，然后再运行原来的程序。主要
立法保护个人信息 逆向促动科技向善
两会召开前夕，全国人大常委会法工委就透露，《个人信息保护法》正在研究起草中，目前草案稿已经形成。不少代表、委员也提到这一问题。全国政协委员殷兴山就建议，随着个人信息使用不断膨胀和扩散，应加快立法进程，设立专门监管机构，确立运营主体运营规范