Commit1e946f8

committed

wip

1 parenteb48820 commit1e946f8Copy full SHA for 1e946f8

File tree

+18

-7

lines changed

+18

-7

lines changed

Lines changed: 2 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -21,10 +21,10 @@ class IncludeFilteredSummarizedCallable extends IncludeSummarizedCallable {`
`21`	`21`	`overridepredicaterelevantSummary(`
`22`	`22`	`SummaryComponentStackinput,SummaryComponentStackoutput,booleanpreservesValue,Provenancep`
`23`	`23`	`){`
`24`		`-this.propagatesFlow(input,output,preservesValue,p, _)and`
	`24`	`+this.propagatesFlow(input,output,preservesValue,p, _, _)and`
`25`	`25`	`notexists(IncludeSummarizedCallablersc\|`
`26`	`26`	`isBaseCallableOrPrototype(rsc)and`
`27`		`-rsc.propagatesFlow(input,output,preservesValue, _, _)and`
	`27`	`+rsc.propagatesFlow(input,output,preservesValue, _, _, _)and`
`28`	`28`	`this.(UnboundCallable).overridesOrImplementsUnbound(rsc)`
`29`	`29`	`)`
`30`	`30`	`}`

Lines changed: 8 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -8,6 +8,8 @@ private import semmle.javascript.dataflow.internal.FlowSummaryPrivate`
`8`	`8`	`privateimport semmle.javascript.dataflow.internal.sharedlib.DataFlowImplCommonas DataFlowImplCommon`
`9`	`9`	`privateimport semmle.javascript.dataflow.internal.DataFlowPrivate`
`10`	`10`
	`11`	`+classProvenance= Impl::Public::Provenance;`
	`12`	`+`
`11`	`13`	`/**`
`12`	`14`	`* A model for a function that can propagate data flow.`
`13`	`15`	`*`
`@@ -67,9 +69,13 @@ abstract class SummarizedCallable extends LibraryCallable, Impl::Public::Summari`
`67`	`69`	`predicatepropagatesFlow(stringinput,stringoutput,booleanpreservesValue){none()}`
`68`	`70`
`69`	`71`	`overridepredicatepropagatesFlow(`
`70`		`-stringinput,stringoutput,booleanpreservesValue,stringmodel`
	`72`	`+stringinput,stringoutput,booleanpreservesValue,Provenanceprovenance,booleanisExact,`
	`73`	`+stringmodel`
`71`	`74`	`){`
`72`		`-this.propagatesFlow(input,output,preservesValue)andmodel=this`
	`75`	`+this.propagatesFlow(input,output,preservesValue)and`
	`76`	`+provenance="manual"and`
	`77`	`+model=thisand`
	`78`	`+isExact=true`
`73`	`79`	`}`
`74`	`80`
`75`	`81`	`/**`

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -69,7 +69,7 @@ private module SummaryFlowConfig implements Input {`
`69`	`69`	`predicatepropagatesFlow(`
`70`	`70`	`SummaryComponentStackinput,SummaryComponentStackoutput,booleanpreservesValue`
`71`	`71`	`){`
`72`		`-super.propagatesFlow(input,output,preservesValue, _)`
	`72`	`+super.propagatesFlow(input,output,preservesValue, _, _, _)`
`73`	`73`	`}`
`74`	`74`
`75`	`75`	`stringtoString(){result=super.toString()}`

Lines changed: 7 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -62,9 +62,14 @@ private class SummarizedCallableFromModel extends DataFlow::SummarizedCallable {`
`62`	`62`	`override DataFlow::InvokeNodegetACall(){ ModelOutput::resolvedSummaryBase(type,path,result)}`
`63`	`63`
`64`	`64`	`overridepredicatepropagatesFlow(`
`65`		`-stringinput,stringoutput,booleanpreservesValue,stringmodel`
	`65`	`+stringinput,stringoutput,booleanpreservesValue, DataFlow::Provenanceprovenance,`
	`66`	`+booleanisExact,stringmodel`
`66`	`67`	`){`
`67`		`-exists(stringkind\| ModelOutput::relevantSummaryModel(type,path,input,output,kind,model)\|`
	`68`	`+exists(stringkind\|`
	`69`	`+ ModelOutput::relevantSummaryModel(type,path,input,output,kind,model)and`
	`70`	`+provenance="manual"and`
	`71`	`+isExact=true`
	`72`	`+\|`
`68`	`73`	`kind="value"and`
`69`	`74`	`preservesValue=true`
`70`	`75`	`or`

Comments

(0)