FilesExpand file tree

unified/modified-expr

/

android.os.model.json

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

154 lines (154 loc) · 16 KB

unified/modified-expr

/

android.os.model.json

Copy path

Top

File metadata and controls

• Code
• Blame

154 lines (154 loc) · 16 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

62

63

64

65

66

67

68

69

70

71

72

73

74

75

76

77

78

79

80

81

82

83

84

85

86

87

88

89

90

91

92

93

94

95

96

97

98

99

100

101

102

103

104

105

106

107

108

109

110

111

112

113

114

115

116

117

118

119

120

121

122

123

124

125

126

127

128

129

130

131

132

133

134

135

136

137

138

139

140

141

142

143

144

145

146

147

148

149

150

151

152

153

154

{

"extensions": [

{

"addsTo": {

"pack": "codeql/java-all",

"extensible": "sourceModel"

},

"data": [

["android.os", "Environment", false, "getExternalStorageDirectory", "()", "", "ReturnValue", "android-external-storage-dir", "manual"],

["android.os", "Environment", false, "getExternalStoragePublicDirectory", "(String)", "", "ReturnValue", "android-external-storage-dir", "manual"]

]

},

{

"addsTo": {

"pack": "codeql/java-all",

"extensible": "summaryModel"

},

"data": [

["android.os", "BaseBundle", true, "get", "(String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"],

["android.os", "BaseBundle", true, "getString", "(String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"],

["android.os", "BaseBundle", true, "getString", "(String,String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"],

["android.os", "BaseBundle", true, "getString", "(String,String)", "", "Argument[1]", "ReturnValue", "value", "manual"],

["android.os", "BaseBundle", true, "getStringArray", "(String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"],

["android.os", "BaseBundle", true, "keySet", "()", "", "Argument[this].MapKey", "ReturnValue.Element", "value", "manual"],

["android.os", "BaseBundle", true, "putAll", "(PersistableBundle)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"],

["android.os", "BaseBundle", true, "putAll", "(PersistableBundle)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"],

["android.os", "BaseBundle", true, "putBoolean", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "BaseBundle", true, "putBooleanArray", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "BaseBundle", true, "putDouble", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "BaseBundle", true, "putDoubleArray", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "BaseBundle", true, "putInt", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "BaseBundle", true, "putIntArray", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "BaseBundle", true, "putLong", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "BaseBundle", true, "putLongArray", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "BaseBundle", true, "putString", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "BaseBundle", true, "putString", "", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"],

["android.os", "BaseBundle", true, "putStringArray", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "BaseBundle", true, "putStringArray", "", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"],

["android.os", "Bundle", false, "Bundle", "(Bundle)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", false, "Bundle", "(Bundle)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"],

["android.os", "Bundle", false, "Bundle", "(PersistableBundle)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", false, "Bundle", "(PersistableBundle)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"],

["android.os", "Bundle", true, "clone", "()", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"],

["android.os", "Bundle", true, "clone", "()", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"],

// Model for Bundle.deepCopy is not fully precise, as some map values aren't copied by value

["android.os", "Bundle", true, "deepCopy", "()", "", "Argument[this].MapKey", "ReturnValue.MapKey", "value", "manual"],

["android.os", "Bundle", true, "deepCopy", "()", "", "Argument[this].MapValue", "ReturnValue.MapValue", "value", "manual"],

["android.os", "Bundle", true, "getBinder", "(String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"],

["android.os", "Bundle", true, "getBundle", "(String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"],

["android.os", "Bundle", true, "getByteArray", "(String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"],

["android.os", "Bundle", true, "getCharArray", "(String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"],

["android.os", "Bundle", true, "getCharSequence", "(String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"],

["android.os", "Bundle", true, "getCharSequence", "(String,CharSequence)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"],

["android.os", "Bundle", true, "getCharSequence", "(String,CharSequence)", "", "Argument[1]", "ReturnValue", "value", "manual"],

["android.os", "Bundle", true, "getCharSequenceArray", "(String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"],

["android.os", "Bundle", true, "getCharSequenceArrayList", "(String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"],

["android.os", "Bundle", true, "getParcelable", "(String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"],

["android.os", "Bundle", true, "getParcelableArray", "(String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"],

["android.os", "Bundle", true, "getParcelableArrayList", "(String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"],

["android.os", "Bundle", true, "getSerializable", "(String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"],

["android.os", "Bundle", true, "getSparseParcelableArray", "(String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"],

["android.os", "Bundle", true, "getStringArrayList", "(String)", "", "Argument[this].MapValue", "ReturnValue", "value", "manual"],

["android.os", "Bundle", true, "putAll", "(Bundle)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putAll", "(Bundle)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"],

["android.os", "Bundle", true, "putBinder", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putBinder", "", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"],

["android.os", "Bundle", true, "putBundle", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putBundle", "", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"],

["android.os", "Bundle", true, "putByte", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putByteArray", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putByteArray", "", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"],

["android.os", "Bundle", true, "putChar", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putCharArray", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putCharArray", "", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"],

["android.os", "Bundle", true, "putCharSequence", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putCharSequence", "", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"],

["android.os", "Bundle", true, "putCharSequenceArray", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putCharSequenceArray", "", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"],

["android.os", "Bundle", true, "putCharSequenceArrayList", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putCharSequenceArrayList", "", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"],

["android.os", "Bundle", true, "putFloat", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putFloatArray", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putIntegerArrayList", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putParcelable", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putParcelable", "", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"],

["android.os", "Bundle", true, "putParcelableArray", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putParcelableArray", "", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"],

["android.os", "Bundle", true, "putParcelableArrayList", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putParcelableArrayList", "", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"],

["android.os", "Bundle", true, "putSerializable", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putSerializable", "", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"],

["android.os", "Bundle", true, "putShort", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putShortArray", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putSize", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putSizeF", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putSparseParcelableArray", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putSparseParcelableArray", "", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"],

["android.os", "Bundle", true, "putStringArrayList", "", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"],

["android.os", "Bundle", true, "putStringArrayList", "", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"],

["android.os", "Bundle", true, "readFromParcel", "", "", "Argument[0]", "Argument[this].MapKey", "taint", "manual"],

["android.os", "Bundle", true, "readFromParcel", "", "", "Argument[0]", "Argument[this].MapValue", "taint", "manual"],

["android.os", "Parcel", false, "readArray", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readArrayList", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readBinderArray", "", "", "Argument[this]", "Argument[0]", "taint", "manual"],

["android.os", "Parcel", false, "readBinderList", "", "", "Argument[this]", "Argument[0]", "taint", "manual"],

["android.os", "Parcel", false, "readBoolean", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readBooleanArray", "", "", "Argument[this]", "Argument[0]", "taint", "manual"],

["android.os", "Parcel", false, "readBundle", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readByte", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readByteArray", "", "", "Argument[this]", "Argument[0]", "taint", "manual"],

["android.os", "Parcel", false, "readCharArray", "", "", "Argument[this]", "Argument[0]", "taint", "manual"],

["android.os", "Parcel", false, "readDouble", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readDoubleArray", "", "", "Argument[this]", "Argument[0]", "taint", "manual"],

["android.os", "Parcel", false, "readFileDescriptor", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readFloat", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readFloatArray", "", "", "Argument[this]", "Argument[0]", "taint", "manual"],

["android.os", "Parcel", false, "readHashMap", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readInt", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readIntArray", "", "", "Argument[this]", "Argument[0]", "taint", "manual"],

["android.os", "Parcel", false, "readList", "", "", "Argument[this]", "Argument[0]", "taint", "manual"],

["android.os", "Parcel", false, "readLong", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readLongArray", "", "", "Argument[this]", "Argument[0]", "taint", "manual"],

["android.os", "Parcel", false, "readMap", "", "", "Argument[this]", "Argument[0]", "taint", "manual"],

["android.os", "Parcel", false, "readParcelable", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readParcelableArray", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readParcelableList", "", "", "Argument[this]", "Argument[0]", "taint", "manual"],

["android.os", "Parcel", false, "readParcelableList", "", "", "Argument[0]", "ReturnValue", "value", "manual"],

["android.os", "Parcel", false, "readPersistableBundle", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readSerializable", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readSize", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readSizeF", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readSparseArray", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readSparseBooleanArray", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readString", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readStringArray", "", "", "Argument[this]", "Argument[0]", "taint", "manual"],

["android.os", "Parcel", false, "readStringList", "", "", "Argument[this]", "Argument[0]", "taint", "manual"],

["android.os", "Parcel", false, "readStrongBinder", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readTypedArray", "", "", "Argument[this]", "Argument[0]", "taint", "manual"],

["android.os", "Parcel", false, "readTypedList", "", "", "Argument[this]", "Argument[0]", "taint", "manual"],

["android.os", "Parcel", false, "readTypedObject", "", "", "Argument[this]", "ReturnValue", "taint", "manual"],

["android.os", "Parcel", false, "readValue", "", "", "Argument[this]", "ReturnValue", "taint", "manual"]

]

},

{

"addsTo": {

"pack": "codeql/java-all",

"extensible": "sinkModel"

},

"data": [

["android.os", "ParcelFileDescriptor", false, "open", "", "", "Argument[0]", "path-injection", "manual"]

]

}

]

}