package dra

Get desktop application:
View/edit binary Protocol Buffers messages

The DependencyRPC service definition.

• rpc Connect (Empty, Empty)

  DependencyRPC.proto:32

  syz-fuzzer and syz-manager

• rpc GetBootTasks (Empty, Tasks)

  DependencyRPC.proto:40

• rpc GetCondition (Empty, Conditions)

  DependencyRPC.proto:26

  message Conditions

  Dependency.proto:139

  • repeated Condition condition = 10

    map<uint64, Condition> condition = 10;

• rpc GetDataDependency (Empty, DataDependency)

  DependencyRPC.proto:34

  message DataDependency

  DependencyRPC.proto:58

  • map<string, Input> input = 1

  • map<uint32, UncoveredAddress> uncovered_address = 4

  • map<uint32, WriteAddress> write_address = 5

  • map<string, Input> other_input = 11

• rpc GetNeed (Empty, Empty)

  DependencyRPC.proto:52

• rpc GetNewInput (Empty, Inputs)

  DependencyRPC.proto:22

  message Inputs

  Input.proto:50

  • repeated Input input = 1

    map<string, Input> input = 1;

• rpc GetTasks (Empty, Tasks)

  DependencyRPC.proto:38

• rpc GetVMOffsets (Empty, Empty)

  DependencyRPC.proto:16

  DRA and syz-manager

• rpc ReturnTasks (Tasks, Empty)

  DependencyRPC.proto:42

• rpc SendBootInput (Input, Empty)

  DependencyRPC.proto:44

• rpc SendDependency (Dependency, Empty)

  DependencyRPC.proto:24

  message Dependency

  Dependency.proto:71

  • optional Input input = 1

  • optional UncoveredAddress uncovered_address = 2

  • repeated WriteAddress write_address = 3

• rpc SendLog (Empty, Empty)

  DependencyRPC.proto:48

• rpc SendNeedInput (Input, Empty)

  DependencyRPC.proto:54

• rpc SendNewInput (Input, Empty)

  DependencyRPC.proto:36

• rpc SendNumberBasicBlock (Empty, Empty)

  DependencyRPC.proto:18

• rpc SendNumberBasicBlockCovered (Empty, Empty)

  DependencyRPC.proto:20

• rpc SendUnstableInput (UnstableInput, Empty)

  DependencyRPC.proto:46

• rpc SendWriteAddress (WriteAddresses, Empty)

  DependencyRPC.proto:28

  message WriteAddresses

  Dependency.proto:144

  • optional Condition condition = 1

  • repeated WriteAddress write_address = 4

    map<uint32, WriteAddress> write_address = 4;

• rpc sendStat (Statistic, Empty)

  DependencyRPC.proto:50

Used in: Input

• uint32 idx = 1

• map<uint32, uint32> address = 2

  repeated uint32 address = 2;

Used in: Conditions, WriteAddresses

• uint64 condition_address = 1

• uint32 syzkaller_condition_address = 2

• uint64 uncovered_address = 3

• uint32 syzkaller_uncovered_address = 4

• uint32 idx = 5

• uint64 successor = 6

• repeated uint64 right_branch_address = 7

  map<uint64, uint32> right_branch_address = 7; map<uint32, uint32> syzkaller_right_branch_address = 8; map<uint64, uint32> wrong_branch_address = 9; map<uint32, uint32> syzkaller_wrong_branch_address = 10;

• repeated uint32 syzkaller_right_branch_address = 8

  repeated uint64 wrong_branch_address = 9; repeated uint32 syzkaller_wrong_branch_address = 10;

Used in: Statistics

• map<uint32, uint32> coverage = 1

• repeated Time time = 2

• map<uint32, UncoveredAddress> covered_address = 2

• map<string, FileOperations> file_operations = 6

• optional Tasks tasks = 11

• optional Tasks return = 12

• optional Tasks high_task = 13

• optional Tasks boot_task = 20

• optional Tasks return_boot = 21

