annotate test/thunk/test_thunk.c @ 383:268378d66610

- thunk test: better signal handling, using sigaction(2) with SA_ONSTACK whenever available to enable handling stack errors (as handler uses same stack); thanks for bringing this to our attention, Bernhard!
author Tassilo Philipp
date Wed, 20 Jan 2021 17:36:34 +0100
parents fccbb45a2dae
children 2144287113df
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
1 /*
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
2
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
3 Package: dyncall
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
4 Library: test
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
5 File: test/thunk/test_thunk.c
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
6 Description:
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
7 License:
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
8
371
451299d50c1a - windows arm64 support (dyncall, dyncallback, cmake support for armasm64), thanks Bernhard Urban-Forster!
Tassilo Philipp
parents: 281
diff changeset
9 Copyright (c) 2011-2020 Daniel Adler <dadler@uni-goettingen.de>,
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
10 Tassilo Philipp <tphilipp@potion-studios.com>
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
11
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
12 Permission to use, copy, modify, and distribute this software for any
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
13 purpose with or without fee is hereby granted, provided that the above
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
14 copyright notice and this permission notice appear in all copies.
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
15
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
16 THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
17 WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
18 MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
19 ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
20 WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
21 ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
22 OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
23
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
24 */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
25
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
26 #include "../../dyncall/dyncall.h"
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
27 #include "../../dyncallback/dyncall_thunk.h"
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
28 #include "../../dyncallback/dyncall_alloc_wx.h"
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
29 #include "../common/platformInit.h"
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
30 #include "../common/platformInit.c" /* Impl. for functions only used in this translation unit */
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
31
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
32
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
33 /**
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
34 ** test: thunks with several allocation modes
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
35 ** such as on stack, on heap and explicit wx
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
36 **
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
37 **/
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
38
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
39 #include <assert.h>
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
40 #include <errno.h>
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
41 #include <signal.h>
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
42 #include <setjmp.h>
176
ff0c8ee2bbc7 - testcode: missing include fixed
cslag
parents: 155
diff changeset
43 #include <string.h>
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
44
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
45 jmp_buf jbuf;
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
46
383
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
47 static int last_sig;
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
48
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
49 void segv_handler(int sig)
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
50 {
383
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
51 last_sig = sig;
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
52 longjmp(jbuf, 1);
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
53 }
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
54
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
55 void my_entry(const char* text)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
56 {
155
bbefb8b8e74c - sparc32 thunk code
cslag
parents: 32
diff changeset
57 printf("%s: %d\n", text, strcmp(text, "wx") == 0 || strcmp(text, "stack") == 0 || strcmp(text, "heap") == 0); /* @@@ */
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
58 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
59
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
60 typedef void (printfun)(const char*);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
61
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
62 void test_stack()
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
63 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
64 DCThunk t;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
65 printfun* fp;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
66 dcbInitThunk(&t, &my_entry);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
67 fp = (printfun*)&t;
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
68 if(setjmp(jbuf) != 0)
383
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
69 printf(last_sig == SIGSEGV ? "sigsegv\n" : "sigbus\n");
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
70 else
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
71 fp("stack");
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
72 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
73
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
74 #include <stdlib.h>
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
75
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
76 void test_heap()
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
77 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
78 printfun* fp;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
79 DCThunk* p = (DCThunk*)malloc(sizeof(DCThunk));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
80 if(!p) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
81 printf("0\n");
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
82 return;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
83 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
84 dcbInitThunk(p, &my_entry);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
85 fp = (printfun*)p;
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
86 if(setjmp(jbuf) != 0)
383
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
87 printf(last_sig == SIGSEGV ? "sigsegv\n" : "sigbus\n");
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
88 else
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
89 fp("heap");
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
90 free(p);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
91 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
92
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
93 void test_wx()
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
94 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
95 DCThunk* p;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
96 printfun* fp;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
97 int err = dcAllocWX(sizeof(DCThunk), (void**)&p);
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
98 if(err || !p) {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
99 printf("0\n");
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
100 return;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
101 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
102 dcbInitThunk(p, &my_entry);
203
3999750fae28 - allocwx changes from last commit mentioned in Changelog and adapted testcode
Tassilo Philipp
parents: 176
diff changeset
103 err = dcInitExecWX((void*)p, sizeof(DCThunk));
3999750fae28 - allocwx changes from last commit mentioned in Changelog and adapted testcode
Tassilo Philipp
parents: 176
diff changeset
104 if(err) {
3999750fae28 - allocwx changes from last commit mentioned in Changelog and adapted testcode
Tassilo Philipp
parents: 176
diff changeset
105 dcFreeWX((void*)p, sizeof(DCThunk));
3999750fae28 - allocwx changes from last commit mentioned in Changelog and adapted testcode
Tassilo Philipp
parents: 176
diff changeset
106 printf("0\n");
3999750fae28 - allocwx changes from last commit mentioned in Changelog and adapted testcode
Tassilo Philipp
parents: 176
diff changeset
107 return;
3999750fae28 - allocwx changes from last commit mentioned in Changelog and adapted testcode
Tassilo Philipp
parents: 176
diff changeset
108 }
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
109 fp = (printfun*)p;
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
110 if(setjmp(jbuf) != 0)
383
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
111 printf(last_sig == SIGSEGV ? "sigsegv\n" : "sigbus\n");
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
112 else
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
113 fp("wx");
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
114 dcFreeWX((void*)p, sizeof(DCThunk));
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
115 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
116
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
117 int main()
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
118 {
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
119 dcTest_initPlatform();
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
120
383
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
121 /* handle sigsegv and sigbus (latter used on some platforms for some mem */
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
122 /* access errors); use more complex setup if SA_ONSTACK is available */
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
123
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
124 #if defined(SA_ONSTACK)
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
125 /* notes:
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
126 - use sigaction(2) to pass SA_ONSTACK, to handle segfaults on stack (as
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
127 handler would use same stack, this needs to be requested explicitly)
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
128 - not using sigaltstack(2), as no need in our case
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
129 */
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
130 struct sigaction sigAct;
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
131 sigfillset(&(sigAct.sa_mask));
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
132 sigAct.sa_sigaction = segv_handler;
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
133 sigAct.sa_flags = SA_ONSTACK;
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
134 sigaction(SIGSEGV, &sigAct, NULL);
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
135 sigaction(SIGBUS, &sigAct, NULL);
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
136 #else
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
137 signal(SIGSEGV, segv_handler);
381
fccbb45a2dae - test fix: no SIGBUS on windows platforms
Tassilo Philipp
parents: 377
diff changeset
138 #if !defined(DC_WINDOWS)
383
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
139 signal(SIGBUS, segv_handler);
381
fccbb45a2dae - test fix: no SIGBUS on windows platforms
Tassilo Philipp
parents: 377
diff changeset
140 #endif
383
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
141 #endif
268378d66610 - thunk test: better signal handling, using sigaction(2) with SA_ONSTACK
Tassilo Philipp
parents: 381
diff changeset
142
32
f533c5ad1b6e - added some exception handling to thunk test, to catch w^x tests, etc.
cslag
parents: 0
diff changeset
143
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
144 printf("Allocating ...\n");
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
145 printf("... W^X memory: ");
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
146 test_wx();
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
147 printf("... heap memory: ");
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
148 test_heap();
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
149 printf("... stack memory: ");
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
150 test_stack();
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
151
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
152 dcTest_deInitPlatform();
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
153
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
154 return 0;
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
155 }
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
156