anil.recoil.org
My working unpac repository
1(**************************************************************************)
2(* *)
3(* OCaml *)
4(* *)
5(* Xavier Leroy, projet Cambium, INRIA Paris *)
6(* *)
7(* Copyright 2023 Institut National de Recherche en Informatique et *)
8(* en Automatique. *)
9(* *)
10(* All rights reserved. This file is distributed under the terms of *)
11(* the GNU Lesser General Public License version 2.1, with the *)
12(* special exception on linking described in the file LICENSE. *)
13(* *)
14(**************************************************************************)
15
16(* Compute the parameters needed for allocating and managing stack frames
17 in the Emit phase. *)
18
19val trap_handler_size : int
20
21val analyze : Mach.fundecl -> Stackframegen.analysis_result