sig
val
is_malicious_builtin_funcall :
Df_analysis
.ac_handle
->
bool
end