> How should the execution of each SmPL rule be identified there?
Can the following source code adjustment help a bit besides the general
possibility
to clarify additional data export formats?
diff --git a/cocci.ml b/cocci.ml
index 64503ee9..43cfc996 100644
--- a/cocci.ml
+++ b/cocci.ml
@@ -1563,7 +1563,7 @@ let printtime str = Printf.printf "%s: %f\n" str
(Unix.gettimeofday ())
let rec apply_cocci_rule r rules_that_have_ever_matched parse_strings es
(ccs:file_info list ref) =
- Common.profile_code r.rule_info.rulename (fun () ->
+ Common.profile_code ("Rule " ^ r.rule_info.rulename) (fun () ->
show_or_not_rule_name r.ast_rule r.rule_info.ruleid;
show_or_not_ctl_text r.ctl r.metavars r.ast_rule r.rule_info.ruleid;
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
