Source file `kernel_core.ml`

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
(**************************************************************************)
(*  This file is part of BINSEC.                                          *)
(*                                                                        *)
(*  Copyright (C) 2016-2026                                               *)
(*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
(*         alternatives)                                                  *)
(*                                                                        *)
(*  you can redistribute it and/or modify it under the terms of the GNU   *)
(*  Lesser General Public License as published by the Free Software       *)
(*  Foundation, version 2.1.                                              *)
(*                                                                        *)
(*  It is distributed in the hope that it will be useful,                 *)
(*  but WITHOUT ANY WARRANTY; without even the implied warranty of        *)
(*  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         *)
(*  GNU Lesser General Public License for more details.                   *)
(*                                                                        *)
(*  See the GNU Lesser General Public License version 2.1                 *)
(*  for more details (enclosed in the file licenses/LGPLv2.1).            *)
(*                                                                        *)
(**************************************************************************)

open Kernel_options

(* we can't use the option framework yet, as options have not been parsed yet. *)
let config_file = ref None

let _ =
  let len = Array.length Sys.argv in
  let rec loop i =
    if i < len then
      if Sys.argv.(i) = "-config" then (
        let config_filename = Sys.argv.(i + 1) in
        (* for other parts of the code to read after option parsing *)
        Kernel_options.Config_file.set config_filename;
        (* for us *)
        config_file := Some config_filename)
      else loop (i + 1)
  in
  loop 0

let read_configuration_file () =
  match !config_file with
  | None -> () (* Maybe_TODO : Use default file ? *)
  | Some filename -> ignore @@ Cli.parse_configuration_file ~filename

let binary_descr () =
  if Describe_binary.get () && ExecFile.is_set () then
    Logger.result "@]@\n@[<v>%a" Kernel_functions.Loader.pp_loader_summary
      (ExecFile.get ())

let version () =
  if Version.get () then (
    Logger.set_log_level "result";
    Format.printf "Binsec version 0.11.1\n";
    exit 0)

let _ =
  Cli.Boot.enlist ~name:"binary description" ~f:binary_descr;
  Cli.Boot.enlist ~name:"version description" ~f:version