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

Uncommenting out generic dataflow

Browse Source
This commit is contained in:
REDMOND\brodes
2025-03-10 16:12:53 -04:00
parent c83cb533ce
commit f72efa638a
1 changed files with 20 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

40
cpp/ql/lib/experimental/Quantum/Language.qll
View File

@@ -22,30 +22,30 @@ abstract class AdditionalFlowInputStep extends DataFlow::Node {
}
// /**
// * Generic data source to node input configuration
// */
// module GenericDataSourceUniversalFlowConfig implements DataFlow::ConfigSig {
// predicate isSource(DataFlow::Node source) {
// source = any(Crypto::GenericDataSourceInstance i).getOutputNode()
// }
/**
* Generic data source to node input configuration
*/
module GenericDataSourceUniversalFlowConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node source) {
source = any(Crypto::GenericDataSourceInstance i).getOutputNode()
}
// predicate isSink(DataFlow::Node sink) {
// sink = any(Crypto::FlowAwareElement other).getInputNode()
// }
predicate isSink(DataFlow::Node sink) {
sink = any(Crypto::FlowAwareElement other).getInputNode()
}
// predicate isBarrierOut(DataFlow::Node node) {
// node = any(Crypto::FlowAwareElement element).getInputNode()
// }
predicate isBarrierOut(DataFlow::Node node) {
node = any(Crypto::FlowAwareElement element).getInputNode()
}
// predicate isBarrierIn(DataFlow::Node node) {
// node = any(Crypto::FlowAwareElement element).getOutputNode()
// }
predicate isBarrierIn(DataFlow::Node node) {
node = any(Crypto::FlowAwareElement element).getOutputNode()
}
// predicate isAdditionalFlowStep(DataFlow::Node node1, DataFlow::Node node2) {
// node1.(AdditionalFlowInputStep).getOutput() = node2
// }
// }
predicate isAdditionalFlowStep(DataFlow::Node node1, DataFlow::Node node2) {
node1.(AdditionalFlowInputStep).getOutput() = node2
}
}