FilesExpand file tree

 main

/

Variables.qll

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

93 lines (74 loc) · 2.68 KB

 main

/

Variables.qll

Copy path

Top

File metadata and controls

• Code
• Blame

93 lines (74 loc) · 2.68 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

import python

/** A variable, either a global or local variable (including parameters) */

class Variable extends @py_variable {

Variable() {

exists(string name |

variable(this, _, name) and

not name = "*" and

not name = "$"

)

}

/** Gets the identifier (name) of this variable */

string getId() { variable(this, _, result) }

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

string toString() { result = "Variable " + this.getId() }

/** Gets an access (load or store) of this variable */

Name getAnAccess() {

result = this.getALoad()

or

result = this.getAStore()

}

/** Gets a load of this variable */

Name getALoad() { result.uses(this) }

/** Gets a store of this variable */

Name getAStore() { result.defines(this) }

/** Gets a use of this variable */

NameNode getAUse() { result.uses(this) }

/** Gets the scope of this variable */

Scope getScope() { variable(this, result, _) }

/**

* Whether there is an access to this variable outside

* of its own scope. Usually occurs in nested functions

* or for global variables.

*/

predicate escapes() { exists(Name n | n = this.getAnAccess() | n.getScope() != this.getScope()) }

/** Whether this variable is a parameter */

predicate isParameter() { none() }

predicate isSelf() { none() }

}

/** A local (function or class) variable */

class LocalVariable extends Variable {

LocalVariable() {

exists(Scope s | s = this.getScope() | s instanceof Function or s instanceof Class)

}

override string toString() { result = "Local Variable " + this.getId() }

/** Whether this variable is a parameter */

override predicate isParameter() { exists(Parameter p | this.getAnAccess() = p) }

/** Holds if this variable is the first parameter of a method. It is not necessarily called "self" */

override predicate isSelf() {

exists(Function f, Parameter self |

this.getAnAccess() = self and

f.isMethod() and

f.getArg(0) = self

)

}

}

/**

* A local variable that uses "load fast" semantics, for lookup:

* If the variable is undefined, then raise an exception.

*/

class FastLocalVariable extends LocalVariable {

FastLocalVariable() { this.getScope() instanceof FastLocalsFunction }

}

/**

* A local variable that uses "load name" semantics, for lookup:

* If the variable is undefined, then lookup the value in globals().

*/

class NameLocalVariable extends LocalVariable {

NameLocalVariable() { not this instanceof FastLocalVariable }

}

/** A global (module-level) variable */

class GlobalVariable extends Variable {

GlobalVariable() { exists(Module m | m = this.getScope()) }

override string toString() { result = "Global Variable " + this.getId() }

}