diff options
Diffstat (limited to 'frida_mode/src/js/js_api.c')
| -rw-r--r-- | frida_mode/src/js/js_api.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/frida_mode/src/js/js_api.c b/frida_mode/src/js/js_api.c index 94ec8842..613747b8 100644 --- a/frida_mode/src/js/js_api.c +++ b/frida_mode/src/js/js_api.c @@ -142,6 +142,13 @@ js_api_set_prefetch_backpatch_disable(void) { } +__attribute__((visibility("default"))) void +js_api_set_instrument_no_instructions(void) { + + instrument_coverage_insn = FALSE; + +} + __attribute__((visibility("default"))) void js_api_set_instrument_no_optimize( void) { |