FilesExpand file tree

codeql-cli-2.27.3

/

ExternalArtifact.qll

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

92 lines (70 loc) · 3.08 KB

codeql-cli-2.27.3

/

ExternalArtifact.qll

Copy path

Top

File metadata and controls

• Code
• Blame

92 lines (70 loc) · 3.08 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

/**

* Provides classes for working with external data.

*/

import python

class ExternalDefect extends @externalDefect {

string getQueryPath() {

exists(string path |

externalDefects(this, path, _, _, _) and

result = path.replaceAll("\\", "/")

)

}

string getMessage() { externalDefects(this, _, _, result, _) }

float getSeverity() { externalDefects(this, _, _, _, result) }

Location getLocation() { externalDefects(this, _, result, _, _) }

/** Gets a textual representation of this element. */

string toString() {

result = this.getQueryPath() + ": " + this.getLocation() + " - " + this.getMessage()

}

}

class ExternalMetric extends @externalMetric {

string getQueryPath() { externalMetrics(this, result, _, _) }

float getValue() { externalMetrics(this, _, _, result) }

Location getLocation() { externalMetrics(this, _, result, _) }

/** Gets a textual representation of this element. */

string toString() {

result = this.getQueryPath() + ": " + this.getLocation() + " - " + this.getValue()

}

}

/**

* An external data item.

*/

class ExternalData extends @externalDataElement {

/** Gets the path of the file this data was loaded from. */

string getDataPath() { externalData(this, result, _, _) }

/**

* Gets the path of the file this data was loaded from, with its

* extension replaced by `.ql`.

*/

string getQueryPath() { result = this.getDataPath().regexpReplaceAll("\\.[^.]*$", ".ql") }

/** Gets the number of fields in this data item. */

int getNumFields() { result = 1 + max(int i | externalData(this, _, i, _) | i) }

/** Gets the value of the field at position `index` of this data item. */

string getField(int index) { externalData(this, _, index, result) }

/** Gets the integer value of the field at position `index` of this data item. */

int getFieldAsInt(int index) { result = this.getField(index).toInt() }

/** Gets the floating-point value of the field at position `index` of this data item. */

float getFieldAsFloat(int index) { result = this.getField(index).toFloat() }

/** Gets the value of the field at position `index` of this data item, interpreted as a date. */

date getFieldAsDate(int index) { result = this.getField(index).toDate() }

/** Gets a textual representation of this data item. */

string toString() { result = this.getQueryPath() + ": " + this.buildTupleString(0) }

/** Gets a textual representation of this data item, starting with the field at position `start`. */

private string buildTupleString(int start) {

start = this.getNumFields() - 1 and result = this.getField(start)

or

start < this.getNumFields() - 1 and

result = this.getField(start) + "," + this.buildTupleString(start + 1)

}

}

/**

* External data with a location, and a message, as produced by tools that used to produce QLDs.

*/

class DefectExternalData extends ExternalData {

DefectExternalData() {

this.getField(0).regexpMatch("\\w+://.*:[0-9]+:[0-9]+:[0-9]+:[0-9]+$") and

this.getNumFields() = 2

}

string getURL() { result = this.getField(0) }

string getMessage() { result = this.getField(1) }

}