== Version 0.9.0.0 ==

The main feature of this release is the long-awaited reworking of the analysis phase of the Reko decompiler. The slow and inaccurate interprocedural register liveness analysis was replaced by a novel analysis based on the strongly connected components (SCC's) of the call graph. The SCC's, which most of the time consist of a single procedure, are converted to SSA form earlier now. In addition the classic Cytron et. al SSA construction algorithm, which requires the eager calculation of the immediate dominator relation of the basic blocks in the procedures, was replaced with a simpler S algorithm described in "Simple and Efficient Construction of Static Single Assignment Form" by Matthias Braun et al. The SSA algorithm has been augmented to perform lazy register / stack variable alias analysis, which turned out to be more efficient than the old register alias analysis phase. The handling of 'hell nodes' has received focused attention. Hell nodes are indirect calls without associated function type metadata. Previously Reko was pessimistically assuming the worst: that all registers are live in and live out. Several heuristics have been applied to 'tame' the hell nodes to make the resulting output manageable (with many thanks to @ptomin). Many other improvements to the data flow analysis were incorporated in this release as well. The results are improved source file outputs. Initial support was added for the following CPU architectures: * Blackfin * Cray YMP * OpenRISC * MicroBlaze * PA-RISC * RL-78 Progress is hampered by the lack of good sample binaries with which to train the decompiler. Please contact us if you have any such binaries available. Changes were also made in the output folder structure, and binary resources (like embedded icons and menus) are now extracted. (with thanks to @Cairn23) Thanks to @Cairn23 and @gbody for their contributions. Special thanks go again to @ptomin and @smx-smx for their code, time, and dedication.
uxmal · Nov 8, 2019 · 7795cf9 · 7795cf9
1 parent 118270a
commit 7795cf9
Show file tree

Hide file tree

Showing 180 changed files with 196 additions and 191 deletions.
diff --git a/appveyor.yml b/appveyor.yml
@@ -1,4 +1,4 @@
-version: 0.8.1.{build}
+version: 0.9.0.{build}
 
 init: 
   - git config --global core.autocrlf true 

diff --git a/src/Core/Properties/AssemblyInfo.cs b/src/Core/Properties/AssemblyInfo.cs
@@ -42,8 +42,8 @@ namespace Reko
 {
     public static class AssemblyMetadata
     {
-        public const string AssemblyVersion = "0.8.2.0";
-        public const string AssemblyFileVersion = "0.8.2.0";
+        public const string AssemblyVersion = "0.9.0.0";
+        public const string AssemblyFileVersion = "0.9.0.0";
         public const string Product = "Reko decompiler";
         public const string Copyright = "Copyright © 1999-2019 John Källén";
         public const string Company = "John Källén Konsult AB";

diff --git a/src/Decompiler/Analysis/SsaTransform.cs b/src/Decompiler/Analysis/SsaTransform.cs
@@ -33,8 +33,7 @@
 namespace Reko.Analysis
 {
 	/// <summary>
-	/// Transforms a <see cref="Reko.Core.Procedure"/> to Static Single Assignment
-    /// form.
+	/// Transforms a <see cref="Reko.Core.Procedure"/> to Static Single Assignment form.
 	/// </summary>
     /// <remarks>
     /// This class implements an SSA algorithm that does not require the

diff --git a/src/WixInstaller/Properties.wxi b/src/WixInstaller/Properties.wxi
@@ -2,20 +2,20 @@
 <Include>
   <!-- Every time you change the RekoVersion, you must also update
        the RekoProductCode below -->
-  <?define RekoVersion="0.8.2.0"?>
+  <?define RekoVersion="0.9.0.0"?>
 
   <!-- Platform specific properties -->
   <?if $(var.Platform) = x64 ?>
     <?define ProductName="Reko decompiler for x86-64" ?>
     <?define IsWin64="yes"?>
     <?define PlatformProgramFilesFolder = "ProgramFiles64Folder" ?>
     <?define UpgradeCode="11756789-4124-498B-8866-7F29B60F3389"?>
-    <?define RekoProductCode="52FDF2D9-39FF-4085-A21F-408FE6156DA9"?>
+    <?define RekoProductCode="31C74DDC-7FC7-4B6C-9845-8934BDE95E40"?>
   <?else ?>
     <?define ProductName="Reko decompiler for x86" ?>
     <?define IsWin64="no"?>
     <?define PlatformProgramFilesFolder = "ProgramFilesFolder" ?>
     <?define UpgradeCode="267A75B3-F33E-4987-9BF6-114D1A6CE44E"?>
-    <?define RekoProductCode="AE3446D7-FBC9-40B2-B4BA-DEBD56D3FA8A"?>
+    <?define RekoProductCode="B4360F1A-E38F-45E4-9376-17224F7DD39E"?>
   <?endif ?>
 </Include>
diff --git a/src/WixInstaller/WixInstaller.wixproj b/src/WixInstaller/WixInstaller.wixproj
@@ -6,7 +6,7 @@
     <ProductVersion>3.7</ProductVersion>
     <ProjectGuid>b1916638-ef20-4692-8c95-1c5ad6c67d30</ProjectGuid>
     <SchemaVersion>2.0</SchemaVersion>
-    <OutputName>reko-0.8.2.0-%24%28Platform%29</OutputName>
+    <OutputName>reko-0.9.0.0</OutputName>
     <OutputType>Package</OutputType>
     <WixTargetsPath Condition=" '$(WixTargetsPath)' == '' AND '$(MSBuildExtensionsPath32)' != '' ">$(MSBuildExtensionsPath32)\Microsoft\WiX\v3.x\Wix.targets</WixTargetsPath>
     <WixTargetsPath Condition=" '$(WixTargetsPath)' == '' ">$(MSBuildExtensionsPath)\Microsoft\WiX\v3.x\Wix.targets</WixTargetsPath>

diff --git a/src/tools/makesigs/Properties/AssemblyInfo.cs b/src/tools/makesigs/Properties/AssemblyInfo.cs
@@ -32,5 +32,5 @@
 // You can specify all the values or you can default the Build and Revision Numbers 
 // by using the '*' as shown below:
 // [assembly: AssemblyVersion("1.0.*")]
-[assembly: AssemblyVersion("0.8.2.0")]
-[assembly: AssemblyFileVersion("0.8.2.0")]
+[assembly: AssemblyVersion("0.9.0.0")]
+[assembly: AssemblyFileVersion("0.9.0.0")]
diff --git a/src/tools/xslt/Properties/AssemblyInfo.cs b/src/tools/xslt/Properties/AssemblyInfo.cs
@@ -46,8 +46,8 @@
 // You can specify all the values or you can default the Revision and Build Numbers 
 // by using the '*' as shown below:
 
-[assembly: AssemblyVersion("0.8.2.0")]
-[assembly: AssemblyFileVersion("0.8.2.0")]
+[assembly: AssemblyVersion("0.9.0.0")]
+[assembly: AssemblyFileVersion("0.9.0.0")]
 [assembly: AssemblyDelaySign(false)]
 [assembly: AssemblyKeyFile("")]
 [assembly: AssemblyKeyName("")]
diff --git a/subjects/CPM-80/CB80.c b/subjects/CPM-80/CB80.c
@@ -1,6 +1,6 @@
 // CB80.c
 // Generated by decompiling CB80.COM
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "CB80.h"
 

diff --git a/subjects/CPM-80/CB80.globals.c b/subjects/CPM-80/CB80.globals.c
@@ -1,6 +1,6 @@
 // CB80.globals.c
 // Generated by decompiling CB80.COM
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "CB80.h"
 

diff --git a/subjects/CPM-80/CB80.h b/subjects/CPM-80/CB80.h
@@ -1,6 +1,6 @@
 // CB80.h
 // Generated by decompiling CB80.COM
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 /*
 // Equivalence classes ////////////

diff --git a/subjects/Elf/ARM/angr-685/RTOSDemo.reko/RTOSDemo.c b/subjects/Elf/ARM/angr-685/RTOSDemo.reko/RTOSDemo.c
@@ -1,6 +1,6 @@
 // RTOSDemo.c
 // Generated by decompiling RTOSDemo.axf
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "RTOSDemo.h"
 

diff --git a/subjects/Elf/ARM/angr-685/RTOSDemo.reko/RTOSDemo.globals.c b/subjects/Elf/ARM/angr-685/RTOSDemo.reko/RTOSDemo.globals.c
@@ -1,6 +1,6 @@
 // RTOSDemo.globals.c
 // Generated by decompiling RTOSDemo.axf
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "RTOSDemo.h"
 

diff --git a/subjects/Elf/ARM/angr-685/RTOSDemo.reko/RTOSDemo.h b/subjects/Elf/ARM/angr-685/RTOSDemo.reko/RTOSDemo.h
@@ -1,6 +1,6 @@
 // RTOSDemo.h
 // Generated by decompiling RTOSDemo.axf
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 /*
 // Equivalence classes ////////////

diff --git a/subjects/Elf/ARM/switch/switch.reko/switch.c b/subjects/Elf/ARM/switch/switch.reko/switch.c
@@ -1,6 +1,6 @@
 // switch.c
 // Generated by decompiling switch
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "switch.h"
 

diff --git a/subjects/Elf/ARM/switch/switch.reko/switch.globals.c b/subjects/Elf/ARM/switch/switch.reko/switch.globals.c
@@ -1,6 +1,6 @@
 // switch.globals.c
 // Generated by decompiling switch
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "switch.h"
 

diff --git a/subjects/Elf/ARM/switch/switch.reko/switch.h b/subjects/Elf/ARM/switch/switch.reko/switch.h
@@ -1,6 +1,6 @@
 // switch.h
 // Generated by decompiling switch
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 /*
 // Equivalence classes ////////////

diff --git a/subjects/Elf/MIPS/redir/redir.reko/redir.c b/subjects/Elf/MIPS/redir/redir.reko/redir.c
@@ -1,6 +1,6 @@
 // redir.c
 // Generated by decompiling redir
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "redir.h"
 

diff --git a/subjects/Elf/MIPS/redir/redir.reko/redir.globals.c b/subjects/Elf/MIPS/redir/redir.reko/redir.globals.c
@@ -1,6 +1,6 @@
 // redir.globals.c
 // Generated by decompiling redir
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "redir.h"
 

diff --git a/subjects/Elf/MIPS/redir/redir.reko/redir.h b/subjects/Elf/MIPS/redir/redir.reko/redir.h
@@ -1,6 +1,6 @@
 // redir.h
 // Generated by decompiling redir
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 /*
 // Equivalence classes ////////////

diff --git a/subjects/Elf/MIPS/swlswr/test.reko/test.c b/subjects/Elf/MIPS/swlswr/test.reko/test.c
@@ -1,6 +1,6 @@
 // test.c
 // Generated by decompiling test
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "test.h"
 

diff --git a/subjects/Elf/MIPS/swlswr/test.reko/test.globals.c b/subjects/Elf/MIPS/swlswr/test.reko/test.globals.c
@@ -1,6 +1,6 @@
 // test.globals.c
 // Generated by decompiling test
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "test.h"
 

diff --git a/subjects/Elf/MIPS/swlswr/test.reko/test.h b/subjects/Elf/MIPS/swlswr/test.reko/test.h
@@ -1,6 +1,6 @@
 // test.h
 // Generated by decompiling test
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 /*
 // Equivalence classes ////////////

diff --git a/subjects/Elf/Msp430/a.reko/a.c b/subjects/Elf/Msp430/a.reko/a.c
@@ -1,6 +1,6 @@
 // a.c
 // Generated by decompiling a.out
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "a.h"
 

diff --git a/subjects/Elf/Msp430/a.reko/a.globals.c b/subjects/Elf/Msp430/a.reko/a.globals.c
@@ -1,6 +1,6 @@
 // a.globals.c
 // Generated by decompiling a.out
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "a.h"
 

diff --git a/subjects/Elf/Msp430/a.reko/a.h b/subjects/Elf/Msp430/a.reko/a.h
@@ -1,6 +1,6 @@
 // a.h
 // Generated by decompiling a.out
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 /*
 // Equivalence classes ////////////

diff --git a/subjects/Elf/RiscV/ipcalc/ipcalc.c b/subjects/Elf/RiscV/ipcalc/ipcalc.c
@@ -1,6 +1,6 @@
 // ipcalc.c
 // Generated by decompiling ipcalc
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "ipcalc.h"
 

diff --git a/subjects/Elf/RiscV/ipcalc/ipcalc.globals.c b/subjects/Elf/RiscV/ipcalc/ipcalc.globals.c
@@ -1,6 +1,6 @@
 // ipcalc.globals.c
 // Generated by decompiling ipcalc
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "ipcalc.h"
 

diff --git a/subjects/Elf/RiscV/ipcalc/ipcalc.h b/subjects/Elf/RiscV/ipcalc/ipcalc.h
@@ -1,6 +1,6 @@
 // ipcalc.h
 // Generated by decompiling ipcalc
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 /*
 // Equivalence classes ////////////

diff --git a/subjects/Elf/Sparc/from_boomerang/subject.reko/subject.c b/subjects/Elf/Sparc/from_boomerang/subject.reko/subject.c
@@ -1,6 +1,6 @@
 // subject.c
 // Generated by decompiling subject.exe
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "subject.h"
 

diff --git a/subjects/Elf/Sparc/from_boomerang/subject.reko/subject.globals.c b/subjects/Elf/Sparc/from_boomerang/subject.reko/subject.globals.c
@@ -1,6 +1,6 @@
 // subject.globals.c
 // Generated by decompiling subject.exe
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "subject.h"
 

diff --git a/subjects/Elf/Sparc/from_boomerang/subject.reko/subject.h b/subjects/Elf/Sparc/from_boomerang/subject.reko/subject.h
@@ -1,6 +1,6 @@
 // subject.h
 // Generated by decompiling subject.exe
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 /*
 // Equivalence classes ////////////

diff --git a/subjects/Elf/Sparc/rtems/sparc-rtems-unprotoize.reko/sparc-rtems-unprotoize.c b/subjects/Elf/Sparc/rtems/sparc-rtems-unprotoize.reko/sparc-rtems-unprotoize.c
@@ -1,6 +1,6 @@
 // sparc-rtems-unprotoize.c
 // Generated by decompiling sparc-rtems-unprotoize
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "sparc-rtems-unprotoize.h"
 

diff --git a/subjects/Elf/Sparc/rtems/sparc-rtems-unprotoize.reko/sparc-rtems-unprotoize.globals.c b/subjects/Elf/Sparc/rtems/sparc-rtems-unprotoize.reko/sparc-rtems-unprotoize.globals.c
@@ -1,6 +1,6 @@
 // sparc-rtems-unprotoize.globals.c
 // Generated by decompiling sparc-rtems-unprotoize
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "sparc-rtems-unprotoize.h"
 

diff --git a/subjects/Elf/Sparc/rtems/sparc-rtems-unprotoize.reko/sparc-rtems-unprotoize.h b/subjects/Elf/Sparc/rtems/sparc-rtems-unprotoize.reko/sparc-rtems-unprotoize.h
@@ -1,6 +1,6 @@
 // sparc-rtems-unprotoize.h
 // Generated by decompiling sparc-rtems-unprotoize
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 /*
 // Equivalence classes ////////////

diff --git a/subjects/Elf/nanoMips/adddf3/adddf3.reko/adddf3.c b/subjects/Elf/nanoMips/adddf3/adddf3.reko/adddf3.c
@@ -1,6 +1,6 @@
 // adddf3.c
 // Generated by decompiling adddf3.o
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "adddf3.h"
 

diff --git a/subjects/Elf/nanoMips/adddf3/adddf3.reko/adddf3.globals.c b/subjects/Elf/nanoMips/adddf3/adddf3.reko/adddf3.globals.c
@@ -1,6 +1,6 @@
 // adddf3.globals.c
 // Generated by decompiling adddf3.o
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "adddf3.h"
 

diff --git a/subjects/Elf/nanoMips/adddf3/adddf3.reko/adddf3.h b/subjects/Elf/nanoMips/adddf3/adddf3.reko/adddf3.h
@@ -1,6 +1,6 @@
 // adddf3.h
 // Generated by decompiling adddf3.o
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 /*
 // Equivalence classes ////////////

diff --git a/subjects/Elf/x86-64/ais3_crackme/ais3_crackme.reko/ais3_crackme.c b/subjects/Elf/x86-64/ais3_crackme/ais3_crackme.reko/ais3_crackme.c
@@ -1,6 +1,6 @@
 // ais3_crackme.c
 // Generated by decompiling ais3_crackme
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "ais3_crackme.h"
 

diff --git a/subjects/Elf/x86-64/ais3_crackme/ais3_crackme.reko/ais3_crackme.globals.c b/subjects/Elf/x86-64/ais3_crackme/ais3_crackme.reko/ais3_crackme.globals.c
@@ -1,6 +1,6 @@
 // ais3_crackme.globals.c
 // Generated by decompiling ais3_crackme
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "ais3_crackme.h"
 

diff --git a/subjects/Elf/x86-64/ais3_crackme/ais3_crackme.reko/ais3_crackme.h b/subjects/Elf/x86-64/ais3_crackme/ais3_crackme.reko/ais3_crackme.h
@@ -1,6 +1,6 @@
 // ais3_crackme.h
 // Generated by decompiling ais3_crackme
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 /*
 // Equivalence classes ////////////

diff --git a/subjects/Elf/x86-64/ls/ls.reko/ls.c b/subjects/Elf/x86-64/ls/ls.reko/ls.c
@@ -1,6 +1,6 @@
 // ls.c
 // Generated by decompiling ls
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "ls.h"
 

diff --git a/subjects/Elf/x86-64/ls/ls.reko/ls.globals.c b/subjects/Elf/x86-64/ls/ls.reko/ls.globals.c
@@ -1,6 +1,6 @@
 // ls.globals.c
 // Generated by decompiling ls
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "ls.h"
 

diff --git a/subjects/Elf/x86-64/ls/ls.reko/ls.h b/subjects/Elf/x86-64/ls/ls.reko/ls.h
@@ -1,6 +1,6 @@
 // ls.h
 // Generated by decompiling ls
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 /*
 // Equivalence classes ////////////

diff --git a/subjects/Elf/x86-64/pngpixel/pngpixel.reko/pngpixel.c b/subjects/Elf/x86-64/pngpixel/pngpixel.reko/pngpixel.c
@@ -1,6 +1,6 @@
 // pngpixel.c
 // Generated by decompiling pngpixel
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "pngpixel.h"
 

diff --git a/subjects/Elf/x86-64/pngpixel/pngpixel.reko/pngpixel.globals.c b/subjects/Elf/x86-64/pngpixel/pngpixel.reko/pngpixel.globals.c
@@ -1,6 +1,6 @@
 // pngpixel.globals.c
 // Generated by decompiling pngpixel
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "pngpixel.h"
 

diff --git a/subjects/Elf/x86-64/pngpixel/pngpixel.reko/pngpixel.h b/subjects/Elf/x86-64/pngpixel/pngpixel.reko/pngpixel.h
@@ -1,6 +1,6 @@
 // pngpixel.h
 // Generated by decompiling pngpixel
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 /*
 // Equivalence classes ////////////

diff --git a/subjects/Elf/x86-64/retpoline/retpoline.reko/retpoline.c b/subjects/Elf/x86-64/retpoline/retpoline.reko/retpoline.c
@@ -1,6 +1,6 @@
 // retpoline.c
 // Generated by decompiling retpoline.elf
-// using Reko decompiler version 0.8.2.0.
+// using Reko decompiler version 0.9.0.0.
 
 #include "retpoline.h"