disallow certain functions in certain call-trees

florianschanda / miss_hit

MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more

GNU General Public License v3.0

160 stars 21 forks source link

Open florianschanda opened 3 years ago

florianschanda commented 3 years ago

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.