> The whole goal of the semantic patch is to ensure that put_device is > called when needed. Thanks for this clarification. The software development goal seems to be clear to some degree. > If the value is stored in a structure, Will any further means become relevant for the discussed data processing? > then someone else will likely take care of calling put_device later > when the structure is destroyed. Such a view is reasonable. Are there any additional source code analysis and software development challenges to consider for safer resource management? Regards, Markus