Used as request type in: DependencyRPC.Connect, DependencyRPC.GetBootTasks, DependencyRPC.GetCondition, DependencyRPC.GetDataDependency, DependencyRPC.GetNeed, DependencyRPC.GetNewInput, DependencyRPC.GetTasks, DependencyRPC.GetVMOffsets, DependencyRPC.SendLog, DependencyRPC.SendNumberBasicBlock, DependencyRPC.SendNumberBasicBlockCovered

Used as response type in: DependencyRPC.Connect, DependencyRPC.GetNeed, DependencyRPC.GetVMOffsets, DependencyRPC.ReturnTasks, DependencyRPC.SendBootInput, DependencyRPC.SendDependency, DependencyRPC.SendLog, DependencyRPC.SendNeedInput, DependencyRPC.SendNewInput, DependencyRPC.SendNumberBasicBlock, DependencyRPC.SendNumberBasicBlockCovered, DependencyRPC.SendUnstableInput, DependencyRPC.SendWriteAddress, DependencyRPC.sendStat

• uint32 address = 1

• string name = 2

Used in: DataResult

• string name = 1

• map<int64, FileOperationsFunction> file_operations_function = 3

  cmd or 0, function

Used in: FileOperations

• string name = 1

• string file_operations_name = 2

• file_operations_kind kind = 3

• uint64 cmd = 4

• optional runTimeData run_time_date = 5

  repeated Condition critical_condition = 4; map<uint32, Condition> critical_condition = 4; it is the data of this syscall

• map<uint32, uint32> write_address = 11

  repeated WriteAddress write_address = 11;

Used in: Input, Statistic

• StatGenerate = 0

• StatFuzz = 1

• StatCandidate = 2

• StatTriage = 3

• StatMinimize = 4

• StatSmash = 5

• StatHint = 6

• StatSeed = 7

• StatDependency = 8

• StatDependencyBoot = 9

• StatDefault = -1

Used as request type in: DependencyRPC.SendBootInput, DependencyRPC.SendNeedInput, DependencyRPC.SendNewInput

Used as field type in: DataDependency, Dependency, Inputs, UsefulInput

• string sig = 11

  for program

  hash value for each input from syzkaller

• bytes program = 12

• map<uint32, Call> call = 13

• uint32 stable = 14

  whether the input is stable

• repeated Paths paths = 16

  different paths if unstable

• uint32 number_conditions = 17

• uint32 number_conditions_dependency = 18

• FuzzingStat stat = 21

  for dependency

• map<uint32, uint32> uncovered_address = 22

  uncovered address, index by bits

• map<uint32, uint32> write_address = 25

  write address, index by bits

• bytes program_before_mini = 30

Used in: Paths

• repeated uint32 address = 1

Used in: Input, UnstableInput

• map<uint32, Path> path = 1

Used as request type in: DependencyRPC.sendStat

Used as field type in: Statistics

• FuzzingStat name = 1

• uint64 executeNum = 11

• double time = 12

• uint64 newTestCaseNum = 13

• uint64 newAddressNum = 14

• uint64 signalNum = 1

• uint32 number_basic_block = 3

• uint32 number_basic_block_real = 4

• uint32 number_basic_block_covered = 5

• uint32 number_basic_block_uncovered = 6

• optional Coverage coverage = 8

• map<int32, Statistic> stat = 11

• repeated UsefulInput useful_input = 12

Used in: UncoveredAddress

• map<uint32, taskStatus> status = 1

Used in: Tasks

• string sig = 1

• uint32 index = 2

• bytes program = 3

• WriteStatementKind kind = 4

• int32 priority = 5

• string hash = 6

• uint32 count = 7

• string write_sig = 11

• uint32 write_index = 12

• bytes write_program = 13

• taskStatus task_status = 24

• bool check = 25

• map<uint32, runTimeData> uncovered_address = 21

  uncovered address, priority

• map<uint32, runTimeData> covered_address = 23

• repeated TaskRunTimeData task_run_time_data = 31

Used in: Tasks

• Boot = 0

• High = 1

• Ckeck = 3

• Normal = 5

Used in: Task

• string hash = 1

• bytes program = 2

• uint32 write_idx = 5

• uint32 condition_idx = 6

• bool check = 10

• map<uint32, runTimeData> uncovered_address = 21

