Commitfb6eaaa

committed

Format

1 parente7455c0 commitfb6eaaaCopy full SHA for fb6eaaa

File tree

-9

lines changed

cpp/common/src/codingstandards/cpp/rules/donotusepointerarithmetictoaddressdifferentarrays
- DoNotUsePointerArithmeticToAddressDifferentArrays.qll

-9

lines changed

Lines changed: 9 additions & 9 deletions

Original file line number	Diff line number	Diff line change
`@@ -104,15 +104,15 @@ class CastedToBytePointer extends ArrayLikeAccess, Conversion {`
`104`	`104`	`}`
`105`	`105`	`}`
`106`	`106`
`107`		`-predicatepointerRecastBarrier(DataFlow::Nodebarrier){`
`108`		`-// Casting to a differently sized pointer`
`109`		`-exists(CStyleCastcast,Exprcasted\|`
`110`		`-cast.getExpr()=castedandcasted=barrier.asConvertedExpr()`
`111`		`-\|`
`112`		`-notcasted.getType().(PointerType).getBaseType().getSize()=`
`113`		`-cast.getType().(PointerType).getBaseType().getSize()`
`114`		`-)`
`115`		`-}`
	`107`	`+predicatepointerRecastBarrier(DataFlow::Nodebarrier){`
	`108`	`+// Casting to a differently sized pointer`
	`109`	`+exists(CStyleCastcast,Exprcasted\|`
	`110`	`+cast.getExpr()=castedandcasted=barrier.asConvertedExpr()`
	`111`	`+\|`
	`112`	`+notcasted.getType().(PointerType).getBaseType().getSize()=`
	`113`	`+cast.getType().(PointerType).getBaseType().getSize()`
	`114`	`+)`
	`115`	`+}`
`116`	`116`
`117`	`117`	`/**`
`118`	`118`	`* A data-flow configuration that tracks access to an array to type to an array index expression.`

Comments

(0)