Skip to content

Commit 96918a9

Browse files
jketemajketema
committed
C++: Map operand nodes that are only used once onto the related instruction node
1 parent d108185 commit 96918a9

File tree

7 files changed

+51
-48
lines changed

7 files changed

+51
-48
lines changed

‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll‎

Lines changed: 21 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,12 @@ private module Cached {
1818
// node for it.
1919
(not i.getResultType() instanceof VoidType or i.isGLValue())
2020
} or
21-
TOperandNode0(Operand op) { not Ssa::ignoreOperand(op) }
21+
TMultipleUseOperandNode0(Operand op) {
22+
not Ssa::ignoreOperand(op) and not exists(Ssa::getIRRepresentationOfOperand(op))
23+
} or
24+
TSingleUseOperandNode0(Operand op) {
25+
not Ssa::ignoreOperand(op) and exists(Ssa::getIRRepresentationOfOperand(op))
26+
}
2227
}
2328

2429
private import Cached
@@ -92,11 +97,9 @@ class InstructionNode0 extends Node0Impl, TInstructionNode0 {
9297
/**
9398
* An operand, viewed as a node in a data flow graph.
9499
*/
95-
class OperandNode0 extends Node0Impl, TOperandNode0 {
100+
abstract class OperandNode0 extends Node0Impl {
96101
Operand op;
97102

98-
OperandNode0() { this = TOperandNode0(op) }
99-
100103
/** Gets the operand corresponding to this node. */
101104
Operand getOperand() { result = op }
102105

@@ -111,6 +114,20 @@ class OperandNode0 extends Node0Impl, TOperandNode0 {
111114
override string toStringImpl() { result = this.getOperand().toString() }
112115
}
113116

117+
/**
118+
* An operand that is used multiple times, viewed as a node in a data flow graph.
119+
*/
120+
class MultipleUseOperandNode0 extends OperandNode0, TMultipleUseOperandNode0 {
121+
MultipleUseOperandNode0() { this = TMultipleUseOperandNode0(op) }
122+
}
123+
124+
/**
125+
* An operand that is used only once, viewed as a node in a data flow graph.
126+
*/
127+
class SingleUseOperandNode0 extends OperandNode0, TSingleUseOperandNode0 {
128+
SingleUseOperandNode0() { this = TSingleUseOperandNode0(op) }
129+
}
130+
114131
/**
115132
* INTERNAL: Do not use.
116133
*

‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll‎

Lines changed: 16 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -383,10 +383,16 @@ private class Node0 extends Node, TNode0 {
383383
* An instruction, viewed as a node in a data flow graph.
384384
*/
385385
class InstructionNode extends Node0 {
386-
override InstructionNode0 node;
387386
Instruction instr;
388387

389-
InstructionNode() { instr = node.getInstruction() }
388+
InstructionNode() {
389+
node.(InstructionNode0).getInstruction() = instr
390+
or
391+
exists(Operand op |
392+
instr = Ssa::getIRRepresentationOfOperand(op) and
393+
node.(SingleUseOperandNode0).getOperand() = op
394+
)
395+
}
390396

391397
/** Gets the instruction corresponding to this node. */
392398
Instruction getInstruction() { result = instr }
@@ -404,7 +410,7 @@ class OperandNode extends Node, Node0 {
404410
OperandNode() { op = node.getOperand() }
405411

406412
/** Gets the operand corresponding to this node. */
407-
Operand getOperand() { result = node.getOperand() }
413+
Operand getOperand() { result = op }
408414

409415
override string toStringImpl() { result = op.getDef().getAst().toString() }
410416
}
@@ -1439,7 +1445,13 @@ private module Cached {
14391445
simpleInstructionLocalFlowStep(nodeFrom.asOperand(), nodeTo.asInstruction())
14401446
or
14411447
// Instruction -> Operand flow
1442-
simpleOperandLocalFlowStep(nodeFrom.asInstruction(), nodeTo.asOperand())
1448+
exists(Instruction iFrom, Operand opTo |
1449+
iFrom = nodeFrom.asInstruction() and opTo = nodeTo.asOperand()
1450+
|
1451+
simpleOperandLocalFlowStep(iFrom, opTo) and
1452+
// Omit when the instruction node also represents the operand.
1453+
not iFrom = Ssa::getIRRepresentationOfOperand(opTo)
1454+
)
14431455
or
14441456
// Phi node -> Node flow
14451457
Ssa::fromPhiNode(nodeFrom, nodeTo)

‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll‎

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -719,6 +719,18 @@ private module Cached {
719719
)
720720
}
721721

722+
/**
723+
* Holds if the underlying IR has a suitable instruction to represent a value
724+
* that would otherwise need to be represented by a dedicated `OperandNode` value.
725+
*
726+
* Such operands do not create new `OperandNode` values, but are
727+
* instead associated with the instruction returned by this predicate.
728+
*/
729+
cached
730+
Instruction getIRRepresentationOfOperand(Operand operand) {
731+
operand = unique( | | result.getAUse())
732+
}
733+
722734
/**
723735
* Holds if the underlying IR has a suitable operand to represent a value
724736
* that would otherwise need to be represented by a dedicated `RawIndirectOperand` value.

‎cpp/ql/test/query-tests/Security/CWE/CWE-078/semmle/ExecTainted/ExecTainted.expected‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -155,6 +155,8 @@ subpaths
155155
| test.cpp:85:32:85:38 | command | test.cpp:82:9:82:16 | fread output argument | test.cpp:85:32:85:38 | array to pointer conversion indirection | This argument to an OS command is derived from $@, dangerously concatenated into $@, and then passed to execl. | test.cpp:82:9:82:16 | fread output argument | user input (string read by fread) | test.cpp:84:11:84:17 | strncat output argument | strncat output argument |
156156
| test.cpp:94:45:94:48 | path | test.cpp:91:9:91:16 | fread output argument | test.cpp:94:45:94:48 | array to pointer conversion indirection | This argument to an OS command is derived from $@, dangerously concatenated into $@, and then passed to execl. | test.cpp:91:9:91:16 | fread output argument | user input (string read by fread) | test.cpp:93:11:93:14 | strncat output argument | strncat output argument |
157157
| test.cpp:108:18:108:22 | call to c_str | test.cpp:106:20:106:25 | call to getenv | test.cpp:108:18:108:22 | call to c_str indirection | This argument to an OS command is derived from $@, dangerously concatenated into $@, and then passed to system(string). | test.cpp:106:20:106:25 | call to getenv | user input (an environment variable) | test.cpp:107:31:107:31 | call to operator+ | call to operator+ |
158+
| test.cpp:108:18:108:22 | call to c_str | test.cpp:106:20:106:25 | call to getenv | test.cpp:108:18:108:22 | call to c_str indirection | This argument to an OS command is derived from $@, dangerously concatenated into $@, and then passed to system(string). | test.cpp:106:20:106:25 | call to getenv | user input (an environment variable) | test.cpp:107:31:107:31 | call to operator+ | call to operator+ |
159+
| test.cpp:108:18:108:22 | call to c_str | test.cpp:106:20:106:38 | call to getenv indirection | test.cpp:108:18:108:22 | call to c_str indirection | This argument to an OS command is derived from $@, dangerously concatenated into $@, and then passed to system(string). | test.cpp:106:20:106:38 | call to getenv indirection | user input (an environment variable) | test.cpp:107:31:107:31 | call to operator+ | call to operator+ |
158160
| test.cpp:108:18:108:22 | call to c_str | test.cpp:106:20:106:38 | call to getenv indirection | test.cpp:108:18:108:22 | call to c_str indirection | This argument to an OS command is derived from $@, dangerously concatenated into $@, and then passed to system(string). | test.cpp:106:20:106:38 | call to getenv indirection | user input (an environment variable) | test.cpp:107:31:107:31 | call to operator+ | call to operator+ |
159161
| test.cpp:114:25:114:29 | call to c_str | test.cpp:113:20:113:25 | call to getenv | test.cpp:114:25:114:29 | call to c_str indirection | This argument to an OS command is derived from $@, dangerously concatenated into $@, and then passed to system(string). | test.cpp:113:20:113:25 | call to getenv | user input (an environment variable) | test.cpp:114:10:114:23 | (const basic_string<char, char_traits<char>, allocator<char>>)... | (const basic_string<char, char_traits<char>, allocator<char>>)... |
160162
| test.cpp:114:25:114:29 | call to c_str | test.cpp:113:20:113:25 | call to getenv | test.cpp:114:25:114:29 | call to c_str indirection | This argument to an OS command is derived from $@, dangerously concatenated into $@, and then passed to system(string). | test.cpp:113:20:113:25 | call to getenv | user input (an environment variable) | test.cpp:114:17:114:17 | call to operator+ | call to operator+ |

‎cpp/ql/test/query-tests/Security/CWE/CWE-129/semmle/ImproperArrayIndexValidation/ImproperArrayIndexValidation.expected‎

Lines changed: 0 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,38 +1,30 @@
11
edges
22
| test1.c:7:26:7:29 | argv | test1.c:9:9:9:9 | i |
33
| test1.c:7:26:7:29 | argv | test1.c:11:9:11:9 | i |
4-
| test1.c:7:26:7:29 | argv | test1.c:12:9:12:9 | i |
54
| test1.c:7:26:7:29 | argv | test1.c:13:9:13:9 | i |
65
| test1.c:7:26:7:29 | argv indirection | test1.c:9:9:9:9 | i |
76
| test1.c:7:26:7:29 | argv indirection | test1.c:9:9:9:9 | i |
87
| test1.c:7:26:7:29 | argv indirection | test1.c:11:9:11:9 | i |
98
| test1.c:7:26:7:29 | argv indirection | test1.c:11:9:11:9 | i |
10-
| test1.c:7:26:7:29 | argv indirection | test1.c:12:9:12:9 | i |
11-
| test1.c:7:26:7:29 | argv indirection | test1.c:12:9:12:9 | i |
129
| test1.c:7:26:7:29 | argv indirection | test1.c:13:9:13:9 | i |
1310
| test1.c:7:26:7:29 | argv indirection | test1.c:13:9:13:9 | i |
1411
| test1.c:9:9:9:9 | i | test1.c:16:16:16:16 | i |
1512
| test1.c:11:9:11:9 | i | test1.c:32:16:32:16 | i |
16-
| test1.c:12:9:12:9 | i | test1.c:40:16:40:16 | i |
1713
| test1.c:13:9:13:9 | i | test1.c:48:16:48:16 | i |
1814
| test1.c:16:16:16:16 | i | test1.c:18:16:18:16 | i |
1915
| test1.c:32:16:32:16 | i | test1.c:33:11:33:11 | i |
20-
| test1.c:40:16:40:16 | i | test1.c:41:11:41:11 | i |
2116
| test1.c:48:16:48:16 | i | test1.c:53:15:53:15 | j |
2217
nodes
2318
| test1.c:7:26:7:29 | argv | semmle.label | argv |
2419
| test1.c:7:26:7:29 | argv indirection | semmle.label | argv indirection |
2520
| test1.c:7:26:7:29 | argv indirection | semmle.label | argv indirection |
2621
| test1.c:9:9:9:9 | i | semmle.label | i |
2722
| test1.c:11:9:11:9 | i | semmle.label | i |
28-
| test1.c:12:9:12:9 | i | semmle.label | i |
2923
| test1.c:13:9:13:9 | i | semmle.label | i |
3024
| test1.c:16:16:16:16 | i | semmle.label | i |
3125
| test1.c:18:16:18:16 | i | semmle.label | i |
3226
| test1.c:32:16:32:16 | i | semmle.label | i |
3327
| test1.c:33:11:33:11 | i | semmle.label | i |
34-
| test1.c:40:16:40:16 | i | semmle.label | i |
35-
| test1.c:41:11:41:11 | i | semmle.label | i |
3628
| test1.c:48:16:48:16 | i | semmle.label | i |
3729
| test1.c:53:15:53:15 | j | semmle.label | j |
3830
subpaths
@@ -43,9 +35,6 @@ subpaths
4335
| test1.c:33:11:33:11 | i | test1.c:7:26:7:29 | argv | test1.c:33:11:33:11 | i | An array indexing expression depends on $@ that might be outside the bounds of the array. | test1.c:7:26:7:29 | argv | a command-line argument |
4436
| test1.c:33:11:33:11 | i | test1.c:7:26:7:29 | argv indirection | test1.c:33:11:33:11 | i | An array indexing expression depends on $@ that might be outside the bounds of the array. | test1.c:7:26:7:29 | argv indirection | a command-line argument |
4537
| test1.c:33:11:33:11 | i | test1.c:7:26:7:29 | argv indirection | test1.c:33:11:33:11 | i | An array indexing expression depends on $@ that might be outside the bounds of the array. | test1.c:7:26:7:29 | argv indirection | a command-line argument |
46-
| test1.c:41:11:41:11 | i | test1.c:7:26:7:29 | argv | test1.c:41:11:41:11 | i | An array indexing expression depends on $@ that might be outside the bounds of the array. | test1.c:7:26:7:29 | argv | a command-line argument |
47-
| test1.c:41:11:41:11 | i | test1.c:7:26:7:29 | argv indirection | test1.c:41:11:41:11 | i | An array indexing expression depends on $@ that might be outside the bounds of the array. | test1.c:7:26:7:29 | argv indirection | a command-line argument |
48-
| test1.c:41:11:41:11 | i | test1.c:7:26:7:29 | argv indirection | test1.c:41:11:41:11 | i | An array indexing expression depends on $@ that might be outside the bounds of the array. | test1.c:7:26:7:29 | argv indirection | a command-line argument |
4938
| test1.c:53:15:53:15 | j | test1.c:7:26:7:29 | argv | test1.c:53:15:53:15 | j | An array indexing expression depends on $@ that might be outside the bounds of the array. | test1.c:7:26:7:29 | argv | a command-line argument |
5039
| test1.c:53:15:53:15 | j | test1.c:7:26:7:29 | argv indirection | test1.c:53:15:53:15 | j | An array indexing expression depends on $@ that might be outside the bounds of the array. | test1.c:7:26:7:29 | argv indirection | a command-line argument |
5140
| test1.c:53:15:53:15 | j | test1.c:7:26:7:29 | argv indirection | test1.c:53:15:53:15 | j | An array indexing expression depends on $@ that might be outside the bounds of the array. | test1.c:7:26:7:29 | argv indirection | a command-line argument |

‎cpp/ql/test/query-tests/Security/CWE/CWE-134/semmle/globalVars/UncontrolledFormatStringThroughGlobalVar.expected‎

Lines changed: 0 additions & 23 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,6 @@ edges
22
| globalVars.c:8:7:8:10 | copy | globalVars.c:27:9:27:12 | copy |
33
| globalVars.c:8:7:8:10 | copy | globalVars.c:27:9:27:12 | copy |
44
| globalVars.c:8:7:8:10 | copy | globalVars.c:27:9:27:12 | copy |
5-
| globalVars.c:8:7:8:10 | copy | globalVars.c:27:9:27:12 | copy |
65
| globalVars.c:8:7:8:10 | copy | globalVars.c:30:15:30:18 | copy |
76
| globalVars.c:8:7:8:10 | copy | globalVars.c:30:15:30:18 | copy |
87
| globalVars.c:8:7:8:10 | copy | globalVars.c:30:15:30:18 | copy |
@@ -12,15 +11,13 @@ edges
1211
| globalVars.c:9:7:9:11 | copy2 | globalVars.c:38:9:38:13 | copy2 |
1312
| globalVars.c:9:7:9:11 | copy2 | globalVars.c:38:9:38:13 | copy2 |
1413
| globalVars.c:9:7:9:11 | copy2 | globalVars.c:38:9:38:13 | copy2 |
15-
| globalVars.c:9:7:9:11 | copy2 | globalVars.c:38:9:38:13 | copy2 |
1614
| globalVars.c:9:7:9:11 | copy2 | globalVars.c:41:15:41:19 | copy2 |
1715
| globalVars.c:9:7:9:11 | copy2 | globalVars.c:41:15:41:19 | copy2 |
1816
| globalVars.c:9:7:9:11 | copy2 | globalVars.c:41:15:41:19 | copy2 |
1917
| globalVars.c:9:7:9:11 | copy2 | globalVars.c:44:15:44:19 | copy2 |
2018
| globalVars.c:9:7:9:11 | copy2 | globalVars.c:50:9:50:13 | copy2 |
2119
| globalVars.c:9:7:9:11 | copy2 | globalVars.c:50:9:50:13 | copy2 |
2220
| globalVars.c:9:7:9:11 | copy2 | globalVars.c:50:9:50:13 | copy2 |
23-
| globalVars.c:9:7:9:11 | copy2 | globalVars.c:50:9:50:13 | copy2 |
2421
| globalVars.c:11:22:11:25 | argv | globalVars.c:8:7:8:10 | copy |
2522
| globalVars.c:11:22:11:25 | argv | globalVars.c:12:2:12:15 | ... = ... |
2623
| globalVars.c:12:2:12:15 | ... = ... | globalVars.c:8:7:8:10 | copy |
@@ -29,26 +26,12 @@ edges
2926
| globalVars.c:16:2:16:12 | ... = ... | globalVars.c:9:7:9:11 | copy2 |
3027
| globalVars.c:24:11:24:14 | argv | globalVars.c:11:22:11:25 | argv |
3128
| globalVars.c:24:11:24:14 | argv | globalVars.c:11:22:11:25 | argv |
32-
| globalVars.c:27:9:27:12 | copy | globalVars.c:27:9:27:12 | copy |
33-
| globalVars.c:27:9:27:12 | copy | globalVars.c:27:9:27:12 | copy |
34-
| globalVars.c:27:9:27:12 | copy | globalVars.c:27:9:27:12 | copy |
35-
| globalVars.c:27:9:27:12 | copy | globalVars.c:30:15:30:18 | copy |
36-
| globalVars.c:27:9:27:12 | copy | globalVars.c:30:15:30:18 | copy |
37-
| globalVars.c:27:9:27:12 | copy | globalVars.c:35:11:35:14 | copy |
3829
| globalVars.c:30:15:30:18 | copy | globalVars.c:30:15:30:18 | copy |
3930
| globalVars.c:30:15:30:18 | copy | globalVars.c:30:15:30:18 | copy |
4031
| globalVars.c:30:15:30:18 | copy | globalVars.c:35:11:35:14 | copy |
4132
| globalVars.c:33:15:33:18 | copy | globalVars.c:35:11:35:14 | copy |
4233
| globalVars.c:35:11:35:14 | copy | globalVars.c:15:21:15:23 | val |
4334
| globalVars.c:35:11:35:14 | copy | globalVars.c:35:11:35:14 | copy |
44-
| globalVars.c:38:9:38:13 | copy2 | globalVars.c:38:9:38:13 | copy2 |
45-
| globalVars.c:38:9:38:13 | copy2 | globalVars.c:38:9:38:13 | copy2 |
46-
| globalVars.c:38:9:38:13 | copy2 | globalVars.c:38:9:38:13 | copy2 |
47-
| globalVars.c:38:9:38:13 | copy2 | globalVars.c:41:15:41:19 | copy2 |
48-
| globalVars.c:38:9:38:13 | copy2 | globalVars.c:41:15:41:19 | copy2 |
49-
| globalVars.c:38:9:38:13 | copy2 | globalVars.c:50:9:50:13 | copy2 |
50-
| globalVars.c:38:9:38:13 | copy2 | globalVars.c:50:9:50:13 | copy2 |
51-
| globalVars.c:38:9:38:13 | copy2 | globalVars.c:50:9:50:13 | copy2 |
5235
| globalVars.c:41:15:41:19 | copy2 | globalVars.c:41:15:41:19 | copy2 |
5336
| globalVars.c:41:15:41:19 | copy2 | globalVars.c:41:15:41:19 | copy2 |
5437
| globalVars.c:41:15:41:19 | copy2 | globalVars.c:50:9:50:13 | copy2 |
@@ -57,9 +40,6 @@ edges
5740
| globalVars.c:44:15:44:19 | copy2 | globalVars.c:50:9:50:13 | copy2 |
5841
| globalVars.c:44:15:44:19 | copy2 | globalVars.c:50:9:50:13 | copy2 |
5942
| globalVars.c:44:15:44:19 | copy2 | globalVars.c:50:9:50:13 | copy2 |
60-
| globalVars.c:50:9:50:13 | copy2 | globalVars.c:50:9:50:13 | copy2 |
61-
| globalVars.c:50:9:50:13 | copy2 | globalVars.c:50:9:50:13 | copy2 |
62-
| globalVars.c:50:9:50:13 | copy2 | globalVars.c:50:9:50:13 | copy2 |
6343
subpaths
6444
nodes
6545
| globalVars.c:8:7:8:10 | copy | semmle.label | copy |
@@ -73,7 +53,6 @@ nodes
7353
| globalVars.c:27:9:27:12 | copy | semmle.label | copy |
7454
| globalVars.c:27:9:27:12 | copy | semmle.label | copy |
7555
| globalVars.c:27:9:27:12 | copy | semmle.label | copy |
76-
| globalVars.c:27:9:27:12 | copy | semmle.label | copy |
7756
| globalVars.c:30:15:30:18 | copy | semmle.label | copy |
7857
| globalVars.c:30:15:30:18 | copy | semmle.label | copy |
7958
| globalVars.c:30:15:30:18 | copy | semmle.label | copy |
@@ -83,15 +62,13 @@ nodes
8362
| globalVars.c:38:9:38:13 | copy2 | semmle.label | copy2 |
8463
| globalVars.c:38:9:38:13 | copy2 | semmle.label | copy2 |
8564
| globalVars.c:38:9:38:13 | copy2 | semmle.label | copy2 |
86-
| globalVars.c:38:9:38:13 | copy2 | semmle.label | copy2 |
8765
| globalVars.c:41:15:41:19 | copy2 | semmle.label | copy2 |
8866
| globalVars.c:41:15:41:19 | copy2 | semmle.label | copy2 |
8967
| globalVars.c:41:15:41:19 | copy2 | semmle.label | copy2 |
9068
| globalVars.c:44:15:44:19 | copy2 | semmle.label | copy2 |
9169
| globalVars.c:50:9:50:13 | copy2 | semmle.label | copy2 |
9270
| globalVars.c:50:9:50:13 | copy2 | semmle.label | copy2 |
9371
| globalVars.c:50:9:50:13 | copy2 | semmle.label | copy2 |
94-
| globalVars.c:50:9:50:13 | copy2 | semmle.label | copy2 |
9572
#select
9673
| globalVars.c:27:9:27:12 | copy | globalVars.c:24:11:24:14 | argv | globalVars.c:27:9:27:12 | copy | The value of this argument may come from $@ and is being used as a formatting argument to printf(format). | globalVars.c:24:11:24:14 | argv | argv |
9774
| globalVars.c:30:15:30:18 | copy | globalVars.c:24:11:24:14 | argv | globalVars.c:30:15:30:18 | copy | The value of this argument may come from $@ and is being used as a formatting argument to printWrapper(str), which calls printf(format). | globalVars.c:24:11:24:14 | argv | argv |

‎cpp/ql/test/query-tests/Security/CWE/CWE-326/InsufficientKeySize.expected‎

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,8 @@
11
edges
2-
| test.cpp:34:45:34:48 | 1024 | test.cpp:34:45:34:48 | 1024 |
3-
| test.cpp:35:49:35:52 | 1024 | test.cpp:35:49:35:52 | 1024 |
4-
| test.cpp:37:43:37:46 | 1024 | test.cpp:37:43:37:46 | 1024 |
52
nodes
63
| test.cpp:34:45:34:48 | 1024 | semmle.label | 1024 |
7-
| test.cpp:34:45:34:48 | 1024 | semmle.label | 1024 |
8-
| test.cpp:35:49:35:52 | 1024 | semmle.label | 1024 |
94
| test.cpp:35:49:35:52 | 1024 | semmle.label | 1024 |
105
| test.cpp:37:43:37:46 | 1024 | semmle.label | 1024 |
11-
| test.cpp:37:43:37:46 | 1024 | semmle.label | 1024 |
126
subpaths
137
#select
148
| test.cpp:34:5:34:38 | call to EVP_PKEY_CTX_set_dsa_paramgen_bits | test.cpp:34:45:34:48 | 1024 | test.cpp:34:45:34:48 | 1024 | The key size $@ is less than the recommended key size of 2048 bits. | test.cpp:34:45:34:48 | 1024 | 1024 |

0 commit comments

Comments
 (0)