package manticore_server

Get desktop application:
View/edit binary Protocol Buffers messages

• rpc StartNative (NativeArguments, ManticoreInstance)

  ManticoreServer.proto:6

  message NativeArguments

  ManticoreServer.proto:64

  • string program_path = 11

  • repeated string binary_args = 16

  • repeated string envp = 17

  • repeated string symbolic_files = 18

  • optional string concrete_start = 19

  • optional string stdin_size = 20

  • optional string additional_mcore_args = 21

  • repeated Hook hooks = 30

  • optional uint64 emulate_until = 32

• rpc StartEVM (EVMArguments, ManticoreInstance)

  ManticoreServer.proto:7

  message EVMArguments

  ManticoreServer.proto:76

  • string contract_path = 12

  • string contract_name = 13

  • string solc_bin = 14

  • optional string tx_limit = 22

  • optional string tx_account = 23

  • repeated string detectors_to_exclude = 24

  • optional string additional_flags = 25

• rpc Terminate (ManticoreInstance, TerminateResponse)

  ManticoreServer.proto:8

  message TerminateResponse

  ManticoreServer.proto:48

  (message has no fields)

• rpc GetStateList (ManticoreInstance, ManticoreStateList)

  ManticoreServer.proto:9

  message ManticoreStateList

  ManticoreServer.proto:33

  • repeated ManticoreState active_states = 4

    state categories in Manticore - based on manticore enums StateStatus and StateList

  • repeated ManticoreState waiting_states = 5

  • repeated ManticoreState forked_states = 6

  • repeated ManticoreState errored_states = 7

  • repeated ManticoreState complete_states = 8

  • repeated ManticoreState paused_states = 33

• rpc GetMessageList (ManticoreInstance, ManticoreMessageList)

  ManticoreServer.proto:10

  message ManticoreMessageList

  ManticoreServer.proto:22

  • repeated ManticoreLogMessage messages = 2

• rpc CheckManticoreRunning (ManticoreInstance, ManticoreRunningStatus)

  ManticoreServer.proto:11

  message ManticoreRunningStatus

  ManticoreServer.proto:86

  • bool is_running = 15

• rpc StopServer (StopServerRequest, StopServerResponse)

  ManticoreServer.proto:12

  message StopServerRequest

  ManticoreServer.proto:90

  (message has no fields)

  message StopServerResponse

  ManticoreServer.proto:92

  (message has no fields)

• rpc ControlState (ControlStateRequest, ControlStateResponse)

  ManticoreServer.proto:13

  message ControlStateRequest

  ManticoreServer.proto:94

  • int32 state_id = 34

  • optional ManticoreInstance manticore_instance = 35

  • ControlStateRequest.StateAction action = 36

  message ControlStateResponse

  ManticoreServer.proto:107

  (message has no fields)

Used in: ControlStateRequest

• RESUME = 0

• PAUSE = 1

• KILL = 2

Used in: NativeArguments

• optional uint64 address = 26

• Hook.HookType type = 27

• optional string func_text = 31

Used in: Hook

• FIND = 0

• AVOID = 1

• CUSTOM = 2

• GLOBAL = 3

Used as request type in: ManticoreServer.CheckManticoreRunning, ManticoreServer.GetMessageList, ManticoreServer.GetStateList, ManticoreServer.Terminate

Used as response type in: ManticoreServer.StartEVM, ManticoreServer.StartNative

Used as field type in: ControlStateRequest

• string uuid = 9

Used in: ManticoreMessageList

• string content = 1

Used in: ManticoreStateList

• int32 state_id = 3

• uint64 pc = 10

• optional int32 parent_id = 28

• repeated int32 children_ids = 29