• map<uint32, runTimeData> covered_address = 23

Used as request type in: DependencyRPC.ReturnTasks

Used as response type in: DependencyRPC.GetBootTasks, DependencyRPC.GetTasks

Used as field type in: DataRunTime

• string name = 41

• TaskKind kind = 42

• map<string, Task> task_map = 1

• repeated Task task_array = 2

Used in: Coverage

• double time = 1

• int64 num = 2

• int64 executeNum = 3

Used in: DataDependency, DataResult, Dependency

• uint32 condition_address = 1

• uint32 uncovered_address = 2

• repeated uint32 right_branch_address = 3

• uint32 number_arrive_basicblocks = 4

• UncoveredAddressKind kind = 5

• uint32 number_dominator_instructions = 6

• map<string, uint32> input = 22

  sig, index by bits

• map<uint32, writeAddressAttributes> write_address = 23

• uint32 count = 24

• optional runTimeData run_time_date = 8

• map<string, Status> input_status = 31

• map<uint32, taskStatus> write_address_status = 32

• map<int32, uint32> tasks_count = 33

• map<int32, uint32> write_count = 34

Used in: UncoveredAddress

• UncoveredAddressOutside = 0

• UncoveredAddressInputRelated = 1

• UncoveredAddressDependencyRelated = 2

• UncoveredAddressOther = 3

Used as request type in: DependencyRPC.SendUnstableInput

Used as field type in: UnstableInputs

• string sig = 1

  hash value for each input from syzkaller

• bytes program = 2

• repeated Paths unstable_path = 12

• map<uint32, uint32> address = 13

  address, index by bits

• map<string, UnstableInput> unstable_input = 1

Used in: Statistics

• optional Input input = 1

• double time = 2

• uint64 num = 3

• repeated uint32 new_address = 4

Used in: DataDependency, Dependency, WriteAddresses

• uint32 write_address = 2

  the address writes to global variable

• WriteStatementKind kind = 4

  map<uint32, Input> write_input = 4; map<uint32, Syscall> write_syscall = 5; repeated Input write_input = 4; repeated Syscall write_syscall = 5;

• map<uint32, writeAddressAttributes> uncovered_address = 23

  uncovered address,

• map<string, uint32> file_operations_function = 24

  file_operations name, file_operations_function index bits

• map<string, uint32> input = 25

  sig, index by bits

• optional runTimeData run_time_date = 11

  it is the data of uncovered address

Used in: Task, WriteAddress

• WriteStatementConstant = 0

• WriteStatementNonconstant = 1

• WriteStatementDependencyRelated = 2

• WriteStatementNotDependencyRelated = 3

• string name = 1

• map<string, string> addr = 2

Used in: FileOperationsFunction

• default = 0

• init = 1

• llseek = 2

• read = 3

• write = 4

• poll = 9

• unlocked_ioctl = 10

• mmap = 12

• open = 14

• release = 16

Used in: FileOperationsFunction, Task, TaskRunTimeData, UncoveredAddress, WriteAddress

• uint32 priority = 1

• uint32 write_address = 2

• uint32 condition_address = 3

• uint32 address = 4

• repeated uint32 right_branch_address = 6

• taskStatus task_status = 10

• bytes program = 12

• uint32 idx = 13

• uint32 recursive_count = 14

• bool checkWrite = 20

• bool checkCondition = 21

• bool checkAddress = 22

• repeated bool checkRightBranchAddress = 23

  map<uint32, uint32> right_branch_address = 16;

Used in: Status, Task, UncoveredAddress, runTimeData

• untested = 0

• testing = 1

• not_find_input = -5

• not_find_write_address = -4

• not_find_write_input = -3

• unstable_write = 11

• stable_write = 12

• unstable_condition = 13

• stable_condition = 14

• unstable_insert_write = 15

• stable_insert_write = 16

• unstable_insert_condition = 17

• stable_insert_condition = 18

• unstable = 19

• tested = 21

• covered = 22

• recursive = 31

• out = 32

Used in: UncoveredAddress, WriteAddress

• uint32 write_address = 2

  the address writes to global variable

• uint32 repeat = 7

• uint32 prio = 6