diff options
| author | Jordan Wiens <github@psifertex.com> | 2019-07-22 17:49:03 -0400 |
|---|---|---|
| committer | Jordan Wiens <github@psifertex.com> | 2019-07-22 17:49:03 -0400 |
| commit | d4fa2fa1d657ced48dd00d64d44dcc2cd621ae01 (patch) | |
| tree | aa88057388d147865bcb66554c3104a39490b37f /binaryninjacore.h | |
| parent | 0736fc2a1f9590c110bf0add9c7651ac4e6e8919 (diff) | |
allow launching without loading user plugins
Diffstat (limited to 'binaryninjacore.h')
| -rw-r--r-- | binaryninjacore.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/binaryninjacore.h b/binaryninjacore.h index d460166c..23e14106 100644 --- a/binaryninjacore.h +++ b/binaryninjacore.h @@ -2037,6 +2037,8 @@ extern "C" // Plugin initialization BINARYNINJACOREAPI void BNInitCorePlugins(void); + BINARYNINJACOREAPI void BNDisablePlugins(void); + BINARYNINJACOREAPI bool BNIsPluginsEnabled(void); BINARYNINJACOREAPI void BNInitUserPlugins(void); BINARYNINJACOREAPI void BNInitRepoPlugins(void); |