C++: "IR" means "Aliased SSA IR"

This change makes the public IR.qll module resolve to the flavor of the IR that we want queries to use. Today, this is the aliased SSA flavor of the IR. Should we add additional IR iterations in the future, we'll update IR.qll to resolve to whichever one we consider the default.

I moved the PrintIR.ql and IRSanity.ql queries into the internal directories of the corresponding flavors. There's still a PrintIR.ql and an IRSanity.ql in the public IR directory, which use the same IR flavor as the public IR.qll.
This commit is contained in:
Dave Bartolomeo
2018-08-30 13:46:43 -07:00
parent 9fd5f26e2e
commit 97cfbd9488
26 changed files with 33 additions and 20 deletions

View File

@@ -1,5 +1,5 @@
import default
import semmle.code.cpp.ir.SSAIR
import semmle.code.cpp.ir.internal.ssa_ir.IR
import semmle.code.cpp.ir.internal.IntegerConstant
language[monotonicAggregates]

View File

@@ -1 +1 @@
semmle/code/cpp/ir/AliasedSSAIRSanity.ql
semmle/code/cpp/ir/IRSanity.ql

View File

@@ -1 +0,0 @@
semmle/code/cpp/ir/IRSanity.ql

View File

@@ -0,0 +1 @@
semmle/code/cpp/ir/internal/raw_ir/IRSanity.ql

View File

@@ -1 +1 @@
semmle/code/cpp/ir/SSAIRSanity.ql
semmle/code/cpp/ir/internal/ssa_ir/IRSanity.ql

View File

@@ -1 +1 @@
semmle/code/cpp/ir/PrintAliasedSSAIR.ql
semmle/code/cpp/ir/PrintIR.ql

View File

@@ -1 +0,0 @@
semmle/code/cpp/ir/PrintIR.ql

View File

@@ -0,0 +1 @@
semmle/code/cpp/ir/internal/raw_ir/PrintIR.ql

View File

@@ -1,5 +1,5 @@
import default
import semmle.code.cpp.ir.SSAIR
import semmle.code.cpp.ir.IR
from FunctionIR funcIR
select funcIR.toString(), count(funcIR.getABlock())

View File

@@ -1 +1 @@
semmle/code/cpp/ir/PrintSSAIR.ql
semmle/code/cpp/ir/internal/ssa_ir/PrintIR.ql