2011-12-29 15:26:36 +08:00
|
|
|
|
/*
|
2012-01-10 06:04:52 +08:00
|
|
|
|
Copyright (C) 2011-2012 de4dot@gmail.com
|
2011-12-29 15:26:36 +08:00
|
|
|
|
|
|
|
|
|
This file is part of de4dot.
|
|
|
|
|
|
|
|
|
|
de4dot is free software: you can redistribute it and/or modify
|
|
|
|
|
it under the terms of the GNU General Public License as published by
|
|
|
|
|
the Free Software Foundation, either version 3 of the License, or
|
|
|
|
|
(at your option) any later version.
|
|
|
|
|
|
|
|
|
|
de4dot is distributed in the hope that it will be useful,
|
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
GNU General Public License for more details.
|
|
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
|
along with de4dot. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
using System.Collections.Generic;
|
|
|
|
|
using Mono.Cecil;
|
|
|
|
|
using Mono.Cecil.Cil;
|
|
|
|
|
using de4dot.blocks;
|
|
|
|
|
|
|
|
|
|
namespace de4dot.code.deobfuscators.Goliath_NET {
|
|
|
|
|
class LocalsRestorer {
|
|
|
|
|
ModuleDefinition module;
|
|
|
|
|
TypeDefinitionDict<Info> typeToInfo = new TypeDefinitionDict<Info>();
|
|
|
|
|
|
|
|
|
|
class Info {
|
|
|
|
|
public TypeDefinition type;
|
|
|
|
|
public TypeReference localType;
|
|
|
|
|
public bool referenced = false;
|
|
|
|
|
public Info(TypeDefinition type, TypeReference localType) {
|
|
|
|
|
this.type = type;
|
|
|
|
|
this.localType = localType;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
public List<TypeDefinition> Types {
|
|
|
|
|
get {
|
|
|
|
|
var list = new List<TypeDefinition>(typeToInfo.Count);
|
2012-01-01 19:11:09 +08:00
|
|
|
|
foreach (var info in typeToInfo.getValues()) {
|
2011-12-29 15:26:36 +08:00
|
|
|
|
if (info.referenced)
|
|
|
|
|
list.Add(info.type);
|
|
|
|
|
}
|
|
|
|
|
return list;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
public LocalsRestorer(ModuleDefinition module) {
|
|
|
|
|
this.module = module;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
public void find() {
|
|
|
|
|
foreach (var type in module.GetTypes())
|
|
|
|
|
initialize(type);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void initialize(TypeDefinition type) {
|
|
|
|
|
if (type.HasEvents || type.HasProperties)
|
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
if (!type.IsValueType)
|
|
|
|
|
return;
|
|
|
|
|
if (type.Methods.Count != 1)
|
|
|
|
|
return;
|
|
|
|
|
var ctor = type.Methods[0];
|
|
|
|
|
if (ctor.Name != ".ctor" || ctor.Body == null || ctor.IsStatic)
|
|
|
|
|
return;
|
|
|
|
|
if (ctor.Parameters.Count != 1)
|
|
|
|
|
return;
|
|
|
|
|
var ctorParam = ctor.Parameters[0];
|
|
|
|
|
|
|
|
|
|
if (type.Fields.Count != 1)
|
|
|
|
|
return;
|
|
|
|
|
var typeField = type.Fields[0];
|
|
|
|
|
if (typeField.IsStatic)
|
|
|
|
|
return;
|
|
|
|
|
if (!MemberReferenceHelper.compareTypes(ctorParam.ParameterType, typeField.FieldType))
|
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
typeToInfo.add(ctor.DeclaringType, new Info(ctor.DeclaringType, typeField.FieldType));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
public void deobfuscate(Blocks blocks) {
|
|
|
|
|
var instrsToRemove = new List<int>();
|
|
|
|
|
foreach (var block in blocks.MethodBlocks.getAllBlocks()) {
|
|
|
|
|
instrsToRemove.Clear();
|
|
|
|
|
var instrs = block.Instructions;
|
|
|
|
|
for (int i = 0; i < instrs.Count; i++) {
|
|
|
|
|
var instr = instrs[i];
|
|
|
|
|
int indexToRemove;
|
|
|
|
|
TypeReference type;
|
|
|
|
|
VariableDefinition local = null;
|
|
|
|
|
|
|
|
|
|
if (instr.OpCode.Code == Code.Newobj) {
|
|
|
|
|
if (i + 1 >= instrs.Count)
|
|
|
|
|
continue;
|
|
|
|
|
var ctor = instr.Operand as MethodReference;
|
|
|
|
|
if (ctor == null || ctor.DeclaringType == null)
|
|
|
|
|
continue;
|
|
|
|
|
if (ctor.Name != ".ctor")
|
|
|
|
|
continue;
|
|
|
|
|
|
|
|
|
|
var next = instrs[i + 1];
|
|
|
|
|
if (!next.isStloc() && !next.isLeave() && next.OpCode.Code != Code.Pop)
|
|
|
|
|
continue;
|
|
|
|
|
|
|
|
|
|
indexToRemove = i;
|
|
|
|
|
type = ctor.DeclaringType;
|
|
|
|
|
if (next.isStloc())
|
|
|
|
|
local = Instr.getLocalVar(blocks.Locals, next);
|
|
|
|
|
}
|
|
|
|
|
else if (instr.OpCode.Code == Code.Ldfld) {
|
|
|
|
|
if (i == 0)
|
|
|
|
|
continue;
|
|
|
|
|
var ldloc = instrs[i - 1];
|
|
|
|
|
if (!ldloc.isLdloc())
|
|
|
|
|
continue;
|
|
|
|
|
|
|
|
|
|
var field = instr.Operand as FieldReference;
|
|
|
|
|
if (field == null || field.DeclaringType == null)
|
|
|
|
|
continue;
|
|
|
|
|
|
|
|
|
|
indexToRemove = i;
|
|
|
|
|
type = field.DeclaringType;
|
|
|
|
|
local = Instr.getLocalVar(blocks.Locals, ldloc);
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
continue;
|
|
|
|
|
|
|
|
|
|
if (type == null)
|
|
|
|
|
continue;
|
|
|
|
|
var info = typeToInfo.find(type);
|
|
|
|
|
if (info == null)
|
|
|
|
|
continue;
|
|
|
|
|
|
|
|
|
|
info.referenced = true;
|
|
|
|
|
instrsToRemove.Add(indexToRemove);
|
|
|
|
|
if (local != null)
|
|
|
|
|
local.VariableType = info.localType;
|
|
|
|
|
}
|
|
|
|
|
block.remove(instrsToRemove);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|