1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
(* SPDX-License-Identifier: AGPL-3.0-or-later *)
(* Copyright © 2021-2024 OCamlPro *)
(* Written by the Owi programmers *)
open Bos
open Syntax
(* TODO: investigate which parameters makes sense *)
let compile ~entry_point ~includes:_ ~opt_lvl:_ ~out_file debug
(files : Fpath.t list) : Fpath.t Result.t =
let* rustc_bin = OS.Cmd.resolve @@ Cmd.v "rustc" in
let* libowi_sym_rlib =
Cmd_utils.find_installed_rust_file (Fpath.v "libowi_sym.rlib")
in
let* tmp = Bos.OS.Dir.tmp "owi_rust_%s" in
let out = Option.value ~default:Fpath.(tmp / "a.out.wasm") out_file in
let rustc_cmd : Cmd.t =
Cmd.(
rustc_bin % "--target=wasm32-unknown-unknown" % "--edition=2021"
% "--extern"
% Fmt.str "owi_sym=%a" Fpath.pp libowi_sym_rlib
% "-o" % Cmd.p out
(* link args parameters must be space separated *)
% "-C"
% Fmt.str "link-args=--entry=%s" entry_point
%% Cmd.of_list (List.map Cmd.p files) )
in
let+ () =
match
OS.Cmd.run
~err:(if debug then OS.Cmd.err_run_out else OS.Cmd.err_null)
rustc_cmd
with
| Ok _ as v -> v
| Error (`Msg e) ->
Fmt.error_msg "rustc failed: %s"
(if debug then e else "run with --debug to get the full error message")
in
out
let cmd ~debug ~arch:_ ~workers ~opt_lvl ~includes ~files ~profiling ~unsafe
~optimize ~no_stop_at_failure ~no_value ~no_assert_failure_expression_printing
~deterministic_result_order ~fail_mode ~concolic ~solver ~profile
~model_format ~entry_point ~invoke_with_symbols ~out_file
~(workspace : Fpath.t option) ~model_out_file ~with_breadcrumbs :
unit Result.t =
let* workspace =
match workspace with
| Some path -> Ok path
| None -> OS.Dir.tmp "owi_rust_%s"
in
let* _did_create : bool = OS.Dir.create workspace in
let entry_point = Option.value entry_point ~default:"main" in
let* modul = compile ~entry_point ~includes ~opt_lvl ~out_file debug files in
let files = [ modul ] in
let entry_point = Some entry_point in
let workspace = Some workspace in
(if concolic then Cmd_conc.cmd else Cmd_sym.cmd)
~profiling ~debug ~unsafe ~rac:false ~srac:false ~optimize ~workers
~no_stop_at_failure ~no_value ~no_assert_failure_expression_printing
~deterministic_result_order ~fail_mode ~workspace ~solver ~files ~profile
~model_format ~entry_point ~invoke_with_symbols ~model_out_file
~with_breadcrumbs