aports/testing/ocaml/010_all_execstacks.patch

241 lines
7.2 KiB
Diff

Fix the EXEC_STACK in ocaml compiled binaries (#153382)
Index: ocaml-3.12.0/asmcomp/alpha/emit.mlp
===================================================================
--- ocaml-3.12.0.orig/asmcomp/alpha/emit.mlp
+++ ocaml-3.12.0/asmcomp/alpha/emit.mlp
@@ -811,6 +811,11 @@ let data l =
` .data\n`;
List.iter emit_item l
+(* Mark stack as non executable *)
+let nx_stack() =
+ if Config.system = "linux" then
+ ` .section .note.GNU-stack,\"\",%progbits\n`
+
(* Beginning / end of an assembly file *)
let begin_assembly() =
@@ -843,6 +848,7 @@ let begin_assembly() =
`{emit_symbol lbl_begin}:\n`
let end_assembly () =
+ nx_stack();
let lbl_end = Compilenv.make_symbol (Some "code_end") in
` .text\n`;
` .globl {emit_symbol lbl_end}\n`;
Index: ocaml-3.12.0/asmrun/alpha.S
===================================================================
--- ocaml-3.12.0.orig/asmrun/alpha.S
+++ ocaml-3.12.0/asmrun/alpha.S
@@ -438,3 +438,7 @@ caml_system__frametable:
.word -1 /* negative frame size => use callback link */
.word 0 /* no roots here */
.align 3
+
+#ifdef __ELF__
+.section .note.GNU-stack,"",%progbits
+#endif
Index: ocaml-3.12.0/asmrun/arm.S
===================================================================
--- ocaml-3.12.0.orig/asmrun/arm.S
+++ ocaml-3.12.0/asmrun/arm.S
@@ -316,3 +316,7 @@ caml_system__frametable:
.short -1 /* negative frame size => use callback link */
.short 0 /* no roots */
.align 2
+
+#ifdef __ELF__
+.section .note.GNU-stack,"",%progbits
+#endif
Index: ocaml-3.12.0/asmrun/hppa.S
===================================================================
--- ocaml-3.12.0.orig/asmrun/hppa.S
+++ ocaml-3.12.0/asmrun/hppa.S
@@ -532,3 +532,8 @@ G(caml_system__frametable):
.long L104 + 3 /* return address into callback */
.short -1 /* negative frame size => use callback link */
.short 0 /* no roots */
+
+#ifdef __ELF__
+.section .note.GNU-stack,"",%progbits
+#endif
+
Index: ocaml-3.12.0/asmrun/ia64.S
===================================================================
--- ocaml-3.12.0.orig/asmrun/ia64.S
+++ ocaml-3.12.0/asmrun/ia64.S
@@ -521,3 +521,8 @@ caml_system__frametable:
.common caml_saved_bsp#, 8, 8
.common caml_saved_rnat#, 8, 8
+
+#ifdef __ELF__
+.section .note.GNU-stack,"",%progbits
+#endif
+
Index: ocaml-3.12.0/asmrun/m68k.S
===================================================================
--- ocaml-3.12.0.orig/asmrun/m68k.S
+++ ocaml-3.12.0/asmrun/m68k.S
@@ -242,3 +242,8 @@ _caml_system__frametable:
.long L107 | return address into callback
.word -1 | negative frame size => use callback link
.word 0 | no roots here
+
+#ifdef __ELF__
+.section .note.GNU-stack,"",%progbits
+#endif
+
Index: ocaml-3.12.0/asmrun/sparc.S
===================================================================
--- ocaml-3.12.0.orig/asmrun/sparc.S
+++ ocaml-3.12.0/asmrun/sparc.S
@@ -405,3 +405,8 @@ Caml_system__frametable:
.type Caml_raise_exception, #function
.type Caml_system__frametable, #object
#endif
+
+#ifdef __ELF__
+.section .note.GNU-stack,"",%progbits
+#endif
+
Index: ocaml-3.12.0/asmcomp/arm/emit.mlp
===================================================================
--- ocaml-3.12.0.orig/asmcomp/arm/emit.mlp
+++ ocaml-3.12.0/asmcomp/arm/emit.mlp
@@ -601,6 +601,13 @@ let data l =
` .data\n`;
List.iter emit_item l
+(* Mark stack as non executable *)
+let nx_stack() =
+ if Config.system = "linux" then
+ ` .section .note.GNU-stack,\"\",%progbits\n`
+
+
+
(* Beginning / end of an assembly file *)
let begin_assembly() =
@@ -617,6 +624,7 @@ let begin_assembly() =
`{emit_symbol lbl_begin}:\n`
let end_assembly () =
+ nx_stack();
let lbl_end = Compilenv.make_symbol (Some "code_end") in
` .text\n`;
` .global {emit_symbol lbl_end}\n`;
Index: ocaml-3.12.0/asmcomp/hppa/emit.mlp
===================================================================
--- ocaml-3.12.0.orig/asmcomp/hppa/emit.mlp
+++ ocaml-3.12.0/asmcomp/hppa/emit.mlp
@@ -996,6 +996,12 @@ let data l =
` .data\n`;
List.iter emit_item l
+(* Mark stack as non executable *)
+let nx_stack() =
+ if Config.system = "linux" then
+ ` .section .note.GNU-stack,\"\",%progbits\n`
+
+
(* Beginning / end of an assembly file *)
let begin_assembly() =
@@ -1024,6 +1030,7 @@ let begin_assembly() =
let end_assembly() =
+ nx_stack();
` .code\n`;
let lbl_end = Compilenv.make_symbol (Some "code_end") in
declare_global lbl_end;
Index: ocaml-3.12.0/asmcomp/ia64/emit.mlp
===================================================================
--- ocaml-3.12.0.orig/asmcomp/ia64/emit.mlp
+++ ocaml-3.12.0/asmcomp/ia64/emit.mlp
@@ -1306,6 +1306,11 @@ let data l =
` .align 8\n`;
List.iter emit_item l
+(* Mark stack as non executable *)
+let nx_stack() =
+ if Config.system = "linux" then
+ ` .section .note.GNU-stack,\"\",%progbits\n`
+
(* Beginning / end of an assembly file *)
let begin_assembly() =
@@ -1315,6 +1320,7 @@ let begin_assembly() =
emit_define_symbol (Compilenv.make_symbol (Some "code_begin"))
let end_assembly () =
+ nx_stack();
` .data\n`;
emit_define_symbol (Compilenv.make_symbol (Some "data_end"));
` .text\n`;
Index: ocaml-3.12.0/asmcomp/power/emit.mlp
===================================================================
--- ocaml-3.12.0.orig/asmcomp/power/emit.mlp
+++ ocaml-3.12.0/asmcomp/power/emit.mlp
@@ -927,6 +927,12 @@ let data l =
emit_string data_space;
List.iter emit_item l
+(* Mark stack as non executable *)
+let nx_stack() =
+ if Config.system = "elf" then
+ ` .section .note.GNU-stack,\"\",%progbits\n`
+
+
(* Beginning / end of an assembly file *)
let begin_assembly() =
@@ -943,6 +949,7 @@ let begin_assembly() =
`{emit_symbol lbl_begin}:\n`
let end_assembly() =
+ nx_stack();
if pic_externals then
(* Emit the pointers to external functions *)
StringSet.iter emit_external !external_functions;
Index: ocaml-3.12.0/asmcomp/sparc/emit.mlp
===================================================================
--- ocaml-3.12.0.orig/asmcomp/sparc/emit.mlp
+++ ocaml-3.12.0/asmcomp/sparc/emit.mlp
@@ -742,6 +742,12 @@ let data l =
` .data\n`;
List.iter emit_item l
+(* Mark stack as non executable *)
+let nx_stack() =
+ if Config.system = "linux" then
+ ` .section .note.GNU-stack,\"\",%progbits\n`
+
+
(* Beginning / end of an assembly file *)
let begin_assembly() =
@@ -755,6 +761,7 @@ let begin_assembly() =
`{emit_symbol lbl_begin}:\n`
let end_assembly() =
+ nx_stack();
` .text\n`;
let lbl_end = Compilenv.make_symbol (Some "code_end") in
` .global {emit_symbol lbl_end}\n`;
Index: ocaml-3.12.0/asmrun/power-elf.S
===================================================================
--- ocaml-3.12.0.orig/asmrun/power-elf.S
+++ ocaml-3.12.0/asmrun/power-elf.S
@@ -418,3 +418,8 @@ caml_system__frametable:
.long .L105 + 4 /* return address into callback */
.short -1 /* negative size count => use callback link */
.short 0 /* no roots here */
+
+#ifdef __ELF__
+.section .note.GNU-stack,"",%progbits
+#endif
+