static void DumpMethod(SourcePawnFile file, SourceBuilder source, uint addr)
{
MethodParser mp = new MethodParser(file, addr);
LGraph graph = mp.parse();
NodeBuilder nb = new NodeBuilder(file, graph);
NodeBlock[] nblocks = nb.buildNodes();
NodeGraph ngraph = new NodeGraph(file, nblocks);
// Remove dead phis first.
NodeAnalysis.RemoveDeadCode(ngraph);
NodeRewriter rewriter = new NodeRewriter(ngraph);
rewriter.rewrite();
NodeAnalysis.CollapseArrayReferences(ngraph);
// Propagate type information.
ForwardTypePropagation ftypes = new ForwardTypePropagation(ngraph);
ftypes.propagate();
BackwardTypePropagation btypes = new BackwardTypePropagation(ngraph);
btypes.propagate();
// We're not fixpoint, so just iterate again.
ftypes.propagate();
btypes.propagate();
// Try this again now that we have type information.
NodeAnalysis.CollapseArrayReferences(ngraph);
ftypes.propagate();
btypes.propagate();
// Coalesce x[y] = x[y] + 5 into x[y] += 5
NodeAnalysis.CoalesceLoadStores(ngraph);
// After this, it is not legal to run type analysis again, because
// arguments expecting references may have been rewritten to take
// constants, for pretty-printing.
NodeAnalysis.AnalyzeHeapUsage(ngraph);
// Do another DCE pass, this time, without guards.
NodeAnalysis.RemoveGuards(ngraph);
NodeAnalysis.RemoveDeadCode(ngraph);
NodeRenamer renamer = new NodeRenamer(ngraph);
renamer.rename();
// Do a pass to coalesce declaration+stores.
NodeAnalysis.CoalesceLoadsAndDeclarations(ngraph);
// Simplify conditional expressions.
// BlockAnalysis.NormalizeConditionals(ngraph);
var sb = new SourceStructureBuilder(ngraph);
var structure = sb.build();
source.write(structure);
//System.Console.In.Read();
//System.Console.In.Read();
}
static void DumpMethod(SourcePawnFile file, SourceBuilder source, uint addr)
{
MethodParser mp = new MethodParser(file, addr);
LGraph graph = mp.parse();
NodeBuilder nb = new NodeBuilder(file, graph);
NodeBlock[] nblocks = nb.buildNodes();
NodeGraph ngraph = new NodeGraph(file, nblocks);
// Remove dead phis first.
NodeAnalysis.RemoveDeadCode(ngraph);
NodeRewriter rewriter = new NodeRewriter(ngraph);
rewriter.rewrite();
NodeAnalysis.CollapseArrayReferences(ngraph);
// Propagate type information.
ForwardTypePropagation ftypes = new ForwardTypePropagation(ngraph);
ftypes.propagate();
BackwardTypePropagation btypes = new BackwardTypePropagation(ngraph);
btypes.propagate();
// We're not fixpoint, so just iterate again.
ftypes.propagate();
btypes.propagate();
// Try this again now that we have type information.
NodeAnalysis.CollapseArrayReferences(ngraph);
ftypes.propagate();
btypes.propagate();
// Coalesce x[y] = x[y] + 5 into x[y] += 5
NodeAnalysis.CoalesceLoadStores(ngraph);
// After this, it is not legal to run type analysis again, because
// arguments expecting references may have been rewritten to take
// constants, for pretty-printing.
NodeAnalysis.AnalyzeHeapUsage(ngraph);
// Do another DCE pass, this time, without guards.
NodeAnalysis.RemoveGuards(ngraph);
NodeAnalysis.RemoveDeadCode(ngraph);
NodeRenamer renamer = new NodeRenamer(ngraph);
renamer.rename();
// Do a pass to coalesce declaration+stores.
NodeAnalysis.CoalesceLoadsAndDeclarations(ngraph);
// Simplify conditional expressions.
// BlockAnalysis.NormalizeConditionals(ngraph);
var sb = new SourceStructureBuilder(ngraph);
var structure = sb.build();
source.write(structure);
//System.Console.In.Read();
//System.Console.In.Read();
}
public static string Analyze(FileInfo fInfo)
{
PawnFile file;
try
{
file = PawnFile.FromFile(fInfo.FullName);
}
catch (Exception e)
{
return("Error while loading file." + Environment.NewLine + "Details: " + e.Message + Environment.NewLine + "Stacktrace: " + e.StackTrace);
}
StringBuilder outString = new StringBuilder();
SourceBuilder source;
try
{
source = new SourceBuilder(file, outString);
}
catch (Exception e) //I admit: i have no clue if this can happen, i was too lazy to look.
{
return("Error while building source." + Environment.NewLine + "Details: " + e.Message + Environment.NewLine + "Stacktrace: " + e.StackTrace);
}
try
{
source.writeGlobals();
}
catch (Exception e)
{
outString.AppendLine();
outString.AppendLine("Error while write Globals");
outString.AppendLine("Details: " + e.Message);
outString.AppendLine("Stacktrace: " + e.StackTrace);
}
for (int i = 0; i < file.functions.Length; i++)
{
Function fun = file.functions[i];
try
{
DumpMethod((SourcePawnFile)file, source, fun.address);
outString.AppendLine();
}
#if DEBUG
catch (OpCodeNotKnownException e)
{
outString.AppendLine();
outString.AppendLine("/* ERROR! " + e.Message + " */");
outString.AppendLine(" function \"" + fun.name + "\" (number " + i + ")");
source = new SourceBuilder((SourcePawnFile)file, outString);
}
catch (LogicChainConversionException e)
{
outString.AppendLine();
outString.AppendLine("/* ERROR! " + e.Message + " */");
outString.AppendLine(" function \"" + fun.name + "\" (number " + i + ")");
source = new SourceBuilder((SourcePawnFile)file, outString);
}
#else
catch (Exception e)
{
outString.AppendLine();
outString.AppendLine("/* ERROR! " + e.Message + " */");
outString.AppendLine(" function \"" + fun.name + "\" (number " + i + ")");
source = new SourceBuilder((SourcePawnFile)file, outString);
}
#endif
}
string NoteString = @"/*" + Environment.NewLine + "** ATTENTION" + Environment.NewLine +
"** THE PRODUCED CODE, IS NOT ABLE TO COMPILE!" + Environment.NewLine +
"** THE DECOMPILER JUST TRIES TO GIVE YOU A POSSIBILITY" + Environment.NewLine +
"** TO LOOK HOW A PLUGIN DOES IT'S JOB AND LOOK FOR" + Environment.NewLine +
"** POSSIBLE MALICIOUS CODE." + Environment.NewLine + "**" + Environment.NewLine +
"** ALL CONVERSIONS ARE WRONG! AT EXAMPLE:" + Environment.NewLine +
"** SetEntityRenderFx(client, RenderFx 0); → SetEntityRenderFx(client, view_as<RenderFx>0); → SetEntityRenderFx(client, RENDERFX_NONE);" +
Environment.NewLine + "*/" + Environment.NewLine + Environment.NewLine;
outString.Insert(0, NoteString);
return(outString.ToString());
}
public static string Analyze(FileInfo fInfo)
{
PawnFile file;
try
{
file = PawnFile.FromFile(fInfo.FullName);
}
catch (Exception e)
{
return "Error while loading file." + Environment.NewLine + "Details: " + e.Message + Environment.NewLine + "Stacktrace: " + e.StackTrace;
}
StringBuilder outString = new StringBuilder();
SourceBuilder source;
try
{
source = new SourceBuilder(file, outString);
}
catch (Exception e) //I admit: i have no clue if this can happen, i was too lazy to look.
{
return "Error while building source." + Environment.NewLine + "Details: " + e.Message + Environment.NewLine + "Stacktrace: " + e.StackTrace;
}
try
{
source.writeGlobals();
}
catch (Exception e)
{
outString.AppendLine();
outString.AppendLine("Error while write Globals");
outString.AppendLine("Details: " + e.Message);
outString.AppendLine("Stacktrace: " + e.StackTrace);
}
for (int i = 0; i < file.functions.Length; i++)
{
Function fun = file.functions[i];
try
{
DumpMethod((SourcePawnFile)file, source, fun.address);
outString.AppendLine();
}
#if DEBUG
catch (OpCodeNotKnownException e)
{
outString.AppendLine();
outString.AppendLine("/* ERROR! " + e.Message + " */");
outString.AppendLine(" function \"" + fun.name + "\" (number " + i + ")");
source = new SourceBuilder((SourcePawnFile)file, outString);
}
catch (LogicChainConversionException e)
{
outString.AppendLine();
outString.AppendLine("/* ERROR! " + e.Message + " */");
outString.AppendLine(" function \"" + fun.name + "\" (number " + i + ")");
source = new SourceBuilder((SourcePawnFile)file, outString);
}
#else
catch (Exception e)
{
outString.AppendLine();
outString.AppendLine("/* ERROR! " + e.Message + " */");
outString.AppendLine(" function \"" + fun.name + "\" (number " + i + ")");
source = new SourceBuilder((SourcePawnFile)file, outString);
}
#endif
}
string NoteString = @"/*" + Environment.NewLine + "** ATTENTION" + Environment.NewLine +
"** THE PRODUCED CODE, IS NOT ABLE TO COMPILE!" + Environment.NewLine +
"** THE DECOMPILER JUST TRIES TO GIVE YOU A POSSIBILITY" + Environment.NewLine +
"** TO LOOK HOW A PLUGIN DOES IT'S JOB AND LOOK FOR" + Environment.NewLine +
"** POSSIBLE MALICIOUS CODE." + Environment.NewLine + "**" + Environment.NewLine +
"** ALL CONVERSIONS ARE WRONG! AT EXAMPLE:" + Environment.NewLine +
"** SetEntityRenderFx(client, RenderFx 0); → SetEntityRenderFx(client, view_as<RenderFx>0); → SetEntityRenderFx(client, RENDERFX_NONE);" +
Environment.NewLine + "*/" + Environment.NewLine + Environment.NewLine;
outString.Insert(0, NoteString);
return outString.ToString();
}
