Skip to content

cpp: how to use macro argument as dataflow sink #21824

@k4lizen

Description

@k4lizen

I would like to do something like this:

  predicate isSink(DataFlow::Node sink) {
    exists(MacroInvocation m |
      sink.asExpr() = m.getArgument(0)
      and m.getTarget().getName() = "my_cool_macro"
    )
  }

But getArgument is not defined, and getExpandedArgument returns a string. Doing sink.asExpr().toString() = m.getExpandedArgument(0) returns zero matches.

How do I use macros in dataflow?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions