GeezerVison

The World Wide Web, restored to 800 pixels of glory.

GeezerVison is showing github.com — C++: Clean up QL. · ramdcoder/codeql@e487832

File tree

Expand file treeCollapse file tree

Open diff view settings

Filter options

cpp/ql/lib/semmle/code/cpp/commons
- NullTermination.qll

Expand file treeCollapse file tree

Open diff view settings

Collapse file

`‎cpp/ql/lib/semmle/code/cpp/commons/NullTermination.qll‎`

Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/commons/NullTermination.qll

+4-6Lines changed: 4 additions & 6 deletions

Original file line number	Diff line number	Diff line change
`@@ -21,12 +21,10 @@ predicate mayAddNullTerminator(Expr e, VariableAccess va) {`
`21`	`21`	`)`
`22`	`22`	`or`
`23`	`23`	`// Assignment to another stack variable`
`24`		`- exists(Expr e0 \|`
`25`		`- exists(StackVariable v0, Expr val \|`
`26`		- exprDefinition(v0, e, val) and // e resembles `v0 := val`
`27`		`- val.getAChild*() = va and`
`28`		`- mayAddNullTerminator(e0, v0.getAnAccess())`
`29`		`- )`
	`24`	`+ exists(StackVariable v0, Expr val \|`
	`25`	+ exprDefinition(v0, e, val) and // e resembles `v0 := val`
	`26`	`+ val.getAChild*() = va and`
	`27`	`+ mayAddNullTerminator(_, v0.getAnAccess())`
`30`	`28`	`)`
`31`	`29`	`or`
`32`	`30`	`// Assignment to non-stack variable`

0 commit comments

Comments

0 (0)

You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.