| // SPDX-License-Identifier: GPL-2.0 |
| #include <string.h> |
| #include <stdlib.h> |
| #include "util/string2.h" |
| |
| #include "demangle-ocaml.h" |
| |
| #include <linux/ctype.h> |
| |
| static const char *caml_prefix = "caml"; |
| static const size_t caml_prefix_len = 4; |
| |
| /* mangled OCaml symbols start with "caml" followed by an upper-case letter */ |
| static bool |
| ocaml_is_mangled(const char *sym) |
| { |
| return 0 == strncmp(sym, caml_prefix, caml_prefix_len) |
| && isupper(sym[caml_prefix_len]); |
| } |
| |
| /* |
| * input: |
| * sym: a symbol which may have been mangled by the OCaml compiler |
| * return: |
| * if the input doesn't look like a mangled OCaml symbol, NULL is returned |
| * otherwise, a newly allocated string containing the demangled symbol is returned |
| */ |
| char * |
| ocaml_demangle_sym(const char *sym) |
| { |
| char *result; |
| int j = 0; |
| int i; |
| int len; |
| |
| if (!ocaml_is_mangled(sym)) { |
| return NULL; |
| } |
| |
| len = strlen(sym); |
| |
| /* the demangled symbol is always smaller than the mangled symbol */ |
| result = malloc(len + 1); |
| if (!result) |
| return NULL; |
| |
| /* skip "caml" prefix */ |
| i = caml_prefix_len; |
| |
| while (i < len) { |
| if (sym[i] == '_' && sym[i + 1] == '_') { |
| /* "__" -> "." */ |
| result[j++] = '.'; |
| i += 2; |
| } |
| else if (sym[i] == '$' && isxdigit(sym[i + 1]) && isxdigit(sym[i + 2])) { |
| /* "$xx" is a hex-encoded character */ |
| result[j++] = (hex(sym[i + 1]) << 4) | hex(sym[i + 2]); |
| i += 3; |
| } |
| else { |
| result[j++] = sym[i++]; |
| } |
| } |
| result[j] = '\0'; |
| |
| return result; |
| } |