Skip to content

Natalie and Evelyn can supply additional Manticore arguments in a command-line format #54

@kokrui

Description

@kokrui

What

Currently, Binja plugin users are restricted to the options presented in the Run Dialogs. There should be an additional field where users who are more familiar with Manticore can choose to supply CLI arguments for greater control over Manticore execution.

This issue is chiefly for the muicore integration branch, but may also be relevant to the existing master implementation.

Acceptance Criteria - MUICore

  • An additional text field in the respective Run Dialogs for Native / EVM analysis
  • The cli-style additional arguments should be passed to the StartNative/StartEVM rpc services
  • Docs: update README images to show and explain the new field

Acceptance Criteria - master

  • An additional text field in the respective Run Dialogs for Native / EVM analysis
  • The cli-style additional arguments should be appropriately parsed, likely directly through the argparsing code in Manticore or through a modified copy that will be included with the plugin
  • Docs: update README images to show and explain the new field

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions