bpf_prog_linfo.c 6.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246
  1. // SPDX-License-Identifier: (LGPL-2.1 OR BSD-2-Clause)
  2. /* Copyright (c) 2018 Facebook */
  3. #include <string.h>
  4. #include <stdlib.h>
  5. #include <linux/err.h>
  6. #include <linux/bpf.h>
  7. #include "libbpf.h"
  8. #include "libbpf_internal.h"
  9. struct bpf_prog_linfo {
  10. void *raw_linfo;
  11. void *raw_jited_linfo;
  12. __u32 *nr_jited_linfo_per_func;
  13. __u32 *jited_linfo_func_idx;
  14. __u32 nr_linfo;
  15. __u32 nr_jited_func;
  16. __u32 rec_size;
  17. __u32 jited_rec_size;
  18. };
  19. static int dissect_jited_func(struct bpf_prog_linfo *prog_linfo,
  20. const __u64 *ksym_func, const __u32 *ksym_len)
  21. {
  22. __u32 nr_jited_func, nr_linfo;
  23. const void *raw_jited_linfo;
  24. const __u64 *jited_linfo;
  25. __u64 last_jited_linfo;
  26. /*
  27. * Index to raw_jited_linfo:
  28. * i: Index for searching the next ksym_func
  29. * prev_i: Index to the last found ksym_func
  30. */
  31. __u32 i, prev_i;
  32. __u32 f; /* Index to ksym_func */
  33. raw_jited_linfo = prog_linfo->raw_jited_linfo;
  34. jited_linfo = raw_jited_linfo;
  35. if (ksym_func[0] != *jited_linfo)
  36. goto errout;
  37. prog_linfo->jited_linfo_func_idx[0] = 0;
  38. nr_jited_func = prog_linfo->nr_jited_func;
  39. nr_linfo = prog_linfo->nr_linfo;
  40. for (prev_i = 0, i = 1, f = 1;
  41. i < nr_linfo && f < nr_jited_func;
  42. i++) {
  43. raw_jited_linfo += prog_linfo->jited_rec_size;
  44. last_jited_linfo = *jited_linfo;
  45. jited_linfo = raw_jited_linfo;
  46. if (ksym_func[f] == *jited_linfo) {
  47. prog_linfo->jited_linfo_func_idx[f] = i;
  48. /* Sanity check */
  49. if (last_jited_linfo - ksym_func[f - 1] + 1 >
  50. ksym_len[f - 1])
  51. goto errout;
  52. prog_linfo->nr_jited_linfo_per_func[f - 1] =
  53. i - prev_i;
  54. prev_i = i;
  55. /*
  56. * The ksym_func[f] is found in jited_linfo.
  57. * Look for the next one.
  58. */
  59. f++;
  60. } else if (*jited_linfo <= last_jited_linfo) {
  61. /* Ensure the addr is increasing _within_ a func */
  62. goto errout;
  63. }
  64. }
  65. if (f != nr_jited_func)
  66. goto errout;
  67. prog_linfo->nr_jited_linfo_per_func[nr_jited_func - 1] =
  68. nr_linfo - prev_i;
  69. return 0;
  70. errout:
  71. return -EINVAL;
  72. }
  73. void bpf_prog_linfo__free(struct bpf_prog_linfo *prog_linfo)
  74. {
  75. if (!prog_linfo)
  76. return;
  77. free(prog_linfo->raw_linfo);
  78. free(prog_linfo->raw_jited_linfo);
  79. free(prog_linfo->nr_jited_linfo_per_func);
  80. free(prog_linfo->jited_linfo_func_idx);
  81. free(prog_linfo);
  82. }
  83. struct bpf_prog_linfo *bpf_prog_linfo__new(const struct bpf_prog_info *info)
  84. {
  85. struct bpf_prog_linfo *prog_linfo;
  86. __u32 nr_linfo, nr_jited_func;
  87. __u64 data_sz;
  88. nr_linfo = info->nr_line_info;
  89. if (!nr_linfo)
  90. return errno = EINVAL, NULL;
  91. /*
  92. * The min size that bpf_prog_linfo has to access for
  93. * searching purpose.
  94. */
  95. if (info->line_info_rec_size <
  96. offsetof(struct bpf_line_info, file_name_off))
  97. return errno = EINVAL, NULL;
  98. prog_linfo = calloc(1, sizeof(*prog_linfo));
  99. if (!prog_linfo)
  100. return errno = ENOMEM, NULL;
  101. /* Copy xlated line_info */
  102. prog_linfo->nr_linfo = nr_linfo;
  103. prog_linfo->rec_size = info->line_info_rec_size;
  104. data_sz = (__u64)nr_linfo * prog_linfo->rec_size;
  105. prog_linfo->raw_linfo = malloc(data_sz);
  106. if (!prog_linfo->raw_linfo)
  107. goto err_free;
  108. memcpy(prog_linfo->raw_linfo, (void *)(long)info->line_info, data_sz);
  109. nr_jited_func = info->nr_jited_ksyms;
  110. if (!nr_jited_func ||
  111. !info->jited_line_info ||
  112. info->nr_jited_line_info != nr_linfo ||
  113. info->jited_line_info_rec_size < sizeof(__u64) ||
  114. info->nr_jited_func_lens != nr_jited_func ||
  115. !info->jited_ksyms ||
  116. !info->jited_func_lens)
  117. /* Not enough info to provide jited_line_info */
  118. return prog_linfo;
  119. /* Copy jited_line_info */
  120. prog_linfo->nr_jited_func = nr_jited_func;
  121. prog_linfo->jited_rec_size = info->jited_line_info_rec_size;
  122. data_sz = (__u64)nr_linfo * prog_linfo->jited_rec_size;
  123. prog_linfo->raw_jited_linfo = malloc(data_sz);
  124. if (!prog_linfo->raw_jited_linfo)
  125. goto err_free;
  126. memcpy(prog_linfo->raw_jited_linfo,
  127. (void *)(long)info->jited_line_info, data_sz);
  128. /* Number of jited_line_info per jited func */
  129. prog_linfo->nr_jited_linfo_per_func = malloc(nr_jited_func *
  130. sizeof(__u32));
  131. if (!prog_linfo->nr_jited_linfo_per_func)
  132. goto err_free;
  133. /*
  134. * For each jited func,
  135. * the start idx to the "linfo" and "jited_linfo" array,
  136. */
  137. prog_linfo->jited_linfo_func_idx = malloc(nr_jited_func *
  138. sizeof(__u32));
  139. if (!prog_linfo->jited_linfo_func_idx)
  140. goto err_free;
  141. if (dissect_jited_func(prog_linfo,
  142. (__u64 *)(long)info->jited_ksyms,
  143. (__u32 *)(long)info->jited_func_lens))
  144. goto err_free;
  145. return prog_linfo;
  146. err_free:
  147. bpf_prog_linfo__free(prog_linfo);
  148. return errno = EINVAL, NULL;
  149. }
  150. const struct bpf_line_info *
  151. bpf_prog_linfo__lfind_addr_func(const struct bpf_prog_linfo *prog_linfo,
  152. __u64 addr, __u32 func_idx, __u32 nr_skip)
  153. {
  154. __u32 jited_rec_size, rec_size, nr_linfo, start, i;
  155. const void *raw_jited_linfo, *raw_linfo;
  156. const __u64 *jited_linfo;
  157. if (func_idx >= prog_linfo->nr_jited_func)
  158. return errno = ENOENT, NULL;
  159. nr_linfo = prog_linfo->nr_jited_linfo_per_func[func_idx];
  160. if (nr_skip >= nr_linfo)
  161. return errno = ENOENT, NULL;
  162. start = prog_linfo->jited_linfo_func_idx[func_idx] + nr_skip;
  163. jited_rec_size = prog_linfo->jited_rec_size;
  164. raw_jited_linfo = prog_linfo->raw_jited_linfo +
  165. (start * jited_rec_size);
  166. jited_linfo = raw_jited_linfo;
  167. if (addr < *jited_linfo)
  168. return errno = ENOENT, NULL;
  169. nr_linfo -= nr_skip;
  170. rec_size = prog_linfo->rec_size;
  171. raw_linfo = prog_linfo->raw_linfo + (start * rec_size);
  172. for (i = 0; i < nr_linfo; i++) {
  173. if (addr < *jited_linfo)
  174. break;
  175. raw_linfo += rec_size;
  176. raw_jited_linfo += jited_rec_size;
  177. jited_linfo = raw_jited_linfo;
  178. }
  179. return raw_linfo - rec_size;
  180. }
  181. const struct bpf_line_info *
  182. bpf_prog_linfo__lfind(const struct bpf_prog_linfo *prog_linfo,
  183. __u32 insn_off, __u32 nr_skip)
  184. {
  185. const struct bpf_line_info *linfo;
  186. __u32 rec_size, nr_linfo, i;
  187. const void *raw_linfo;
  188. nr_linfo = prog_linfo->nr_linfo;
  189. if (nr_skip >= nr_linfo)
  190. return errno = ENOENT, NULL;
  191. rec_size = prog_linfo->rec_size;
  192. raw_linfo = prog_linfo->raw_linfo + (nr_skip * rec_size);
  193. linfo = raw_linfo;
  194. if (insn_off < linfo->insn_off)
  195. return errno = ENOENT, NULL;
  196. nr_linfo -= nr_skip;
  197. for (i = 0; i < nr_linfo; i++) {
  198. if (insn_off < linfo->insn_off)
  199. break;
  200. raw_linfo += rec_size;
  201. linfo = raw_linfo;
  202. }
  203. return raw_linfo - rec_size;
  204. }