Make the entry-point 0 issue general

GrammaTech · May 23, 2024 · a285431 · a285431
1 parent 1f6f8da
commit a285431
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -28,8 +28,7 @@
 * Add alignment for x86-64 instructions that require explicitly aligned memory
   (e.g., some SIMD instructions)
 * Update capstone version from 4.0.1 to 5.0.1
-* Avoid generating `_start` symbol when the entry-point is 0 in shared
-  libraries
+* Avoid generating `_start` symbol when the entry-point address is not a code block.
 
 # 1.8.0
 

diff --git a/src/datalog/binary/elf/symbolization.dl b/src/datalog/binary/elf/symbolization.dl
@@ -136,9 +136,8 @@ start_function(EA):-
 start_function(Start_location):-
     binary_format("ELF"),
     !function_symbol(Start_location,"_start"),
-    // Igore entry-point 0 for shared library
-    !(binary_type("DYN"), Start_location = 0),
-    entry_point(Start_location).
+    entry_point(Start_location),
+    code(Start_location).
 
 main_function(EA):-
     binary_format("ELF"),