miss_hit icon indicating copy to clipboard operation
miss_hit copied to clipboard

Published 20 hours ago • verified publisher icon florianschanda

disallow certain functions in certain call-trees

Open florianschanda opened this issue 4 years ago • 0 comments

  • Provide a method for defining a set of functions
  • Provide a way to disallow calling these functions from any given function (transitively)

Actually this is flow analysis, a specific negative annotation that certain state must not be used.

florianschanda avatar Dec 07 '20 14:12 florianschanda