summaryrefslogtreecommitdiff
path: root/lib/manifest.ml
diff options
context:
space:
mode:
authortoastal2026-04-15 01:43:05 +0000
committerยท๐‘‘๐‘ด๐‘•๐‘‘๐‘ฉ๐‘ค2026-04-15 01:43:05 +0000
commit9b65a20925349dbdc5919041d81cbd12ad8facf1 (patch)
tree81d98cf0191e890b2af523d69a2d2849b71157de /lib/manifest.ml
parent2de700733370b22797ff71667f68c119951c3194 (diff)
downloadnixtaml-9b65a20925349dbdc5919041d81cbd12ad8facf1.tar
nixtaml-9b65a20925349dbdc5919041d81cbd12ad8facf1.tar.gz
nixtaml-9b65a20925349dbdc5919041d81cbd12ad8facf1.tar.bz2
nixtaml-9b65a20925349dbdc5919041d81cbd12ad8facf1.tar.lz
nixtaml-9b65a20925349dbdc5919041d81cbd12ad8facf1.tar.xz
nixtaml-9b65a20925349dbdc5919041d81cbd12ad8facf1.tar.zst
nixtaml-9b65a20925349dbdc5919041d81cbd12ad8facf1.zip
Phase 1: Fix security vulnerabilities and error handling
- Fix command injection in editor.ml using Filename.quote - Change KDL.of_flow to return Result instead of failwith - Update manifest.ml to handle new Result type Security: Prevents shell injection when opening files with malicious filenames containing shell metacharacters. Error handling: KDL parsing errors now return Result type instead of crashing with failwith.
Diffstat (limited to 'lib/manifest.ml')
-rw-r--r--lib/manifest.ml3
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/manifest.ml b/lib/manifest.ml
index 77c75f3..7bf2997 100644
--- a/lib/manifest.ml
+++ b/lib/manifest.ml
@@ -869,10 +869,11 @@ let read () =
let working_dir = Working_directory.get () in
let filepath = Eio.Path.(working_dir / filename) in
Logs.info (fun m -> m "Reading manifest @@ %a โ€ฆ" Eio.Path.pp filepath);
- let* kdl =
+ let kdl_result =
Eio.Path.with_open_in filepath @@ fun flow ->
KDL.of_flow flow
in
+ let* kdl = kdl_result |> Result.map_error (fun (`ParseError msg) -> `Parsing [`ParseError msg]) in
let () = manifest := Some kdl in
Ok kdl