hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-02 20:25:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

JS: Update TRAP

Browse Source
This commit is contained in:
Asger F
2019-10-24 17:01:39 +01:00
parent 591fffc5cc
commit c327ee5d4f
57 changed files with 10392 additions and 9848 deletions
Download Patch File Download Diff File Expand all files Collapse all files

60
javascript/extractor/tests/html/output/trap/entities.html.trap
View File

@@ -96,49 +96,55 @@ enclosingStmt(#20028,#20020)
exprContainers(#20028,#20001)
literals("Nope!","""Nope!""",#20028)
#20029=*
entry_cfg_node(#20029,#20001)
#20030=@"loc,{#10000},6,29,6,28"
locations_default(#20030,#10000,6,29,6,28)
regexpterm(#20029,14,#20028,0,"Nope!")
#20030=@"loc,{#10000},6,41,6,45"
locations_default(#20030,#10000,6,41,6,45)
hasLocation(#20029,#20030)
regexpConstValue(#20029,"Nope!")
#20031=*
exit_cfg_node(#20031,#20001)
hasLocation(#20031,#20019)
entry_cfg_node(#20031,#20001)
#20032=@"loc,{#10000},6,29,6,28"
locations_default(#20032,#10000,6,29,6,28)
hasLocation(#20031,#20032)
#20033=*
exit_cfg_node(#20033,#20001)
hasLocation(#20033,#20019)
successor(#20020,#20022)
successor(#20022,#20026)
successor(#20028,#20024)
successor(#20026,#20028)
successor(#20024,#20021)
successor(#20021,#20031)
successor(#20029,#20020)
#20032=*
xmlElements(#20032,"html",#10000,0,#10000)
#20033=@"loc,{#10000},1,1,8,7"
locations_default(#20033,#10000,1,1,8,7)
xmllocations(#20032,#20033)
successor(#20021,#20033)
successor(#20031,#20020)
#20034=*
xmlElements(#20034,"head",#20032,0,#10000)
#20035=@"loc,{#10000},2,5,4,11"
locations_default(#20035,#10000,2,5,4,11)
xmlElements(#20034,"html",#10000,0,#10000)
#20035=@"loc,{#10000},1,1,8,7"
locations_default(#20035,#10000,1,1,8,7)
xmllocations(#20034,#20035)
#20036=*
xmlElements(#20036,"body",#20032,1,#10000)
#20037=@"loc,{#10000},5,5,7,11"
locations_default(#20037,#10000,5,5,7,11)
xmlElements(#20036,"head",#20034,0,#10000)
#20037=@"loc,{#10000},2,5,4,11"
locations_default(#20037,#10000,2,5,4,11)
xmllocations(#20036,#20037)
#20038=*
xmlElements(#20038,"title",#20034,0,#10000)
#20039=@"loc,{#10000},3,9,3,32"
locations_default(#20039,#10000,3,9,3,32)
xmlElements(#20038,"body",#20034,1,#10000)
#20039=@"loc,{#10000},5,5,7,11"
locations_default(#20039,#10000,5,5,7,11)
xmllocations(#20038,#20039)
#20040=*
xmlElements(#20040,"a",#20036,0,#10000)
#20041=@"loc,{#10000},6,9,6,80"
locations_default(#20041,#10000,6,9,6,80)
xmlElements(#20040,"title",#20036,0,#10000)
#20041=@"loc,{#10000},3,9,3,32"
locations_default(#20041,#10000,3,9,3,32)
xmllocations(#20040,#20041)
#20042=*
xmlAttrs(#20042,#20040,"href","javascript:void(alert(""Nope!""))",0,#10000)
#20043=@"loc,{#10000},6,12,6,65"
locations_default(#20043,#10000,6,12,6,65)
xmlElements(#20042,"a",#20038,0,#10000)
#20043=@"loc,{#10000},6,9,6,80"
locations_default(#20043,#10000,6,9,6,80)
xmllocations(#20042,#20043)
#20044=*
xmlAttrs(#20044,#20042,"href","javascript:void(alert(""Nope!""))",0,#10000)
#20045=@"loc,{#10000},6,12,6,65"
locations_default(#20045,#10000,6,12,6,65)
xmllocations(#20044,#20045)
numlines(#10000,8,1,0)
filetype(#10000,"html")