hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 19:26:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

autoformat

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2020-06-26 13:59:06 +02:00
parent 7cb6516bc4
commit e4fe236d37
1 changed files with 8 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
javascript/ql/src/semmle/javascript/GlobalAccessPaths.qll
View File

@@ -447,7 +447,8 @@ module AccessPath {
ref.getBasicBlock() = bb and
// Prunes the accesses where there does not exists a read and write within the same basicblock.
// This could be more precise, but doing it like this avoids massive joins.
hasRead(bb) and hasWrite(bb)
hasRead(bb) and
hasWrite(bb)
|
ref order by any(int i | ref = bb.getNode(i))
) and
@@ -455,9 +456,9 @@ module AccessPath {
}
/**
* Holds if there exists an access-path read inside the basic-block `bb`.
*
* INTERNAL: This predicate is only meant to be used inside `rankedAccessPath`.
* Holds if there exists an access-path read inside the basic-block `bb`.
*
* INTERNAL: This predicate is only meant to be used inside `rankedAccessPath`.
*/
pragma[noinline]
private predicate hasRead(ReachableBasicBlock bb) {
@@ -465,9 +466,9 @@ module AccessPath {
}
/**
* Holds if there exists an access-path write inside the basic-block `bb`.
*
* INTERNAL: This predicate is only meant to be used inside `rankedAccessPath`.
* Holds if there exists an access-path write inside the basic-block `bb`.
*
* INTERNAL: This predicate is only meant to be used inside `rankedAccessPath`.
*/
pragma[noinline]
private predicate hasWrite(ReachableBasicBlock bb) {