FilesExpand file tree

main

/

java.net.model.yml

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

30 lines (30 loc) · 2.14 KB

main

/

java.net.model.yml

Copy path

Top

File metadata and controls

• Code
• Blame

30 lines (30 loc) · 2.14 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

23

24

25

26

27

28

29

30

extensions:

- addsTo:

pack: codeql/java-all

extensible: sourceModel

data:

- ["java.net", "Socket", False, "getInputStream", "()", "", "ReturnValue", "remote", "manual"]

- ["java.net", "URLConnection", False, "getInputStream", "()", "", "ReturnValue", "remote", "manual"]

- addsTo:

pack: codeql/java-all

extensible: sinkModel

data:

- ["java.net", "URL", False, "openConnection", "", "", "Argument[-1]", "open-url", "manual"]

- ["java.net", "URL", False, "openStream", "", "", "Argument[-1]", "open-url", "manual"]

- ["java.net", "URLClassLoader", False, "URLClassLoader", "(String,URL[],ClassLoader)", "", "Argument[1]", "open-url", "manual"]

- ["java.net", "URLClassLoader", False, "URLClassLoader", "(String,URL[],ClassLoader,URLStreamHandlerFactory)", "", "Argument[1]", "open-url", "manual"]

- ["java.net", "URLClassLoader", False, "URLClassLoader", "(URL[])", "", "Argument[0]", "open-url", "manual"]

- ["java.net", "URLClassLoader", False, "URLClassLoader", "(URL[],ClassLoader)", "", "Argument[0]", "open-url", "manual"]

- ["java.net", "URLClassLoader", False, "URLClassLoader", "(URL[],ClassLoader,URLStreamHandlerFactory)", "", "Argument[0]", "open-url", "manual"]

- ["java.net", "URLClassLoader", False, "newInstance", "", "", "Argument[0]", "open-url", "manual"]

- addsTo:

pack: codeql/java-all

extensible: summaryModel

data:

- ["java.net", "URI", False, "URI", "(String)", "", "Argument[0]", "Argument[-1]", "taint", "manual"]

- ["java.net", "URI", False, "create", "", "", "Argument[0]", "ReturnValue", "taint", "manual"]

- ["java.net", "URI", False, "toAsciiString", "", "", "Argument[-1]", "ReturnValue", "taint", "manual"]

- ["java.net", "URI", False, "toString", "", "", "Argument[-1]", "ReturnValue", "taint", "manual"]

- ["java.net", "URI", False, "toURL", "", "", "Argument[-1]", "ReturnValue", "taint", "manual"]

- ["java.net", "URL", False, "URL", "(String)", "", "Argument[0]", "Argument[-1]", "taint", "manual"]

- ["java.net", "URLDecoder", False, "decode", "", "", "Argument[0]", "ReturnValue", "taint", "manual"]