unsafe-code.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

	%Static analysis: CFG
	function(testfunc3) .
	function(testfunc2) .
	call(testfunc2, testfunc3) .

	%Function tags:
	tag(testfunc3, unsafe).
	%tag(testfunc2, unsafe).

	:- call(X, Y), tag(Y, unsafe), not tag(X, unsafe), function(X), function(Y).