BoomerangDecompiler · ceeac · Jan 13, 2020 · Oct 8, 2019 · Nov 4, 2019 · Nov 4, 2019
diff --git a/Changelog.md b/Changelog.md
@@ -1,6 +1,21 @@
 v0.6.0 (in development)
 -----------------------
+- Fixed: Crash when plugin interface constructor throws an exception.
+- Fixed: Crash when generating code for unions containing function pointers in some cases.
+- Fixed: Wrong decompilation of switch statements in some cases.
+- Fixed: Wrong decompilation of Fortran-style switch statements.
+- Fixed: Wrong decompilation of x86 binaries containing `bsf` or `bsr`.
+- Fixed: Wrong decompilation of x86 binaries containing instructions with a `rep` prefix.
+- Fixed: Wrong decompilation of `*(char *)foo = 0`.
+- Fixed: Missing semantics for 16-bit x86 `lcall` instruction.
+- Fixed: Missing semantics for 16-bit x86 `mul` instruction.
+- Fixed: Non-deterministic naming of locals in decompilation output.
+- Fixed: Non-deterministic decompilation of mutually recursive functions.
+- Feature: Separate disassembly and lifting of machine instructions.
 - Improved: Instruction semantics definition format.
+- Improved: Dot file output (-gd) now also outputs machine instructions (not just IR).
+- Improved: CMake configuration speed.
+- Removed: SPARC support.
 
 v0.5.2 (in development)
 -----------------------

