mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
64 lines
1.7 KiB
Plaintext
64 lines
1.7 KiB
Plaintext
#10000=@"/nonstandard.js;sourcefile"
|
|
files(#10000,"/nonstandard.js")
|
|
#10001=@"/;folder"
|
|
folders(#10001,"/")
|
|
containerparent(#10001,#10000)
|
|
#10002=@"loc,{#10000},0,0,0,0"
|
|
locations_default(#10002,#10000,0,0,0,0)
|
|
hasLocation(#10000,#10002)
|
|
#20000=@"global_scope"
|
|
scopes(#20000,0)
|
|
#20001=@"script;{#10000},1,1"
|
|
#20002=*
|
|
lines(#20002,#20001,"/dice/y;","")
|
|
#20003=@"loc,{#10000},1,1,1,8"
|
|
locations_default(#20003,#10000,1,1,1,8)
|
|
hasLocation(#20002,#20003)
|
|
numlines(#20001,1,1,0)
|
|
#20004=*
|
|
tokeninfo(#20004,5,#20001,0,"/dice/y")
|
|
#20005=@"loc,{#10000},1,1,1,7"
|
|
locations_default(#20005,#10000,1,1,1,7)
|
|
hasLocation(#20004,#20005)
|
|
#20006=*
|
|
tokeninfo(#20006,8,#20001,1,";")
|
|
#20007=@"loc,{#10000},1,8,1,8"
|
|
locations_default(#20007,#10000,1,8,1,8)
|
|
hasLocation(#20006,#20007)
|
|
#20008=*
|
|
tokeninfo(#20008,0,#20001,2,"")
|
|
#20009=@"loc,{#10000},1,9,1,8"
|
|
locations_default(#20009,#10000,1,9,1,8)
|
|
hasLocation(#20008,#20009)
|
|
toplevels(#20001,0)
|
|
hasLocation(#20001,#20003)
|
|
#20010=*
|
|
stmts(#20010,2,#20001,0,"/dice/y;")
|
|
hasLocation(#20010,#20003)
|
|
stmt_containers(#20010,#20001)
|
|
#20011=*
|
|
exprs(#20011,5,#20010,0,"/dice/y")
|
|
hasLocation(#20011,#20005)
|
|
enclosing_stmt(#20011,#20010)
|
|
expr_containers(#20011,#20001)
|
|
literals("/dice/y","/dice/y",#20011)
|
|
#20012=*
|
|
regexpterm(#20012,14,#20011,0,"dice")
|
|
#20013=@"loc,{#10000},1,2,1,5"
|
|
locations_default(#20013,#10000,1,2,1,5)
|
|
hasLocation(#20012,#20013)
|
|
regexp_const_value(#20012,"dice")
|
|
#20014=*
|
|
entry_cfg_node(#20014,#20001)
|
|
#20015=@"loc,{#10000},1,1,1,0"
|
|
locations_default(#20015,#10000,1,1,1,0)
|
|
hasLocation(#20014,#20015)
|
|
#20016=*
|
|
exit_cfg_node(#20016,#20001)
|
|
hasLocation(#20016,#20009)
|
|
successor(#20010,#20011)
|
|
successor(#20011,#20016)
|
|
successor(#20014,#20010)
|
|
numlines(#10000,1,1,0)
|
|
filetype(#10000,"javascript")
|