From 2303f75b080f6dd0c9a5c669a71f64ce830f5650 Mon Sep 17 00:00:00 2001 From: Mark Rowe Date: Mon, 11 Aug 2025 10:42:07 -0700 Subject: Rewrite Obj-C workflow in Rust This is functionally equivalent to the previous workflow_objc, with the following changes: 1. It mutates the `core.function.metaAnalysis` workflow rather than registering a new named workflow. The activities now all check for the presence of the Objective-C metadata added by `ObjCProcessor` to determine whether they should do work, rather than relying on `MachoView` to override the function workflow when Objective-C metadata is present. This fixes https://github.com/Vector35/binaryninja-api/issues/6779. 2. The auto-inlining of `objc_msgSend` selector stub functions is performed in a separate activity from the processing of `objc_msgSend` call sites. The selector stub inlining activity is configured so that it does not run in `DSCView` as the shared cache needs different behavior for stub functions more generally that `SharedCacheWorkflow` already provides. 3. The way that types like `id` and `SEL` are referenced is fixed so that they show up as `id` rather than `objc_struct*`. This also replaces the Objective-C portion of the shared cache's workflow, and incorporates several bug fixes that had been applied to it but not the standalone Objective-C workflow. --- rust/src/workflow/activity.rs | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'rust/src/workflow') diff --git a/rust/src/workflow/activity.rs b/rust/src/workflow/activity.rs index 25f7bdf5..a893e798 100644 --- a/rust/src/workflow/activity.rs +++ b/rust/src/workflow/activity.rs @@ -287,6 +287,19 @@ pub struct Eligibility { } impl Eligibility { + /// Creates a new instance without an automatically generated boolean control setting. + /// The activity is eligible to run by default. + pub fn without_setting() -> Self { + Eligibility { + auto: None, + run_once: None, + run_once_per_session: None, + continuation: None, + predicates: vec![], + logical_operator: None, + } + } + /// Creates a new instance with an automatically generated boolean control setting and corresponding predicate. /// The setting is enabled by default. pub fn auto() -> Self { -- cgit v1.3.1