Fraunhofer-AISEC / codyze

Codyze is a static analyzer for Java, C, C++ based on code property graphs

Home Page:https://www.codyze.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Model the caller of a function

oxisto opened this issue · comments

Is it possible to model in MARK the caller of a function/operation, i.e. to restrict that a certain function should only be called by a specific other function or better just with a certain class?

An example:

class B {
  fun myFunc() {
    obj.call()
  }
}

Is it possible to restrict calling obj.call() only from within B.myFunc()?