fenix
/
cpdf-source
mirror of https://github.com/johnwhitington/cpdf-source.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Use lookup_chain more

This commit is contained in:
John Whitington 2024-06-20 15:02:59 +01:00
parent c329895094
commit d749660873
1 changed files with 22 additions and 57 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

79
cpdfua.ml
View File

@ -6,8 +6,6 @@ open Cpdferror
a) Those which require looking deep inside font files; and a) Those which require looking deep inside font files; and
b) Those which require reading inside the graphics stream. *) b) Those which require reading inside the graphics stream. *)
(* FIXME maximise chain usage *)
exception MatterhornError of Cpdfyojson.Safe.t exception MatterhornError of Cpdfyojson.Safe.t
exception MatterhornUnimplemented exception MatterhornUnimplemented
@ -213,31 +211,15 @@ let matterhorn_06_003 _ _ pdf =
(* ViewerPreferences dictionary of the Catalog dictionary does not contain a (* ViewerPreferences dictionary of the Catalog dictionary does not contain a
DisplayDocTitle entry. *) DisplayDocTitle entry. *)
let matterhorn_07_001 _ _ pdf = let matterhorn_07_001 _ _ pdf =
match Pdf.lookup_direct pdf "/Root" pdf.Pdf.trailerdict with match Pdf.lookup_chain pdf pdf.Pdf.trailerdict ["/Root"; "/ViewerPreferences"; "/DisplayDocTitle"] with
| Some catalog -> | None -> merror ()
begin match Pdf.lookup_direct pdf "/ViewerPreferences" catalog with | _ -> ()
| Some d ->
begin match Pdf.lookup_direct pdf "/DisplayDocTitle" d with
| Some _ -> ()
| None -> merror ()
end
| None -> merror ()
end
| _ -> merror ()
(* ViewerPreferences dictionary of the Catalog dictionary contains a (* ViewerPreferences dictionary of the Catalog dictionary contains a
DisplayDocTitle entry with a value of false. *) DisplayDocTitle entry with a value of false. *)
let matterhorn_07_002 _ _ pdf = let matterhorn_07_002 _ _ pdf =
match Pdf.lookup_direct pdf "/Root" pdf.Pdf.trailerdict with match Pdf.lookup_chain pdf pdf.Pdf.trailerdict ["/Root"; "/ViewerPreferences"; "/DisplayDocTitle"] with
| Some catalog -> | Some (Pdf.Boolean false) -> merror ()
begin match Pdf.lookup_direct pdf "/ViewerPreferences" catalog with
| Some d ->
begin match Pdf.lookup_direct pdf "/DisplayDocTitle" d with
| Some (Pdf.Boolean false) -> merror ()
| _ -> ()
end
| None -> ()
end
| _ -> () | _ -> ()
(* A table-related structure element is used in a way that does not conform to (* A table-related structure element is used in a way that does not conform to
@ -519,18 +501,9 @@ let matterhorn_20_003 _ _ pdf =
and UF entries. *) and UF entries. *)
let matterhorn_21_001 _ _ pdf = let matterhorn_21_001 _ _ pdf =
let from_nametree = let from_nametree =
match Pdf.lookup_direct pdf "/Root" pdf.Pdf.trailerdict with match Pdf.lookup_chain pdf pdf.Pdf.trailerdict ["/Root"; "/Names"; "/EmbeddedFiles"] with
| Some catalog -> | Some embeddedfiles -> map snd (Pdf.contents_of_nametree pdf embeddedfiles)
begin match Pdf.lookup_direct pdf "/Names" catalog with | _ -> []
| Some names ->
begin match Pdf.lookup_direct pdf "/EmbeddedFiles" names with
| Some embeddedfiles ->
map snd (Pdf.contents_of_nametree pdf embeddedfiles)
| None -> []
end
| None -> []
end
| None -> []
in in
let from_annots = let from_annots =
option_map option_map
@ -557,32 +530,24 @@ let matterhorn_25_001 _ _ pdf =
| Cpdfmetadata.E (_, children) -> List.exists contains_required_dynamicRender children | Cpdfmetadata.E (_, children) -> List.exists contains_required_dynamicRender children
| Cpdfmetadata.D _ -> false | Cpdfmetadata.D _ -> false
in in
match Pdf.lookup_direct pdf "/Root" pdf.Pdf.trailerdict with match Pdf.lookup_chain pdf pdf.Pdf.trailerdict ["/Root"; "/AcroForm"; "/XFA"] with
| Some catalog -> | Some (Pdf.Array xfa) ->
begin match Pdf.lookup_direct pdf "/AcroForm" catalog with begin match option_map (function (Pdf.String "config", x) -> Some x | _ -> None) (pairs xfa) with
| Some d -> | [config] ->
begin match Pdf.lookup_direct pdf "/XFA" d with begin match Pdf.direct pdf config with
| Some (Pdf.Array xfa) -> | Pdf.Stream _ as s ->
begin match option_map (function (Pdf.String "config", x) -> Some x | _ -> None) (pairs xfa) with Pdfcodec.decode_pdfstream pdf s;
| [config] -> begin match s with
begin match Pdf.direct pdf config with | Pdf.Stream {contents = _, Pdf.Got xmlstream} ->
| Pdf.Stream _ as s -> let _, tree = Cpdfmetadata.xmltree_of_bytes xmlstream in
Pdfcodec.decode_pdfstream pdf s; if contains_required_dynamicRender tree then merror ()
begin match s with | _ -> assert false
| Pdf.Stream {contents = _, Pdf.Got xmlstream} -> end
let _, tree = Cpdfmetadata.xmltree_of_bytes xmlstream in
if contains_required_dynamicRender tree then merror ()
| _ -> assert false
end
| _ -> ()
end
| _ -> ()
end
| _ -> () | _ -> ()
end end
| _ -> () | _ -> ()
end end
| None -> () | _ -> ()
(* The file is encrypted but does not contain a P entry in its encryption (* The file is encrypted but does not contain a P entry in its encryption
dictionary. *) dictionary. *)