We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 69417e1 commit d8bad77Copy full SHA for d8bad77
cpp/ql/src/Likely Bugs/Memory Management/ReturnStackAllocatedMemory.ql
@@ -66,6 +66,7 @@ class ReturnStackAllocatedMemoryConfig extends MustFlowConfiguration {
66
* S s;
67
* return &s.x; // BAD: &s.x is an address of a variable on the stack.
68
* }
69
+ * ```
70
*/
71
override predicate isAdditionalFlowStep(DataFlow::Node node1, DataFlow::Node node2) {
72
node2.asInstruction().(FieldAddressInstruction).getObjectAddressOperand() = node1.asOperand()
0 commit comments