Commitbb0e6a3

committed

Declarations8: address review comments

1 parenta9a9fe1 commitbb0e6a3Copy full SHA for bb0e6a3

File tree

-7

lines changed

-7

lines changed

Lines changed: 4 additions & 7 deletions

Original file line number	Diff line number	Diff line change
`@@ -13,19 +13,16 @@`
`13`	`13`
`14`	`14`	`import cpp`
`15`	`15`	`import codingstandards.c.cert`
`16`		`-import codingstandards.cpp.FunctionParameter`
`17`	`16`	`import semmle.code.cpp.dataflow.DataFlow`
`18`	`17`
`19`	`18`	`classSourceextendsStackVariable{`
`20`		`-Source(){notthisinstanceofFunctionParameter}`
	`19`	`+Source(){notthisinstanceofParameter}`
`21`	`20`	`}`
`22`	`21`
`23`		`-abstractclassSinkextends DataFlow::Node{}`
`24`		`-`
`25`		`-classFunctionSinkextendsSink{`
`26`		`-FunctionSink(){`
	`22`	`+classSinkextends DataFlow::Node{`
	`23`	`+Sink(){`
`27`	`24`	`//output parameter`
`28`		`-exists(FunctionParameterf\|`
	`25`	`+exists(Parameterf\|`
`29`	`26`	`f.getAnAccess()=this.(DataFlow::PostUpdateNode).getPreUpdateNode().asExpr()and`
`30`	`27`	`f.getUnderlyingType()instanceofPointerType`
`31`	`28`	`)`

Comments

(0)