1 /* Textual dumping of CTF data.
2 Copyright (C) 2019-2024 Free Software Foundation, Inc.
4 This file is part of libctf.
6 libctf is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
11 This program is distributed in the hope that it will be useful, but
12 WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
14 See the GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with this program; see the file COPYING. If not see
18 <http://www.gnu.org/licenses/>. */
23 #define str_append(s, a) ctf_str_append_noerr (s, a)
25 /* One item to be dumped, in string form. */
27 typedef struct ctf_dump_item
33 /* Cross-call state for dumping. Basically just enough to track the section in
34 use and a list of return strings. */
38 ctf_sect_names_t cds_sect
;
40 ctf_dump_item_t
*cds_current
;
44 /* Cross-call state for ctf_dump_member. */
46 typedef struct ctf_dump_membstate
50 const char *cdm_toplevel_indent
;
51 } ctf_dump_membstate_t
;
54 ctf_dump_append (ctf_dump_state_t
*state
, char *str
)
58 if ((cdi
= malloc (sizeof (struct ctf_dump_item
))) == NULL
)
59 return (ctf_set_errno (state
->cds_fp
, ENOMEM
));
62 ctf_list_append (&state
->cds_items
, cdi
);
67 ctf_dump_free (ctf_dump_state_t
*state
)
69 ctf_dump_item_t
*cdi
, *next_cdi
;
74 for (cdi
= ctf_list_next (&state
->cds_items
); cdi
!= NULL
;
78 next_cdi
= ctf_list_next (cdi
);
83 /* Return a dump for a single type, without member info: but do optionally show
84 the type's references. */
86 #define CTF_FT_REFS 0x2 /* Print referenced types. */
87 #define CTF_FT_BITFIELD 0x4 /* Print :BITS if a bitfield. */
88 #define CTF_FT_ID 0x8 /* Print "ID: " in front of type IDs. */
91 ctf_dump_format_type (ctf_dict_t
*fp
, ctf_id_t id
, int flag
)
94 char *str
= NULL
, *bit
= NULL
, *buf
= NULL
;
96 ctf_set_errno (fp
, 0);
102 int kind
, unsliced_kind
;
104 const char *nonroot_leader
= "";
105 const char *nonroot_trailer
= "";
106 const char *idstr
= "";
109 if (flag
== CTF_ADD_NONROOT
)
111 nonroot_leader
= "{";
112 nonroot_trailer
= "}";
115 buf
= ctf_type_aname (fp
, id
);
118 if (id
== 0 || ctf_errno (fp
) == ECTF_NONREPRESENTABLE
)
120 ctf_set_errno (fp
, ECTF_NONREPRESENTABLE
);
121 str
= str_append (str
, " (type not represented in CTF)");
128 if (flag
& CTF_FT_ID
)
130 if (asprintf (&bit
, "%s%s0x%lx: (kind %i) ", nonroot_leader
, idstr
,
131 id
, ctf_type_kind (fp
, id
)) < 0)
133 str
= str_append (str
, bit
);
138 str
= str_append (str
, buf
);
143 unsliced_kind
= ctf_type_kind_unsliced (fp
, id
);
144 kind
= ctf_type_kind (fp
, id
);
146 /* Report encodings of everything with an encoding other than enums:
147 base-type enums cannot have a nonzero cte_offset or cte_bits value.
148 (Slices of them can, but they are of kind CTF_K_SLICE.) */
149 if (unsliced_kind
!= CTF_K_ENUM
&& ctf_type_encoding (fp
, id
, &ep
) == 0)
151 if ((ssize_t
) ep
.cte_bits
!= ctf_type_size (fp
, id
) * CHAR_BIT
152 && flag
& CTF_FT_BITFIELD
)
154 if (asprintf (&bit
, ":%i", ep
.cte_bits
) < 0)
156 str
= str_append (str
, bit
);
161 if ((ssize_t
) ep
.cte_bits
!= ctf_type_size (fp
, id
) * CHAR_BIT
162 || ep
.cte_offset
!= 0)
164 const char *slice
= "";
166 if (unsliced_kind
== CTF_K_SLICE
)
169 if (asprintf (&bit
, " [%s0x%x:0x%x]",
170 slice
, ep
.cte_offset
, ep
.cte_bits
) < 0)
172 str
= str_append (str
, bit
);
177 if (asprintf (&bit
, " (format 0x%x)", ep
.cte_format
) < 0)
179 str
= str_append (str
, bit
);
184 size
= ctf_type_size (fp
, id
);
185 if (kind
!= CTF_K_FUNCTION
&& size
>= 0)
187 if (asprintf (&bit
, " (size 0x%lx)", (unsigned long int) size
) < 0)
190 str
= str_append (str
, bit
);
195 align
= ctf_type_align (fp
, id
);
198 if (asprintf (&bit
, " (aligned at 0x%lx)",
199 (unsigned long int) align
) < 0)
202 str
= str_append (str
, bit
);
207 if (nonroot_trailer
[0] != 0)
208 str
= str_append (str
, nonroot_trailer
);
210 /* Just exit after one iteration if we are not showing the types this type
212 if (!(flag
& CTF_FT_REFS
))
215 /* Keep going as long as this type references another. We consider arrays
216 to "reference" their element type. */
218 if (kind
== CTF_K_ARRAY
)
220 if (ctf_array_info (fp
, id
, &ar
) < 0)
222 new_id
= ar
.ctr_contents
;
225 new_id
= ctf_type_reference (fp
, id
);
226 if (new_id
!= CTF_ERR
)
227 str
= str_append (str
, " -> ");
229 while (new_id
!= CTF_ERR
);
231 if (ctf_errno (fp
) != ECTF_NOTREF
)
240 ctf_set_errno (fp
, errno
);
242 ctf_err_warn (fp
, 1, 0, _("cannot format name dumping type 0x%lx"), id
);
249 /* Dump one string field from the file header into the cds_items. */
251 ctf_dump_header_strfield (ctf_dict_t
*fp
, ctf_dump_state_t
*state
,
252 const char *name
, uint32_t value
)
257 if (asprintf (&str
, "%s: %s\n", name
, ctf_strptr (fp
, value
)) < 0)
259 ctf_dump_append (state
, str
);
264 return (ctf_set_errno (fp
, errno
));
267 /* Dump one section-offset field from the file header into the cds_items. */
269 ctf_dump_header_sectfield (ctf_dict_t
*fp
, ctf_dump_state_t
*state
,
270 const char *sect
, uint32_t off
, uint32_t nextoff
)
275 if (asprintf (&str
, "%s:\t0x%lx -- 0x%lx (0x%lx bytes)\n", sect
,
276 (unsigned long) off
, (unsigned long) (nextoff
- 1),
277 (unsigned long) (nextoff
- off
)) < 0)
279 ctf_dump_append (state
, str
);
284 return (ctf_set_errno (fp
, errno
));
287 /* Dump the file header into the cds_items. */
289 ctf_dump_header (ctf_dict_t
*fp
, ctf_dump_state_t
*state
)
292 char *flagstr
= NULL
;
293 const ctf_header_t
*hp
= fp
->ctf_header
;
294 const char *vertab
[] =
296 NULL
, "CTF_VERSION_1",
297 "CTF_VERSION_1_UPGRADED_3 (latest format, version 1 type "
300 "CTF_VERSION_3", NULL
302 const char *verstr
= NULL
;
304 if (asprintf (&str
, "Magic number: 0x%x\n", hp
->cth_magic
) < 0)
306 ctf_dump_append (state
, str
);
308 if (hp
->cth_version
<= CTF_VERSION
)
309 verstr
= vertab
[hp
->cth_version
];
312 verstr
= "(not a valid version)";
314 if (asprintf (&str
, "Version: %i (%s)\n", hp
->cth_version
,
317 ctf_dump_append (state
, str
);
319 /* Everything else is only printed if present. */
321 /* The flags are unusual in that they represent the ctf_dict_t *in memory*:
322 flags representing compression, etc, are turned off as the file is
323 decompressed. So we store a copy of the flags before they are changed, for
326 if (fp
->ctf_openflags
> 0)
328 if (asprintf (&flagstr
, "%s%s%s%s%s%s%s",
329 fp
->ctf_openflags
& CTF_F_COMPRESS
330 ? "CTF_F_COMPRESS": "",
331 (fp
->ctf_openflags
& CTF_F_COMPRESS
)
332 && (fp
->ctf_openflags
& ~CTF_F_COMPRESS
)
334 fp
->ctf_openflags
& CTF_F_NEWFUNCINFO
335 ? "CTF_F_NEWFUNCINFO" : "",
336 (fp
->ctf_openflags
& (CTF_F_COMPRESS
| CTF_F_NEWFUNCINFO
))
337 && (fp
->ctf_openflags
& ~(CTF_F_COMPRESS
| CTF_F_NEWFUNCINFO
))
339 fp
->ctf_openflags
& CTF_F_IDXSORTED
340 ? "CTF_F_IDXSORTED" : "",
341 fp
->ctf_openflags
& (CTF_F_COMPRESS
| CTF_F_NEWFUNCINFO
343 && (fp
->ctf_openflags
& ~(CTF_F_COMPRESS
| CTF_F_NEWFUNCINFO
346 fp
->ctf_openflags
& CTF_F_DYNSTR
347 ? "CTF_F_DYNSTR" : "") < 0)
350 if (asprintf (&str
, "Flags: 0x%x (%s)", fp
->ctf_openflags
, flagstr
) < 0)
352 ctf_dump_append (state
, str
);
355 if (ctf_dump_header_strfield (fp
, state
, "Parent label",
356 hp
->cth_parlabel
) < 0)
359 if (ctf_dump_header_strfield (fp
, state
, "Parent name", hp
->cth_parname
) < 0)
362 if (ctf_dump_header_strfield (fp
, state
, "Compilation unit name",
366 if (ctf_dump_header_sectfield (fp
, state
, "Label section", hp
->cth_lbloff
,
367 hp
->cth_objtoff
) < 0)
370 if (ctf_dump_header_sectfield (fp
, state
, "Data object section",
371 hp
->cth_objtoff
, hp
->cth_funcoff
) < 0)
374 if (ctf_dump_header_sectfield (fp
, state
, "Function info section",
375 hp
->cth_funcoff
, hp
->cth_objtidxoff
) < 0)
378 if (ctf_dump_header_sectfield (fp
, state
, "Object index section",
379 hp
->cth_objtidxoff
, hp
->cth_funcidxoff
) < 0)
382 if (ctf_dump_header_sectfield (fp
, state
, "Function index section",
383 hp
->cth_funcidxoff
, hp
->cth_varoff
) < 0)
386 if (ctf_dump_header_sectfield (fp
, state
, "Variable section",
387 hp
->cth_varoff
, hp
->cth_typeoff
) < 0)
390 if (ctf_dump_header_sectfield (fp
, state
, "Type section",
391 hp
->cth_typeoff
, hp
->cth_stroff
) < 0)
394 if (ctf_dump_header_sectfield (fp
, state
, "String section", hp
->cth_stroff
,
395 hp
->cth_stroff
+ hp
->cth_strlen
+ 1) < 0)
401 return (ctf_set_errno (fp
, errno
));
404 /* Dump a single label into the cds_items. */
407 ctf_dump_label (const char *name
, const ctf_lblinfo_t
*info
,
412 ctf_dump_state_t
*state
= arg
;
414 if (asprintf (&str
, "%s -> ", name
) < 0)
415 return (ctf_set_errno (state
->cds_fp
, errno
));
417 if ((typestr
= ctf_dump_format_type (state
->cds_fp
, info
->ctb_type
,
418 CTF_ADD_ROOT
| CTF_FT_REFS
)) == NULL
)
421 return 0; /* Swallow the error. */
424 str
= str_append (str
, typestr
);
427 ctf_dump_append (state
, str
);
431 /* Dump all the object or function entries into the cds_items. */
434 ctf_dump_objts (ctf_dict_t
*fp
, ctf_dump_state_t
*state
, int functions
)
438 ctf_next_t
*i
= NULL
;
441 if ((functions
&& fp
->ctf_funcidx_names
)
442 || (!functions
&& fp
->ctf_objtidx_names
))
443 str
= str_append (str
, _("Section is indexed.\n"));
444 else if (fp
->ctf_symtab
.cts_data
== NULL
)
445 str
= str_append (str
, _("No symbol table.\n"));
447 while ((id
= ctf_symbol_next (fp
, &i
, &name
, functions
)) != CTF_ERR
)
449 char *typestr
= NULL
;
451 /* Emit the name, if we know it. No trailing space: ctf_dump_format_type
452 has a leading one. */
455 if (asprintf (&str
, "%s -> ", name
) < 0)
461 if ((typestr
= ctf_dump_format_type (state
->cds_fp
, id
,
462 CTF_ADD_ROOT
| CTF_FT_REFS
)) == NULL
)
464 ctf_dump_append (state
, str
);
465 continue; /* Swallow the error. */
468 str
= str_append (str
, typestr
);
470 ctf_dump_append (state
, str
);
474 ctf_set_errno (fp
, ENOMEM
);
475 ctf_next_destroy (i
);
481 /* Dump a single variable into the cds_items. */
483 ctf_dump_var (const char *name
, ctf_id_t type
, void *arg
)
487 ctf_dump_state_t
*state
= arg
;
489 if (asprintf (&str
, "%s -> ", name
) < 0)
490 return (ctf_set_errno (state
->cds_fp
, errno
));
492 if ((typestr
= ctf_dump_format_type (state
->cds_fp
, type
,
493 CTF_ADD_ROOT
| CTF_FT_REFS
)) == NULL
)
496 return 0; /* Swallow the error. */
499 str
= str_append (str
, typestr
);
502 ctf_dump_append (state
, str
);
506 /* Dump a single struct/union member into the string in the membstate. */
508 ctf_dump_member (const char *name
, ctf_id_t id
, unsigned long offset
,
509 int depth
, void *arg
)
511 ctf_dump_membstate_t
*state
= arg
;
512 char *typestr
= NULL
;
515 /* The struct/union itself has already been printed. */
519 if (asprintf (&bit
, "%s%*s", state
->cdm_toplevel_indent
, (depth
-1)*4, "") < 0)
521 *state
->cdm_str
= str_append (*state
->cdm_str
, bit
);
524 if ((typestr
= ctf_dump_format_type (state
->cdm_fp
, id
,
525 CTF_ADD_ROOT
| CTF_FT_BITFIELD
526 | CTF_FT_ID
)) == NULL
)
527 return -1; /* errno is set for us. */
529 if (asprintf (&bit
, "[0x%lx] %s: %s\n", offset
, name
, typestr
) < 0)
532 *state
->cdm_str
= str_append (*state
->cdm_str
, bit
);
543 return (ctf_set_errno (state
->cdm_fp
, errno
));
546 /* Report the number of digits in the hexadecimal representation of a type
550 type_hex_digits (ctf_id_t id
)
557 for (; id
> 0; id
>>= 4, i
++);
561 /* Dump a single type into the cds_items. */
563 ctf_dump_type (ctf_id_t id
, int flag
, void *arg
)
567 ctf_dump_state_t
*state
= arg
;
568 ctf_dump_membstate_t membstate
= { &str
, state
->cds_fp
, NULL
};
571 if (asprintf (&indent
, " %*s", type_hex_digits (id
), "") < 0)
572 return (ctf_set_errno (state
->cds_fp
, ENOMEM
));
574 /* Dump the type itself. */
575 if ((str
= ctf_dump_format_type (state
->cds_fp
, id
,
576 flag
| CTF_FT_REFS
)) == NULL
)
578 str
= str_append (str
, "\n");
580 membstate
.cdm_toplevel_indent
= indent
;
582 /* Member dumping for structs, unions... */
583 if (ctf_type_kind (state
->cds_fp
, id
) == CTF_K_STRUCT
584 || ctf_type_kind (state
->cds_fp
, id
) == CTF_K_UNION
)
586 if ((ctf_type_visit (state
->cds_fp
, id
, ctf_dump_member
, &membstate
)) < 0)
588 if (id
== 0 || ctf_errno (state
->cds_fp
) == ECTF_NONREPRESENTABLE
)
590 ctf_dump_append (state
, str
);
593 ctf_err_warn (state
->cds_fp
, 1, ctf_errno (state
->cds_fp
),
594 _("cannot visit members dumping type 0x%lx"), id
);
599 /* ... and enums, for which we dump the first and last few members and skip
600 the ones in the middle. */
601 if (ctf_type_kind (state
->cds_fp
, id
) == CTF_K_ENUM
)
603 int enum_count
= ctf_member_count (state
->cds_fp
, id
);
604 ctf_next_t
*it
= NULL
;
606 const char *enumerand
;
610 while ((enumerand
= ctf_enum_next (state
->cds_fp
, id
,
611 &it
, &value
)) != NULL
)
614 if ((i
> 5) && (i
< enum_count
- 4))
617 str
= str_append (str
, indent
);
619 if (asprintf (&bit
, "%s: %i\n", enumerand
, value
) < 0)
621 ctf_next_destroy (it
);
624 str
= str_append (str
, bit
);
627 if ((i
== 5) && (enum_count
> 10))
629 str
= str_append (str
, indent
);
630 str
= str_append (str
, "...\n");
633 if (ctf_errno (state
->cds_fp
) != ECTF_NEXT_END
)
635 ctf_err_warn (state
->cds_fp
, 1, ctf_errno (state
->cds_fp
),
636 _("cannot visit enumerands dumping type 0x%lx"), id
);
641 ctf_dump_append (state
, str
);
650 /* Swallow the error: don't cause an error in one type to abort all
657 return ctf_set_errno (state
->cds_fp
, ENOMEM
);
660 /* Dump the string table into the cds_items. */
663 ctf_dump_str (ctf_dict_t
*fp
, ctf_dump_state_t
*state
)
665 const char *s
= fp
->ctf_str
[CTF_STRTAB_0
].cts_strs
;
667 for (; s
< fp
->ctf_str
[CTF_STRTAB_0
].cts_strs
+
668 fp
->ctf_str
[CTF_STRTAB_0
].cts_len
;)
671 if (asprintf (&str
, "0x%lx: %s",
672 (unsigned long) (s
- fp
->ctf_str
[CTF_STRTAB_0
].cts_strs
),
674 return (ctf_set_errno (fp
, errno
));
675 ctf_dump_append (state
, str
);
682 /* Dump a particular section of a CTF file, in textual form. Call with a
683 pointer to a NULL STATE: each call emits a dynamically allocated string
684 containing a description of one entity in the specified section, in order.
685 Only the first call (with a NULL state) may vary SECT. Once the CTF section
686 has been entirely dumped, the call returns NULL and frees and annuls the
687 STATE, ready for another section to be dumped. The returned textual content
688 may span multiple lines: between each call the FUNC is called with one
689 textual line at a time, and should return a suitably decorated line (it can
690 allocate a new one and return it if it likes). */
693 ctf_dump (ctf_dict_t
*fp
, ctf_dump_state_t
**statep
, ctf_sect_names_t sect
,
694 ctf_dump_decorate_f
*func
, void *arg
)
698 ctf_dump_state_t
*state
= NULL
;
702 /* Data collection. Transforming a call-at-a-time iterator into a
703 return-at-a-time iterator in a language without call/cc is annoying. It
704 is easiest to simply collect everything at once and then return it bit
705 by bit. The first call will take (much) longer than otherwise, but the
706 amortized time needed is the same. */
708 if ((*statep
= malloc (sizeof (struct ctf_dump_state
))) == NULL
)
710 ctf_set_errno (fp
, ENOMEM
);
715 memset (state
, 0, sizeof (struct ctf_dump_state
));
717 state
->cds_sect
= sect
;
721 case CTF_SECT_HEADER
:
722 ctf_dump_header (fp
, state
);
725 if (ctf_label_iter (fp
, ctf_dump_label
, state
) < 0)
727 if (ctf_errno (fp
) != ECTF_NOLABELDATA
)
728 goto end
; /* errno is set for us. */
729 ctf_set_errno (fp
, 0);
733 if (ctf_dump_objts (fp
, state
, 0) < 0)
734 goto end
; /* errno is set for us. */
737 if (ctf_dump_objts (fp
, state
, 1) < 0)
738 goto end
; /* errno is set for us. */
741 if (ctf_variable_iter (fp
, ctf_dump_var
, state
) < 0)
742 goto end
; /* errno is set for us. */
745 if (ctf_type_iter_all (fp
, ctf_dump_type
, state
) < 0)
746 goto end
; /* errno is set for us. */
749 ctf_dump_str (fp
, state
);
752 ctf_set_errno (fp
, ECTF_DUMPSECTUNKNOWN
);
760 if (state
->cds_sect
!= sect
)
762 ctf_set_errno (fp
, ECTF_DUMPSECTCHANGED
);
767 if (state
->cds_current
== NULL
)
768 state
->cds_current
= ctf_list_next (&state
->cds_items
);
770 state
->cds_current
= ctf_list_next (state
->cds_current
);
772 if (state
->cds_current
== NULL
)
775 /* Hookery. There is some extra complexity to preserve linefeeds within each
776 item while removing linefeeds at the end. */
782 for (line
= state
->cds_current
->cdi_item
; line
&& *line
; )
787 nline
= strchr (line
, '\n');
791 ret
= func (sect
, line
, arg
);
792 str
= str_append (str
, ret
);
793 str
= str_append (str
, "\n");
808 if (str
[len
-1] == '\n')
813 str
= strdup (state
->cds_current
->cdi_item
);
816 ctf_set_errno (fp
, ENOMEM
);
821 ctf_set_errno (fp
, 0);
825 ctf_dump_free (state
);
827 ctf_set_errno (fp
, 0);