Closed Baltoli closed 7 years ago
Implement generic analyses that can be used to determine whether a function can call or must call another function.
This is a simple enough analysis, but gets more complicated when thinking about specific argument values to the function.
Implement generic analyses that can be used to determine whether a function can call or must call another function.
This is a simple enough analysis, but gets more complicated when thinking about specific argument values to the function.