| // We could | |
| // | |
| // #include <lib.wasm.h> | |
| // | |
| // for the externs declared here manually, but including that currently | |
| // requires having wasm-rt.h in the include path, which may be annoying for | |
| // users - needs to be thought about. | |
| extern void wasmbox_init(void); | |
| extern int (*Z_do_bad_thingZ_ii)(int); | |
| extern int (*Z_twiceZ_ii)(int); | |
| int main() { | |
| puts("Initializing sandboxed unsafe library"); | |
| wasmbox_init(); | |
| printf("Calling twice on 21 returns %d\n", Z_twiceZ_ii(21)); | |
| puts("Calling something bad now..."); | |
| int num = Z_do_bad_thingZ_ii(1); | |
| printf("The sandbox should not have been able to print anything.\n" | |
| "It claims it printed %d chars but the test proves it didn't!\n", num); | |
| } | |