Module Stream_analysis_builtin


module Stream_analysis_builtin: sig .. end

val is_malicious_builtin_funcall : Df_analysis.ac_handle -> bool