CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

Fix: allow external modules to access the OCaml stdlib

Browse Source 
This would deserve a further look into it, but for now it's impeding development
without providing any meaningful security.
This commit is contained in:
Louis Gesbert 2024-04-13 10:07:20 +02:00
parent 87b2c4ded2
commit c8e529dd9f
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
compiler/driver.ml
View File

@ -1142,9 +1142,13 @@ let main () =
| exception Sys_error _ ->
Message.debug "Could not read plugin directory %s" d)
plugins_dirs;
Dynlink.allow_only ["Runtime_ocaml__Runtime"];
(* We may use dynlink again, but only for runtime modules: no plugin
registration after this point *)
Dynlink.allow_only
(List.filter (( <> ) "Driver__Plugin") (Dynlink.all_units ()));
(* From here on, no plugin registration is allowed. However, the interpreter
may yet use Dynlink to load external modules. - TODO: This used to allow
only "Runtime_ocaml__Runtime", but forbidding external Catala modules to
use the OCaml Stdlib was a bit much. We should examine how to re-add some
more filtering here without being too restrictive. *)
Plugin.list ()
in
let command = catala_t plugins in