免杀这个方向,我在攻防圈里泡了这么多年,见过太多人一上来就怼着混淆器、加载器猛搞,折腾半天还是被秒杀,根源多半是连免杀到底在对抗什么都没搞清。把基础打牢,比追着别人的武器库跑要管用得多。这套系列就是打算从根上把免杀这件事讲透,今天先聊地基。
1. 先搞清楚一件事:免杀到底在对抗什么
先说个当年我自己的笑话。刚接触攻防那阵,觉得免杀就是"改特征码",把Payload的十六进制里几个关键字节动一动,让特征库匹配不上就完事了。结果拿着自己改完的东西去测试,静态查杀确实过了,行为查杀一跑原形毕露,直接被拦得死死的。那时候我才意识到,免杀不是"躲过一个检查点",而是"骗过一整套信任体系"。
免杀,本质上是攻击Payload与杀毒软件检测体系之间的一场博弈。杀软不是一个单一的技术,它是由静态引擎、行为引擎、云查、沙箱、内存扫描等多种机制组成的一套纵深防御系统。你光绕过其中一环,根本没有意义,因为后面还有一堆等着你。
很多人以为免杀是一门"玄学",靠的是各种奇技淫巧。但恰恰相反,免杀的根本是读懂杀软的判断逻辑,然后有针对性地把自己的样本从对方认为"可疑"的类别里挪出去。这跟做实验很像,你得先知道对照组的判定标准是什么,才能调整自己的变量。
为了把这个问题说透,我习惯把免杀对抗拆成四个层面来看:
- 文件层面:样本落在磁盘上时,静态特征、文件结构、资源信息是不是可疑。
- 执行层面:进程跑起来之后,API调用序列、行为动作、提权操作是不是符合恶意行为模型。
- 内存层面:恶意代码被加载到内存后,有没有在内存里露出马脚,比如shellcode特征、可执行内存段的异常属性。
- 流量层面:回连、命令传输的行为特征和流量指纹是不是与已知C2高度相似。
这四个层面是层层递进的。这也是为什么很多免杀方案一上来很顺利,一到真实环境就翻车——绝大部分免杀方案只解决了文件层面的问题,完全没有考虑执行和内存上的风险。
在AWD攻防、网络攻防演练这类真实对抗场景里,你会发现一个规律:真正决定成败的往往不是你的Payload多么先进,而是你对检测体系的理解有多深。你连对面怎么判你的"恶意"都不知道,怎么谈绕法?所以我说,免杀的第一性原理不是"绕过",而是"理解"。
需要模型API调用? 免费领10W Token,多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 杀软的查杀逻辑,免杀的"对手画像"
想学免杀,先得把杀软这只"老虎"的底细摸清楚。很多初学者连杀软的基本工作方式都没有系统了解过,上来就想搞大杀器,这跟不看病例就开药没什么区别。这里我按自己的理解,把杀软的检测机制拆成几个核心模块来聊。
2.1 静态查杀:看"长相"就能认人
静态查杀是历史最悠久、也是目前仍然在用的识别方式。它的核心思路是:提前从已知恶意样本里提取特征,做成特征库,然后用这个库去匹配新样本。匹配的方式有很多种,从最早的单一字节序列匹配,到现在的模糊哈希、统计学特征、机器学习分类,手段越来越复杂,但本质思路没变——在文件内容里找"我不喜欢的东西"。
这里有个很关键的认知:静态查杀不只是匹配某个固定的字节串。现在的主流杀软普遍上了机器学习辅助的静态分类器,它会看整个文件的统计特征、结构特征、熵值分布、导入表、资源段等等。换句话说,你的文件"看起来"像不像一个恶意软件,比"是不是"某个已知恶意软件更能决定生死。
实操中,针对静态查杀,至少要在以下维度上做文章:
- 特征字符串:比如一些安全研究者、红队工具在样本里留下的字符串特征(典型的就是Meterpreter的某些标志性字符串),这些是重灾区。
- 导入表:恶意程序常用的API组合本身就是很强的分类信号,比如一个正常的计算器程序不需要申请可执行内存再往里写东西。
- 编译特征:编译器版本、链接器信息、入口点特征也会被机器学习模型纳入分类参考,只是通常这些特征权重不高。
- 文件结构伪装:包括加壳、资源替换、修改PE头信息等,核心是让文件和"正常软件"看起来更像。
2.2 动态行为查杀:看"动作"就知道你想干嘛
静态查杀再强,也拿不到程序运行起来之后的行为。于是就有了行为查杀——把样本扔进虚拟环境或监控沙箱里,观察它在运行期间的"一举一动",用行为特征判定恶意性。
行为查杀的判定逻辑更贴近"意图"层面。比如一个程序申请了一段可读可写可执行的内存(RWX),然后往里面写入了一堆看似随机的字节,接着把指令指针跳到了这个内存区域去执行——这一整套"流水线"在正常程序里几乎不可能出现,一旦出现,基本就进了恶意行为的高危名单。
我跟很多刚入行的朋友聊过,他们对行为查杀最大的误解是"只要我不主动调危险API就没事"。真不是这样。行为查杀系统更关心的是调用的组合和顺序,而不是单点是否"危险"。
以某杀软的行为检测规则为例,它会重点标记类似这样的行为链:
- 进程创建时带
CREATE_SUSPENDED标志(典型的进程注入前置动作)。 - 申请带有
PAGE_EXECUTE_READWRITE属性的内存区域。 - 往这个内存区写数据,然后再
WriteProcessMemory到另一个进程。 - 用
SetThreadContext修改目标线程的入口点,最后ResumeThread。
单独把每个API拎出来看,没有一个是"禁用函数",但连起来就是一套教科书级的注入链。行为查杀的粒度,就是在这类"行为序列"上做文章。
2.3 主动防御与云查:动态博弈的升级版
现在的主流杀软基本都上了"主防"(主动防御)和云查的结合方案。主动防御不依赖特征库的实时更新,它靠的是行为模型的实时判断;云查则是把样本的哈希和部分特征传到云端,利用云端海量的样本库做关联分析和信誉评级。
主动防御比较难绕,因为它带有一定的"主观性"。同一份样本,在不同机器上跑可能结果不一样——这取决于这台机器当前的系统状态、之前跑过什么程序、网络环境等等。这也是为什么很多免杀方案"本地过了,现场翻车"——你本地测的时候对面主防还没进入高敏状态,但到了攻防演练那种全员戒备的靶场环境,每一个可疑行为都会被放大。
我自己的经验是,对待主动防御和云查要有敬畏心。很多"免杀方案"顶多解决静态和已知行为的问题,碰到基于信誉和上下文的检测模型,基本没有通用解法。这也是为什么免杀行业里,一直有一个"银弹从来不存在的"说法。
2.4 不同杀软的差异化对抗思路
你得清楚一件事:卡巴斯基、ESET、360、火绒、微软Defender……它们的检测逻辑侧重点差别非常大。有的杀软强在静态机器学习,有的强在行为沙箱,有的强在云查信誉体系。不存在一个"万能免杀方案",所谓高免杀方案,从来都是针对某个特定目标环境调优出来的。
拿我自己测试过的经验来说:
| 杀软 | 强项 | 弱项(相对) | 对抗思路方向 |
|---|---|---|---|
| 微软Defender | 云查+静态ML,策略更新极快 | 行为沙箱环境相对单一 | 重点处理静态特征,行为上尽量"朴素" |
| 卡巴斯基 | 主动防御和脚本虚拟化分析很强 | 特征库对变种反应稍慢 | 避免触发行为链,脚本类样本要格外小心 |
| 360 | 本地主防+云查结合紧密 | 行为策略有时存在环境绕过空间 | 文件加壳后需过云信誉,行为上注意别触发弹窗 |
| 火绒 | 轻量、行为规则覆盖面广 | 特征库规模不如巨头 | 减少可疑的API组合,注意系统中已存在的程序信任链 |
表格只是一个大方向,真实环境里还是要具体问题具体分析。这也是为什么老手在做攻防演练前,都会先去摸目标环境的杀软类型——连对手是谁都不知道,打法根本没法定。
3. 免杀技术的四大流派与基础原理
了解了杀软的检测逻辑,就可以聊"破法"了。目前市面上主流的免杀思路,我习惯归成四大流派。理解清楚这四派的核心原理和适用场景,你才算真正进了免杀的门。
3.1 特征消除派:只做减法
这一派最简单,核心逻辑是:杀软在静态特征库里查我,那就把这些特征"物理删除"。具体手段包括替换字符串、修改代码段里固定不变的字节、去除冗余资源、修改PE头中可疑的标志位等。
它适合的场景是杀软只在静态层面对样本有"已知特征"的检出,比如某些相对老旧的签名规则。它的缺点也很明显——对于行为查杀、云查信誉为重心的新一代检测体系,几乎没有任何效果。
3.2 数据混淆派:不让文件"长出"特征
混淆是数据层面的变形,目的是让样本在文件或内存中呈现的形式与任何已有的特征库都不匹配。常见手法有字符串加密、花指令、代码顺序打乱、自修改代码等。混淆本身不改变程序的逻辑功能,只改变程序在静态层面的"长相"。
字符串加密是这里面最常见也最实用的一项。很多C2生成的Payload里会明文包含用户代理、URL、指令参数等特征字符串,直接把这些字符串做编译期或运行期解密,能在很大程度上避免静态规则匹配。
但要注意,混淆程度和程序稳定性之间需要平衡。我自己曾在一个项目里为了追求高强度混淆,给代码塞了大量花指令,结果程序启动延迟从几十毫秒拉高到了几秒,在攻防演练那种分秒必争的场景下差点误事。混淆要讲性价比,不是越乱越好。
3.3 行为规避派:从源头不产生恶意行为
如果要评一个"高级免杀思想",行为规避肯定排第一。它的核心思路是:从设计之初就避免代码产生"恶意行为序列"。
最典型的手段包括:
- 用
VirtualAlloc的"先申请、后改权限"两步走,替代一次性申请RWX内存的写法,避免被行为模型直接标记。 - 分离式加载器,代码里不直接出现shellcode,而是运行时从远程拉取一段加密的数据流,再在内存中解密执行。
- 让恶意代码自己执行的环境"看起来不像是虚拟沙箱",这是反沙箱的基础形态。
行为规避派本质上是"重新发明"了程序与操作系统之间的交互方式,让每一步单独看都很正常,连起来看也不至于触发模型告警。
3.4 权限信任派:利用"白名单"思维
这一派走的是"借壳"路线,原理是让恶意代码附着在受信任的合法程序、脚本或系统工具上。最典型的是白加黑——通过DLL劫持等手段让自己的代码以一个受信任软件"子模块"的身份被加载执行。
信任派免杀的核心逻辑是:杀软对可信程序(已经具备高信誉评级的合法软件)的监控粒度远比普通程序要宽松得多,只要恶意代码搭上这趟"顺风车",就有机会从监控盲区溜过去。
不过,攻防演练里信任派用多了,杀软也在不断升级对这种手法的检测。现在的杀软对DLL劫持这类行为已经有很强的主动防御规则,不是以前那种"加载即放行"的时代了。
3.5 流派之间如何选型
这四派不是互斥的,实战中往往是组合使用。我自己的选型逻辑大概是这样:
- 目标环境是纯静态检测为主,优先上特征消除+混淆,性价比最高。
- 目标环境有较强的主防,重点做行为规避,特征静态层顺带处理。
- 目标环境杀软信任软件白名单很宽,可以考虑信任派借壳。
- 攻防演练的高压对抗场合,通常是三派甚至四派混用,但每加一层都会增加调试和排错成本,务必做好取舍。
4. 搭建一套足够开展免杀研究的基础环境
工欲善其事,必先利其器。做免杀研究,环境搭好了,后续调试效率能翻倍。这一节我讲一下自己的环境搭配思路,以及踩过的一些坑。
4.1 虚拟机网络模式:网络隔离是生命线
免杀研究必备工具是虚拟机,但很多人虚拟机配置一上来就坑了。如果你用的是VMware或VirtualBox,请务必保证以下几点:
- 恶意样本分析机的网络模式设为仅主机模式(Host-Only)或自定义隔离网络,千万不要直接用NAT模式,更不要用桥接模式。正规研究环境里,样本应该跑在完全隔离的网络里,任何出网请求都应该被拦截或重定向。
- 快照要在干净状态下打好。每跑一次样本前恢复快照,避免之前样本留下的痕迹影响后续实验结果。
- 主机的杀软和防火墙在测试期间建议临时关闭(仅限测试机,宿主要开着),否则会出现"样本没被目标杀软杀掉,反而被自己宿主杀软干掉"的乌龙。
4.2 分析工具链:VT、沙箱和本地监控
一套顺手的分析工具链是高效开展免杀研究的根本。我常用的组合是:
- VirusTotal:用来做静态层和多引擎检测的初步判断。注意不要用VT直接扫描你正在调试的免杀样本,交上去就等于把你辛苦调出来的样本脸谱送进了各家的特征库。可以用VT的私有API或者本地多引擎扫描替代,但很多杀软本地引擎无法完全复现云端的判定结果,这点要有心理预期。
- 本地沙箱:用来观察样本运行时的行为链,推荐FireEye的沙箱开源替代品。本地沙箱能看到样本创建了哪些进程、调用了哪些API、申请了哪些内存等,对行为规避的调试非常关键。
- Procmon:微软的进程监控工具,实时展示进程的文件、注册表、网络行为,定位样本的动态行为序列非常方便。
- x64dbg:调试器本体。研究加载器、shellcode的执行流程绕不开它。
工具链不在于多,而在于你能不能熟练地把每一环的信息串起来。Procmon告诉你"程序做了什么",调试器告诉你"程序为什么这么做",沙箱报告告诉你"杀软看到的是什么样",三种视角一合并,免杀迭代的速度就上来了。
4.3 编译环境与语言选型
免杀开发语言选型上,C/C++还是主流,毕竟它们对系统API的掌控力最强,生成的原生二进制也相对好调。Go、Rust这几年也有不少团队在用,它们生成的二进制体积大、特征相对"陌生",有时候反而能天然躲开一些基于已知编译特征的检测规则。
我的建议是:先把C/C++这条路走通,理解了PE文件结构、加载器逻辑、shellcode的关系之后,再去玩Rust和Go。很多人上来就拿着网上现成的加载器源码改两下就想免杀,那等于做了一辈子菜都不认识锅,不可能做出像样的东西。
4.4 实验流程规范化
免杀研究一定要建立自己的实验流程规范。我自己是这么做的:
- 每次只改变一个变量(比如只换一种混淆方式),其他条件全部固定。
- 跑完一轮所有目标杀软后,记录结果到表格里。
- 无论成功失败都保留样本样本和快照,方便回溯对比。
- 重要样本一定做哈希记录,防止版本混乱。
这套流程看起来很笨,但能极大降低无效试错。很多人免杀研究做着做着就变成"调参数-扫描-调参数-扫描"的死循环,问题就在于他们没有记录与归纳,根本不记得哪一次改了什么导致了什么结果。
5. 从零构建一个免杀样本:完整链路拆解
理论聊得再透,不实际跑一遍始终是纸上谈兵。这一节我以教学为目的,演示一个典型的免杀研究链路——从生成一份测试用Payload开始,到用上面的知识体系一步步把它"洗"到能通过静态扫描和基础行为检测。
5.1 第1步:生成原始样本与基线检测
一切免杀研究的第一步,永远不是急着改造,而是拿到原始样本的检测基线。比如我们用知名的开源C2框架生成一份原始Payload,计算它的SHA256,然后递交到检测环境做一轮全量扫描。
以我自己实验的结论为例(不同版本结果差异很大,仅供参考),未经处理的C2默认Payload检测率通常在15/60到25/60之间。这个基线会作为之后所有改造措施的有效性参照:改完一次,再扫一遍,对比前后的检出比例变化,就知道这一步改动到底起没起作用。
提示:每一轮扫描之后,不要只关注"过了没有",还要关注"被杀的是哪几家"。如果一直是同一家杀软在报警,说明你的改造方向根本没有戳中它的检测逻辑,需要专门去研究那一家的策略。
5.2 第2步:静态特征消除,先把明显的"脸"去掉
基线拿到之后,先做静态层的处理。最优先处理的就是Payload里那些具有极高辨识度的字符串特征——不同C2生成的Payload中几乎都会包含特定框架的标识性字符串或默认配置,这些是杀软静态引擎的"老朋友"。
处理手段通常是"分离":不要让这些字符串以明文形式出现在最终文件里。可以做成一个加密的配置文件,由加载器在运行时解密后再使用。这一步做完,再扫一轮,检测率通常会显著下降。
这里有个容易被忽略的细节:字符串特征不止藏在.data段,同样也要检查资源节、版本信息、PDB路径、导入表备注等位置。我见过不少样本,主代码段已经洗完一遍了,结果败在PDB路径里带着C2框架的名称,直接被秒杀。
5.3 第3步:引入加载器与内存执行
文件里的静态特征洗得差不多了,下一步是让样本摆脱"一运行就暴露shellcode"的命运。这一步的核心是引入加载器(Loader)的概念——程序正常启动、正常加载库,只是在特定时机把真正的Payload从加密数据中解密,并在内存中执行,而不落地成新的文件。
加载器的写法直接决定了样本在行为层的形态。以最简单的加载器为例,核心逻辑就是把shellcode从加密数据里还原出来,写入可执行内存,然后跳过去跑。这个逻辑本身不复杂,但要注意几个细节:
- 申请内存时,不要一步到位申请RWX权限,改成先申请
PAGE_READWRITE,写完数据再改成PAGE_EXECUTE_READ,两个步骤用两次API调用完成,行为上看起来会更"收敛"。 - 写shellcode时不要整段一把梭往里写,可以用循环分块写入,配合少量
sleep,降低行为模型对"一次性大块写入"的敏感度。 - 执行跳转前把恶意痕迹清理干净,不让调试器和沙箱观测到完整的payload镜像。
5.4 第4步:资源与信任层面的伪装
文件能跑起来了,就开始考虑"像不像正常程序"的问题。这一步要做的包括但不限于:
- 修改PE的版本信息,把公司名、产品名、版权信息改成和目标环境的行业属性相协调的合法软件信息。
- 资源段里放一个正常的图标(最好是知名软件风格的设计),让用户在资源管理器里一眼看去不像恶意程序。
- 如果最终要投递到Windows环境,可以考虑做签名——不一定真的用正规证书,测试环境也可以自己做一个Self-Signed Certificate,并尝试安装在目标的受信任证书库里。这不是为了骗过杀软,而是为了迎合部分杀软对"数字签名程序"的信任偏好。
这一步做完,再从VT或本地扫描一轮,效果通常就会有质的提升。但注意,如果你用的是公共沙箱或公共平台扫描,千万不要把你辛苦做的成品直接传上去,等于白送特征。
5.5 第5步:行为层面微调与链路的检测
文件层的伪装都做好之后,进入行为层面的调优循环。把样本扔进本地沙箱或Procmon环境跑一遍,重点观察这几个问题:
- 进程启动后,有没有立即出现异常的网络外联?如果需要回连,回连前的"准备动作"是否合理?
- 有没有在短时间内申请大量内存、启动大量线程或其他正常软件不会做的高频行为?
- 有没有尝试访问杀软进程、或者查询系统时间/开机时长这类反沙箱特征动作,是否做得足够隐蔽?
这些问题的答案决定了样本在行为层暴露的程度。凡是能在Procmon里一眼看出的可疑行为,杀软的行为引擎也能看出来,所以"自己先沙箱跑一遍"是最低成本的自我检测方式。
一套完整的免杀链路到这里就走通了。你可能会说,好像也不复杂?确实,基础链路本身不复杂,复杂的是每一步的细节拿捏和对抗不同杀软的差异化调整。这也是为什么免杀需要大量的实测算例积累,而不是看几篇文章就能行的。
6. 免杀研究中的红线、边界意识与进阶路径
6.1 建立规则意识
免杀研究天然带有攻击属性,但这不意味着它可以脱离规则。这几年我见过不少年轻朋友为了追求"技术成就感"或者为了在某个攻防比赛里拿名次,把研究成果用在了未经授权的目标上,最后惹上了大麻烦。
做免杀研究的正确姿势是:
- 只在自己拥有的设备、已被授权的测试靶场、官方组织的网络攻防演练环境中验证你的样本。
- 在公司环境下,先确认数据合规边界,得到合规部门的许可再动手,否则再牛的免杀技术都是给自己埋雷。
- 攻防演练中的一切操作必须遵守比赛规则,严禁把演练中学到的攻击手法用在演练之外的任何地方。
技术本身是中性的,但使用技术的边界感,决定了你在这条路上能走多远。这一条,我希望每一个入行的朋友都认真记住。
6.2 学习路线的参考建议
免杀基础阶段的核心就是建立"检测体系视角"。我建议按下面这个顺序递进学习:
- 吃透PE文件结构,理解代码段、数据段、资源段、导入表之间的关系。
- 熟读Windows内存管理和进程的基本原理:虚拟地址空间、堆栈、内存权限、进程间通信。
- 系统学习杀软的工作机制:静态、动态、云查,可以通过阅读各大安全厂商的技术博客和白皮书。
- 动手实现一个最简单的加载器,不追求免杀,只要求把shellcode跑起来。
- 再去研究各类高级技术:进程注入、混淆策略、反沙箱、反调试、AV规避库等。
每个阶段的投入时间因人而异,但不要跳步。很多人卡在"基础都会,实战就废"的阶段,就是前面几步地基没打牢,后面全靠搜模板拼凑,一旦被杀就不知道怎么改。
6.3 关于这个系列接下来的内容
免杀基础篇到这里算是一个比较完整的收束。后续的系列里,我打算一个一个把这些知识点拆细了聊:加载器从零开始写、常见混淆方案的原理与实测、反沙箱和反调试的具体实现、针对特定杀软的策略调优,以及攻防演练中免杀的工程化落地。
免杀这个方向,真正有价值的不是某个"能跑的成品",而是你脑子里那套"面对杀软时怎么定位问题、怎么迭代方案"的方法论。把基础打牢,后面越走越顺。
最后说个个人的体会:免杀研究最迷人的地方不在于"绕过了什么",而在于为了绕过你需要把一个系统理解到多深。那些为了过一家杀软而翻遍的文档、改了一遍又一遍的代码,才是这个领域真正值钱的东西。基础篇就到这,接着往下聊。
