FilesExpand file tree

 codeql-cli-2.25.2

/

Windows.model.yml

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

61 lines (61 loc) · 4.45 KB

 codeql-cli-2.25.2

/

Windows.model.yml

Top

File metadata and controls

• Code
• Blame

61 lines (61 loc) · 4.45 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

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

# partial model of windows system calls

extensions:

- addsTo:

pack: codeql/cpp-all

extensible: sourceModel

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

# processenv.h

- ["", "", False, "GetCommandLineA", "", "", "ReturnValue[*]", "local", "manual"]

- ["", "", False, "GetCommandLineW", "", "", "ReturnValue[*]", "local", "manual"]

- ["", "", False, "GetEnvironmentStringsA", "", "", "ReturnValue[*]", "local", "manual"]

- ["", "", False, "GetEnvironmentStringsW", "", "", "ReturnValue[*]", "local", "manual"]

- ["", "", False, "GetEnvironmentVariableA", "", "", "Argument[*1]", "local", "manual"]

- ["", "", False, "GetEnvironmentVariableW", "", "", "Argument[*1]", "local", "manual"]

# fileapi.h

- ["", "", False, "ReadFile", "", "", "Argument[*1]", "local", "manual"]

- ["", "", False, "ReadFileEx", "", "", "Argument[*1]", "local", "manual"]

# memoryapi.h

- ["", "", False, "MapViewOfFile", "", "", "ReturnValue[*]", "local", "manual"]

- ["", "", False, "MapViewOfFile2", "", "", "ReturnValue[*]", "local", "manual"]

- ["", "", False, "MapViewOfFile3", "", "", "ReturnValue[*]", "local", "manual"]

- ["", "", False, "MapViewOfFile3FromApp", "", "", "ReturnValue[*]", "local", "manual"]

- ["", "", False, "MapViewOfFileEx", "", "", "ReturnValue[*]", "local", "manual"]

- ["", "", False, "MapViewOfFileFromApp", "", "", "ReturnValue[*]", "local", "manual"]

- ["", "", False, "MapViewOfFileNuma2", "", "", "ReturnValue[*]", "local", "manual"]

# ntifs.h

- ["", "", False, "NtReadFile", "", "", "Argument[*5]", "local", "manual"]

# winhttp.h

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

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

- ["", "", False, "WinHttpQueryHeaders", "", "", "Argument[*3]", "remote", "manual"]

- ["", "", False, "WinHttpQueryHeadersEx", "", "", "Argument[*5]", "remote", "manual"]

- ["", "", False, "WinHttpQueryHeadersEx", "", "", "Argument[*6]", "remote", "manual"]

- ["", "", False, "WinHttpQueryHeadersEx", "", "", "Argument[**8]", "remote", "manual"]

- ["", "", False, "HttpReceiveHttpRequest", "", "", "Argument[*3]", "remote", "manual"]

- ["", "", False, "HttpReceiveRequestEntityBody", "", "", "Argument[*3]", "remote", "manual"]

- ["", "", False, "HttpReceiveClientCertificate", "", "", "Argument[*3]", "remote", "manual"]

- addsTo:

pack: codeql/cpp-all

extensible: summaryModel

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

# shellapi.h

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

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

# fileapi.h

- ["", "", False, "ReadFileEx", "", "", "Argument[*3].Field[@hEvent]", "Argument[4].Parameter[*2].Field[@hEvent]", "value", "manual"]

# processthreadsapi.h

- ["", "", False, "CreateThread", "", "", "Argument[@3]", "Argument[2].Parameter[@0]", "value", "manual"]

- ["", "", False, "CreateRemoteThread", "", "", "Argument[@4]", "Argument[3].Parameter[@0]", "value", "manual"]

- ["", "", False, "CreateRemoteThreadEx", "", "", "Argument[@4]", "Argument[3].Parameter[@0]", "value", "manual"]

# wdm.h

- ["", "", False, "RtlCopyVolatileMemory", "", "", "Argument[*@1]", "Argument[*@0]", "value", "manual"]

- ["", "", False, "RtlCopyDeviceMemory", "", "", "Argument[*@1]", "Argument[*@0]", "value", "manual"]

- ["", "", False, "RtlCopyMemory", "", "", "Argument[*@1]", "Argument[*@0]", "value", "manual"]

- ["", "", False, "RtlCopyMemoryNonTemporal", "", "", "Argument[*@1]", "Argument[*@0]", "value", "manual"]

- ["", "", False, "RtlCopyUnicodeString", "", "", "Argument[*1].Field[*Buffer]", "Argument[*0].Field[*Buffer]", "value", "manual"]

- ["", "", False, "RtlMoveMemory", "", "", "Argument[*@1]", "Argument[*@0]", "value", "manual"]

- ["", "", False, "RtlMoveVolatileMemory", "", "", "Argument[*@1]", "Argument[*@0]", "value", "manual"]

# winternl.h

- ["", "", False, "RtlInitUnicodeString", "", "", "Argument[*1]", "Argument[*0].Field[*Buffer]", "value", "manual"]

# winhttp.h

- ["", "", False, "WinHttpCrackUrl", "", "", "Argument[*0]", "Argument[*3]", "taint", "manual"]