Commitf6a9d30

committed

A18-1-4: Address compiler compatibility issue

libc++ defines release inline in the header, which causes extraneous paths tobe reported by CodeQL. Adjust to summarize and exclude.

1 parent14e4193 commitf6a9d30Copy full SHA for f6a9d30

File tree

+31

-1

lines changed

+31

-1

lines changed

Lines changed: 18 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -50,6 +50,24 @@ class SingleObjectSmartPointerArrayConstructionConfig extends TaintTracking::Con`
`50`	`50`	`)`
`51`	`51`	`)`
`52`	`52`	`}`
	`53`	`+`
	`54`	`+overridepredicateisAdditionalTaintStep(DataFlow::Nodesource, DataFlow::Nodesink){`
	`55`	`+exists(AutosarUniquePointersp,FunctionCallfc\|`
	`56`	`+fc=sp.getAReleaseCall()and`
	`57`	`+source.asExpr()=fc.getQualifier()and`
	`58`	`+sink.asExpr()=fc`
	`59`	`+)`
	`60`	`+}`
	`61`	`+`
	`62`	`+overridepredicateisSanitizerIn(DataFlow::Nodenode){`
	`63`	`+// Exclude flow into header files outside the source archive which are summarized by the`
	`64`	`+// additional taint steps above.`
	`65`	`+exists(AutosarUniquePointersp\|`
	`66`	`+sp.getAReleaseCall().getTarget()=node.asExpr().(ThisExpr).getEnclosingFunction()`
	`67`	`+\|`
	`68`	`+notexists(node.getLocation().getFile().getRelativePath())`
	`69`	`+)`
	`70`	`+}`
`53`	`71`	`}`
`54`	`72`
`55`	`73`	`from`

Lines changed: 5 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -70,6 +70,11 @@ abstract class AutosarSmartPointer extends Class {`
`70`	`70`
`71`	`71`	`classAutosarUniquePointerextendsAutosarSmartPointer{`
`72`	`72`	`AutosarUniquePointer(){this.hasQualifiedName("std","unique_ptr")}`
	`73`	`+`
	`74`	`+FunctionCallgetAReleaseCall(){`
	`75`	`+result.getTarget().hasName("release")and`
	`76`	`+result.getQualifier().getType().stripType()=this`
	`77`	`+}`
`73`	`78`	`}`
`74`	`79`
`75`	`80`	`classAutosarSharedPointerextendsAutosarSmartPointer{`

Lines changed: 8 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -57,13 +57,20 @@ template <class T, class D> class unique_ptr<T[], D> {`
`57`	`57`	`pointerget()constnoexcept;`
`58`	`58`	`explicitoperatorbool()constnoexcept;`
`59`	`59`
`60`		`- pointerrelease()noexcept;`
	`60`	`+ pointerrelease()noexcept {`
	`61`	`+ pointer __p =get();`
	`62`	`+ _M_p =pointer();`
	`63`	`+return __p;`
	`64`	`+ }`
`61`	`65`	`voidreset(pointer p = pointer())noexcept;`
`62`	`66`	`voidreset(nullptr_t)noexcept;`
`63`	`67`	`template<classU>voidreset(U) = delete;`
`64`	`68`	`voidswap(unique_ptr &u)noexcept;`
`65`	`69`	`unique_ptr(const unique_ptr &) =delete;`
`66`	`70`	`unique_ptr &operator=(const unique_ptr &) =delete;`
	`71`	`+`
	`72`	`+private:`
	`73`	`+ pointer _M_p;`
`67`	`74`	`};`
`68`	`75`
`69`	`76`	`template<classT,class... Args> unique_ptr<T>make_unique(Args &&...args);`

Comments

(0)