robur/ocaml-solo5-elftool
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
ocaml-solo5-elftool/bin/main.ml

38 lines
970 B
OCaml
Raw Permalink Normal View History

Better naming
2021-12-10 11:06:52 +00:00
let query_manifest file =
Initial commit
2021-12-07 21:51:25 +00:00
Owee_buf.map_binary file
Better naming
2021-12-10 11:06:52 +00:00
|> Solo5_elftool.query_manifest
Parse manifest Could use some improvements, but it can parse a manifest now.
2021-12-09 15:17:11 +00:00
|> Result.iter (fun mft ->
Improve parsing and add type mft * mft_entry.b, mft_entry.u are runtime fields. We expect them to be zeroed. * add a type mft with version and mft_entries * add pretty printers a la solo5-elftool query-manifest
2021-12-10 10:19:06 +00:00
Fmt.pr "%a\n" Solo5_elftool.pp_mft mft)
Initial commit
2021-12-07 21:51:25 +00:00
Rename binary, implement query-abi, ... * The binary is renamed from solo5-elftool to osolo5-elftool to allow for distinguishing from the binary from solo5 * query_abi is implemented and osolo5-elftool is extended with a query-abi sub command * instead of [assert false] on unknown manifest entry types or abi targets an [Error (`Msg ...)] is returned.
2021-12-16 11:12:43 +00:00
let query_abi file =
Owee_buf.map_binary file
|> Solo5_elftool.query_abi
|> Result.iter (Fmt.pr "%a\n" Solo5_elftool.pp_abi)
Initial commit
2021-12-07 21:51:25 +00:00
let file =
let doc = "Solo5 executable" in
Cmdliner.Arg.(required & pos 0 (some file) None &
info ~doc ~docv:"EXECUTABLE" [])
Better naming
2021-12-10 11:06:52 +00:00
let query_manifest_cmd =
let doc = "query solo5 manifest" in
Initial commit
2021-12-07 21:51:25 +00:00
Cmdliner.Term.(
Better naming
2021-12-10 11:06:52 +00:00
pure query_manifest $ file,
Initial commit
2021-12-07 21:51:25 +00:00
info ~doc "query-manifest")
Rename binary, implement query-abi, ... * The binary is renamed from solo5-elftool to osolo5-elftool to allow for distinguishing from the binary from solo5 * query_abi is implemented and osolo5-elftool is extended with a query-abi sub command * instead of [assert false] on unknown manifest entry types or abi targets an [Error (`Msg ...)] is returned.
2021-12-16 11:12:43 +00:00
let query_abi_cmd =
let doc = "query solo5 abi" in
Cmdliner.Term.(
pure query_abi $ file,
info ~doc "query-abi")
let default_cmd =
Cmdliner.Term.(
ret (pure (fun man_format -> `Help (man_format, None)) $ man_format),
info "osolo5-elftool")
Initial commit
2021-12-07 21:51:25 +00:00
let () =
Rename binary, implement query-abi, ... * The binary is renamed from solo5-elftool to osolo5-elftool to allow for distinguishing from the binary from solo5 * query_abi is implemented and osolo5-elftool is extended with a query-abi sub command * instead of [assert false] on unknown manifest entry types or abi targets an [Error (`Msg ...)] is returned.
2021-12-16 11:12:43 +00:00
ignore (Cmdliner.Term.eval_choice
default_cmd
[query_manifest_cmd; query_abi_cmd])
Copy permalink