<commit_before>(********************************************************
   This file is part of jStar
        src/plugins/plugin_manager.ml
   Release
        $Release$
   Version
        $Rev$
   $Copyright$

   jStar is distributed under a BSD license,  see,
      LICENSE.txt
 ********************************************************)

(* Loads plugin using (nat) dynlink *)
let load_plugin (filename : string) =
   try Dynlink.loadfile (Dynlink.adapt_filename filename)
   with Dynlink.Error e -> failwith (Dynlink.error_message e)

(* Runs abstract interpretation plugins on a given pform *)
let run_abs_int (pheap : Psyntax.pform) =
  List.fold_left (fun pform abs_int -> abs_int pform) pheap !Registry.abs_int_registry<commit_msg>Force Plugin_callback.add_abs_int to be linked with plugin_interface.<commit_after>(********************************************************
   This file is part of jStar
        src/plugins/plugin_manager.ml
   Release
        $Release$
   Version
        $Rev$
   $Copyright$

   jStar is distributed under a BSD license,  see,
      LICENSE.txt
 ********************************************************)

(* Loads plugin using (nat) dynlink *)
let load_plugin (filename : string) =
   try Dynlink.loadfile (Dynlink.adapt_filename filename)
   with Dynlink.Error e -> failwith (Dynlink.error_message e)

(* Runs abstract interpretation plugins on a given pform *)
let run_abs_int (pheap : Psyntax.pform) =
  List.fold_left (fun pform abs_int -> abs_int pform) pheap !Registry.abs_int_registry

(* Temporary hack: force Plugin_callback.add_abs_int to be linked with plugin_interface *)
let _ = Plugin_callback.add_abs_int
{'fraction_non_alphanumeric': 0.20481927710843373, 'fraction_numerical': 0.0, 'mean_word_length': 4.340836012861736, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 7, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4877522', 'n_tokens_mistral': 476, 'n_tokens_neox': 458, 'n_words': 138}