深盾安全

符号执行是什么 符号执行(Symbolic Execution)是一种程序分析技术，它使用符号值而不是具体的数值来执行程序。与传统的程序执行不同，符号执行将程序的输入用符号变量表示，然后沿着程序的执行

概述 ELF（Executable and Linkable Format）是一种在类 Unix 系统中广泛使用的文件格式，用于存储可执行文件、目标文件、共享库以及核心转储文件。它为操作系统提供了一种

引言 当我们仅有一个C/C++等编译的可执行程序（windows 上的 exe 文件），而没有源码时我们应该怎么分析调试该可执行程序呢？我们可以通过动态分析或静态分析的方式达成我们的目的，当然比较有效

在鸿蒙应用开发的旅程中，HAP包的解包、打包、签名以及加固是开发者们必须掌握的关键技能。这些操作不仅关乎应用的开发与调试，更关乎应用的安全性和稳定性。今天，就让我们一起深入探索这一全流程，帮助大家更好

在移动应用开发领域，Flutter框架以其高效、跨平台的特点，成为了众多开发者的首选。今天，就让我们深入探讨如何使用Flutter框架来编译一个Android程序，从创建项目到优化配置，再到最终的编译

在Windows系统中，PE（Portable Executable）文件格式是可执行文件、动态链接库（DLL）和驱动程序的标准格式。然而，这种格式的安全性问题日益受到关注，尤其是IAT HOOK和D

在当今的软件开发领域，代码安全的重要性不言而喻。随着鸿蒙系统（HarmonyOS）的广泛应用，开发者们在追求功能实现的同时，也必须考虑如何保护代码不被轻易破解。名称混淆是一种常见的代码保护手段，但当反

在Linux系统中，动态链接是程序运行的重要组成部分。而过程链接表（PLT）和全局偏移表（GOT）则是实现动态链接的关键结构。本文将深入探讨PLT与GOT表的工作原理，以及它们在动态库调用中的作用，同

在当今数字化时代，Android设备已成为我们生活中不可或缺的一部分。无论是开发者还是普通用户，对设备的深度掌控都显得尤为重要。ADB（Android Debug Bridge）作为连接PC与Andr