FilesExpand file tree

codeql-cli/v2.27.3

/

ZMQ.model.yml

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

22 lines (22 loc) · 1.2 KB

codeql-cli/v2.27.3

/

ZMQ.model.yml

Copy path

Top

File metadata and controls

• Code
• Blame

22 lines (22 loc) · 1.2 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

# ZeroMQ networking library models

extensions:

- addsTo:

pack: codeql/cpp-all

extensible: sourceModel

data: # namespace, type, subtypes, name, signature, ext, output, kind, provenance

- ["", "", False, "zmq_recv", "", "", "Argument[*1]", "remote", "manual"]

- ["", "", False, "zmq_recvmsg", "", "", "Argument[*1]", "remote", "manual"]

- ["", "", False, "zmq_msg_recv", "", "", "Argument[*0]", "remote", "manual"]

- addsTo:

pack: codeql/cpp-all

extensible: sinkModel

data: # namespace, type, subtypes, name, signature, ext, input, kind, provenance

- ["", "", False, "zmq_send", "", "", "Argument[*1]", "remote-sink", "manual"]

- ["", "", False, "zmq_sendmsg", "", "", "Argument[*1]", "remote-sink", "manual"]

- ["", "", False, "zmq_msg_send", "", "", "Argument[*0]", "remote-sink", "manual"]

- addsTo:

pack: codeql/cpp-all

extensible: summaryModel

data: # namespace, type, subtypes, name, signature, ext, input, output, kind, provenance

- ["", "", False, "zmq_msg_init_data", "", "", "Argument[*1]", "Argument[*0]", "taint", "manual"]

- ["", "", False, "zmq_msg_data", "", "", "Argument[*0]", "ReturnValue[*]", "taint", "manual"]