Skip to content

Conversation

Liyw979
Copy link
Contributor

@Liyw979 Liyw979 commented May 18, 2023

From comment in TaskSolver.scala:

This method stays within the method (intra-procedural analysis) and terminates at method parameters and at output
arguments

Since the variable path in TaskSolver contains only nodes within the current method,
isArgOrRetOfMethodWeCameFrom will always return false.

@max-leuthaeuser max-leuthaeuser requested a review from fabsx00 May 19, 2023 06:45
Liyw979 added 2 commits May 19, 2023 17:28
# Conflicts:
#	dataflowengineoss/src/main/scala/io/joern/dataflowengineoss/queryengine/TaskSolver.scala
@fabsx00
Copy link
Contributor

fabsx00 commented May 19, 2023

Hm... you may be right about that: it used to be the case that nodes on the path can be from other methods, but I believe that was refactored some time in January when I was doing the work on performance improvements of the data flow engine. Give me a bit of time to look at this in detail.

@DavidBakerEffendi DavidBakerEffendi added the dataflow engine Relates to dataflowengineoss label May 31, 2023
Liyw979 added 2 commits June 3, 2023 10:54
…method

# Conflicts:
#	dataflowengineoss/src/main/scala/io/joern/dataflowengineoss/queryengine/TaskSolver.scala
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dataflow engine Relates to dataflowengineoss

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants