FilesExpand file tree

unified/modified-expr

/

empty.model.json

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

48 lines (48 loc) · 936 Bytes

unified/modified-expr

/

empty.model.json

Copy path

Top

File metadata and controls

• Code
• Blame

48 lines (48 loc) · 936 Bytes

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

{

"extensions": [

// Make sure that the extensible model predicates have at least one definition

// to avoid errors about undefined extensionals.

{

"addsTo": {

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

"extensible": "sourceModel"

},

"data": []

},

{

"addsTo": {

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

"extensible": "sinkModel"

},

"data": []

},

{

"addsTo": {

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

"extensible": "summaryModel"

},

"data": []

},

{

"addsTo": {

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

"extensible": "barrierModel"

},

"data": []

},

{

"addsTo": {

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

"extensible": "barrierGuardModel"

},

"data": []

},

{

"addsTo": {

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

"extensible": "neutralModel"

},

"data": []

}

]

}