diff --git a/Readme.md b/Readme.md
@@ -2,7 +2,7 @@
 
 This is a fork of the [Boomerang Decompiler](http://boomerang.sourceforge.net/), a general, open source (BSD licensed) machine code decompiler.
 Boomerang currently supports:
- - architectures: x86 (IA-32 only), SPARC (V8/V9), PPC, ST20
+ - architectures: x86 (IA-32 only), PPC, ST20
  - file formats: ELF, PE, DOS MZ, DOS/4GW LE, Mach-O
  - high-level language output: C
 

diff --git a/cmake-scripts/boomerang-configure.cmake b/cmake-scripts/boomerang-configure.cmake
@@ -6,12 +6,7 @@
 # WARRANTIES.
 #
 
-
 # This script will perform configuration of all system specific settings
-include(CheckIncludeFile)
-include(CheckTypeSize)
-include(CheckLibraryExists)
-include(TestBigEndian)
 
 # Boomerang configuration options
 option(BOOMERANG_BUILD_GUI              "Build the GUI. Requires Qt5Widgets." ON)
@@ -29,42 +24,17 @@ endif ("${CMAKE_CXX_COMPILER_ID}" MATCHES "GNU")
 option(BOOMERANG_INSTALL_SAMPLES "Install sample binaries." OFF)
 
 
-CHECK_INCLUDE_FILE(byteswap.h HAVE_BYTESWAP_H)
-CHECK_INCLUDE_FILE(dlfcn.h HAVE_DLFCN_H)
-CHECK_INCLUDE_FILE(fcntl.h HAVE_FCNTL_H)
-CHECK_INCLUDE_FILE(inttypes.h HAVE_INTTYPES_H)
-CHECK_INCLUDE_FILE(unistd.h HAVE_UNISTD_H)
-CHECK_INCLUDE_FILE(malloc.h HAVE_MALLOC_H)
-CHECK_INCLUDE_FILE(memory.h HAVE_MEMORY_H)
-CHECK_INCLUDE_FILE(stdint.h HAVE_STDINT_H)
-CHECK_INCLUDE_FILE(stdlib.h HAVE_STDLIB_H)
-CHECK_INCLUDE_FILE(strings.h HAVE_STRINGS_H)
-CHECK_INCLUDE_FILE(string.h HAVE_STRING_H)
-CHECK_INCLUDE_FILE(sys/stat.h HAVE_SYS_STAT_H)
-CHECK_INCLUDE_FILE(sys/time.h HAVE_SYS_TIME_H)
-CHECK_INCLUDE_FILE(sys/types.h HAVE_SYS_TYPES_H)
-CHECK_INCLUDE_FILE(unistd.h HAVE_UNISTD_H)
-
-
-CHECK_TYPE_SIZE(char SIZEOF_CHAR)
-CHECK_TYPE_SIZE(double SIZEOF_DOUBLE)
-CHECK_TYPE_SIZE(float SIZEOF_FLOAT)
-CHECK_TYPE_SIZE(int SIZEOF_INT)
-CHECK_TYPE_SIZE("int *" SIZEOF_INT_P)
-CHECK_TYPE_SIZE(long SIZEOF_LONG)
-CHECK_TYPE_SIZE("long double" SIZEOF_LONG_DOUBLE)
-CHECK_TYPE_SIZE("long long" SIZEOF_LONG_LONG)
-CHECK_TYPE_SIZE(short SIZEOF_SHORT)
-
+# Check for big/little endian
+include(TestBigEndian)
 TEST_BIG_ENDIAN(WORDS_BIGENDIAN)
 
-# Check for big/little endian
 if (WORDS_BIGENDIAN)
     add_definitions(-DBOOMERANG_BIG_ENDIAN=1)
 else ()
     add_definitions(-DBOOMERANG_BIG_ENDIAN=0)
 endif ()
 
+
 # Check 32/64 bit system
 if (CMAKE_SIZEOF_VOID_P EQUAL 8)
     add_definitions(-DBOOMERANG_BITNESS=64)
@@ -78,6 +48,4 @@ endif ()
 
 
 add_definitions(-DDEBUG=0)
-add_definitions(-DCHECK_REAL_PHI_LOOPS=0)
 add_definitions(-DDEBUG_PARAMS=1)
-add_definitions(-DV9_ONLY=0)
diff --git a/data/samples/sparc/RayTracer b/data/samples/sparc/RayTracer
diff --git a/data/samples/sparc/andn b/data/samples/sparc/andn
diff --git a/data/samples/sparc/asgngoto b/data/samples/sparc/asgngoto
diff --git a/data/samples/sparc/ass2.SunOS b/data/samples/sparc/ass2.SunOS
diff --git a/data/samples/sparc/ass3.SunOS b/data/samples/sparc/ass3.SunOS
diff --git a/data/samples/sparc/banner b/data/samples/sparc/banner
diff --git a/data/samples/sparc/bcd b/data/samples/sparc/bcd
diff --git a/data/samples/sparc/branch b/data/samples/sparc/branch
diff --git a/data/samples/sparc/callchain b/data/samples/sparc/callchain
diff --git a/data/samples/sparc/condcodexform_cc b/data/samples/sparc/condcodexform_cc
diff --git a/data/samples/sparc/condcodexform_gcc b/data/samples/sparc/condcodexform_gcc
diff --git a/data/samples/sparc/daysofxmas b/data/samples/sparc/daysofxmas
diff --git a/data/samples/sparc/elfhashtest b/data/samples/sparc/elfhashtest
diff --git a/data/samples/sparc/fbranch b/data/samples/sparc/fbranch
diff --git a/data/samples/sparc/fbranch2 b/data/samples/sparc/fbranch2
diff --git a/data/samples/sparc/fib b/data/samples/sparc/fib
diff --git a/data/samples/sparc/fibo-O4 b/data/samples/sparc/fibo-O4
diff --git a/data/samples/sparc/fibo2 b/data/samples/sparc/fibo2
diff --git a/data/samples/sparc/fibo3 b/data/samples/sparc/fibo3
diff --git a/data/samples/sparc/fibo4 b/data/samples/sparc/fibo4
diff --git a/data/samples/sparc/fibo_iter b/data/samples/sparc/fibo_iter
diff --git a/data/samples/sparc/fromssa2 b/data/samples/sparc/fromssa2
diff --git a/data/samples/sparc/funcptr b/data/samples/sparc/funcptr
diff --git a/data/samples/sparc/global1 b/data/samples/sparc/global1
diff --git a/data/samples/sparc/global2 b/data/samples/sparc/global2
diff --git a/data/samples/sparc/global3 b/data/samples/sparc/global3
diff --git a/data/samples/sparc/hello b/data/samples/sparc/hello
diff --git a/data/samples/sparc/interleavedcc b/data/samples/sparc/interleavedcc
diff --git a/data/samples/sparc/loop b/data/samples/sparc/loop
diff --git a/data/samples/sparc/minmax b/data/samples/sparc/minmax
diff --git a/data/samples/sparc/minmax2 b/data/samples/sparc/minmax2
diff --git a/data/samples/sparc/mutual_recurse b/data/samples/sparc/mutual_recurse
diff --git a/data/samples/sparc/nestedswitch b/data/samples/sparc/nestedswitch
diff --git a/data/samples/sparc/param1 b/data/samples/sparc/param1
diff --git a/data/samples/sparc/paramchain b/data/samples/sparc/paramchain
diff --git a/data/samples/sparc/phi b/data/samples/sparc/phi
diff --git a/data/samples/sparc/phi2 b/data/samples/sparc/phi2
diff --git a/data/samples/sparc/printpi b/data/samples/sparc/printpi
diff --git a/data/samples/sparc/rain b/data/samples/sparc/rain
diff --git a/data/samples/sparc/recursion b/data/samples/sparc/recursion
diff --git a/data/samples/sparc/shared2 b/data/samples/sparc/shared2
diff --git a/data/samples/sparc/short1 b/data/samples/sparc/short1
diff --git a/data/samples/sparc/short2 b/data/samples/sparc/short2
diff --git a/data/samples/sparc/stattest b/data/samples/sparc/stattest
diff --git a/data/samples/sparc/sumarray b/data/samples/sparc/sumarray
diff --git a/data/samples/sparc/sumarray-O4 b/data/samples/sparc/sumarray-O4
diff --git a/data/samples/sparc/superstat b/data/samples/sparc/superstat
diff --git a/data/samples/sparc/switchAnd_cc b/data/samples/sparc/switchAnd_cc
diff --git a/data/samples/sparc/switchAnd_gcc b/data/samples/sparc/switchAnd_gcc
diff --git a/data/samples/sparc/switch_cc b/data/samples/sparc/switch_cc
diff --git a/data/samples/sparc/switch_epc2 b/data/samples/sparc/switch_epc2
diff --git a/data/samples/sparc/switch_gcc b/data/samples/sparc/switch_gcc
diff --git a/data/samples/sparc/switch_gpc b/data/samples/sparc/switch_gpc
diff --git a/data/samples/sparc/testarray1 b/data/samples/sparc/testarray1
diff --git a/data/samples/sparc/testarray2 b/data/samples/sparc/testarray2
diff --git a/data/samples/sparc/twofib b/data/samples/sparc/twofib
diff --git a/data/samples/sparc/twoproc b/data/samples/sparc/twoproc
diff --git a/data/samples/sparc/twoproc2 b/data/samples/sparc/twoproc2
diff --git a/data/samples/sparc/uns b/data/samples/sparc/uns
diff --git a/data/samples/sparc/worms b/data/samples/sparc/worms
diff --git a/data/samples/x86/fbranch b/data/samples/x86/fbranch
diff --git a/data/signatures/fortran.h b/data/signatures/fortran.h
@@ -3,4 +3,10 @@ void f_setsig();
 void f_init();
 void f_exit();
 
-void do_lio(void *arg0, void *arg1, void *arg2, int arg3);
+int s_wsle(void *a);
+int s_rsle(void *a);
+
+int e_rsle();
+int e_wsle();
+
+void do_lio(void *arg0, void *arg1, char *arg2, int arg3);
diff --git a/data/signatures/sparc.hs b/data/signatures/sparc.hs
diff --git a/data/signatures/stat_sparc.h b/data/signatures/stat_sparc.h
diff --git a/data/signatures/stdlib/stdlib.h b/data/signatures/stdlib/stdlib.h
@@ -45,7 +45,7 @@ void *realloc(void *ptr, size_t size);
 
 // environment
 void abort(void);
-void atexit(atexitfunc func);
+int atexit(atexitfunc func);
 int __cxa_atexit(atexitfunc func, void *arg, void *dso_handle);
 int at_quick_exit(atquickexitfunc func);
 void exit(int status);

diff --git a/data/signatures/sunCC.h b/data/signatures/sunCC.h