Commit7317d11

authored

Merge pull request#860 from github/lcartey/iofstream-performance

`IOFStreamMissingPositioning`: Improve performance

2 parents214480a +614c7ab commit7317d11Copy full SHA for 7317d11

File tree

-1

lines changed

change_notes
- 2025-02-17-iofstream-performance.md
cpp/common/src/codingstandards/cpp/rules/iofstreammissingpositioning
- IOFstreamMissingPositioning.qll

-1

lines changed

Lines changed: 2 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	+-`A27-0-3`,`FIO309-C`,`FIO50-CPP`,`RULE-30-0-2` -`InterleavedInputOutputWithoutFlush.ql`,`DoNotAlternatelyIOFromStreamWithoutPositioning.ql`,`InterleavedInputOutputWithoutPosition.ql`,`ReadsAndWritesOnStreamNotSeparatedByPositioning.ql`:
	`2`	`+- Reduce evaluation time on complex codebases.`

Lines changed: 3 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -57,17 +57,19 @@ predicate sameSource(FunctionCall a, FunctionCall b) {`
`57`	`57`	`sameFileSource(a,b)`
`58`	`58`	`}`
`59`	`59`
	`60`	`+bindingset[a, b]`
`60`	`61`	`predicatesameAccessDirection(ReadWriteCalla,ReadWriteCallb){`
`61`	`62`	`a.getAccessDirection()=b.getAccessDirection()`
`62`	`63`	`}`
`63`	`64`
	`65`	`+bindingset[a, b]`
`64`	`66`	`predicateoppositeAccessDirection(ReadWriteCalla,ReadWriteCallb){`
`65`	`67`	`notsameAccessDirection(a,b)`
`66`	`68`	`}`
`67`	`69`
`68`	`70`	`/**`
`69`	`71`	`* A write operation reaching a read and vice versa`
`70`		`- * without interveningfilepositioning`
	`72`	`+ * without interveningfile positioning calls.`
`71`	`73`	`*/`
`72`	`74`	`ControlFlowNodereachesInExOperator(ReadWriteCallop){`
`73`	`75`	`result=op`

Comments

(0)