Skip to content

[Bug] The unary operator test case has an issue: data flow analysis for pointer dereferencing is not supported. #5717

@MyselfYangjz

Description

@MyselfYangjz

`package main

func main() {
var a int = 5
var b int = 10
b = !a
c = &b
d = +c
e = -d
c = *e
}

`
joern> def source = cpg.identifier("a")
def source: Iterator[io.shiftleft.codepropertygraph.generated.nodes.Identifier]

joern> def sink = cpg.identifier("c")
def sink: Iterator[io.shiftleft.codepropertygraph.generated.nodes.Identifier]

joern> sink.reachableByFlows(source).p
val res4: List[String] = List()

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions