ldt_gdt.c 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576
  1. /*
  2. * ldt_gdt.c - Test cases for LDT and GDT access
  3. * Copyright (c) 2015 Andrew Lutomirski
  4. */
  5. #define _GNU_SOURCE
  6. #include <err.h>
  7. #include <stdio.h>
  8. #include <stdint.h>
  9. #include <signal.h>
  10. #include <setjmp.h>
  11. #include <stdlib.h>
  12. #include <string.h>
  13. #include <errno.h>
  14. #include <unistd.h>
  15. #include <sys/syscall.h>
  16. #include <asm/ldt.h>
  17. #include <sys/types.h>
  18. #include <sys/wait.h>
  19. #include <stdbool.h>
  20. #include <pthread.h>
  21. #include <sched.h>
  22. #include <linux/futex.h>
  23. #define AR_ACCESSED (1<<8)
  24. #define AR_TYPE_RODATA (0 * (1<<9))
  25. #define AR_TYPE_RWDATA (1 * (1<<9))
  26. #define AR_TYPE_RODATA_EXPDOWN (2 * (1<<9))
  27. #define AR_TYPE_RWDATA_EXPDOWN (3 * (1<<9))
  28. #define AR_TYPE_XOCODE (4 * (1<<9))
  29. #define AR_TYPE_XRCODE (5 * (1<<9))
  30. #define AR_TYPE_XOCODE_CONF (6 * (1<<9))
  31. #define AR_TYPE_XRCODE_CONF (7 * (1<<9))
  32. #define AR_DPL3 (3 * (1<<13))
  33. #define AR_S (1 << 12)
  34. #define AR_P (1 << 15)
  35. #define AR_AVL (1 << 20)
  36. #define AR_L (1 << 21)
  37. #define AR_DB (1 << 22)
  38. #define AR_G (1 << 23)
  39. static int nerrs;
  40. static void check_invalid_segment(uint16_t index, int ldt)
  41. {
  42. uint32_t has_limit = 0, has_ar = 0, limit, ar;
  43. uint32_t selector = (index << 3) | (ldt << 2) | 3;
  44. asm ("lsl %[selector], %[limit]\n\t"
  45. "jnz 1f\n\t"
  46. "movl $1, %[has_limit]\n\t"
  47. "1:"
  48. : [limit] "=r" (limit), [has_limit] "+rm" (has_limit)
  49. : [selector] "r" (selector));
  50. asm ("larl %[selector], %[ar]\n\t"
  51. "jnz 1f\n\t"
  52. "movl $1, %[has_ar]\n\t"
  53. "1:"
  54. : [ar] "=r" (ar), [has_ar] "+rm" (has_ar)
  55. : [selector] "r" (selector));
  56. if (has_limit || has_ar) {
  57. printf("[FAIL]\t%s entry %hu is valid but should be invalid\n",
  58. (ldt ? "LDT" : "GDT"), index);
  59. nerrs++;
  60. } else {
  61. printf("[OK]\t%s entry %hu is invalid\n",
  62. (ldt ? "LDT" : "GDT"), index);
  63. }
  64. }
  65. static void check_valid_segment(uint16_t index, int ldt,
  66. uint32_t expected_ar, uint32_t expected_limit,
  67. bool verbose)
  68. {
  69. uint32_t has_limit = 0, has_ar = 0, limit, ar;
  70. uint32_t selector = (index << 3) | (ldt << 2) | 3;
  71. asm ("lsl %[selector], %[limit]\n\t"
  72. "jnz 1f\n\t"
  73. "movl $1, %[has_limit]\n\t"
  74. "1:"
  75. : [limit] "=r" (limit), [has_limit] "+rm" (has_limit)
  76. : [selector] "r" (selector));
  77. asm ("larl %[selector], %[ar]\n\t"
  78. "jnz 1f\n\t"
  79. "movl $1, %[has_ar]\n\t"
  80. "1:"
  81. : [ar] "=r" (ar), [has_ar] "+rm" (has_ar)
  82. : [selector] "r" (selector));
  83. if (!has_limit || !has_ar) {
  84. printf("[FAIL]\t%s entry %hu is invalid but should be valid\n",
  85. (ldt ? "LDT" : "GDT"), index);
  86. nerrs++;
  87. return;
  88. }
  89. if (ar != expected_ar) {
  90. printf("[FAIL]\t%s entry %hu has AR 0x%08X but expected 0x%08X\n",
  91. (ldt ? "LDT" : "GDT"), index, ar, expected_ar);
  92. nerrs++;
  93. } else if (limit != expected_limit) {
  94. printf("[FAIL]\t%s entry %hu has limit 0x%08X but expected 0x%08X\n",
  95. (ldt ? "LDT" : "GDT"), index, limit, expected_limit);
  96. nerrs++;
  97. } else if (verbose) {
  98. printf("[OK]\t%s entry %hu has AR 0x%08X and limit 0x%08X\n",
  99. (ldt ? "LDT" : "GDT"), index, ar, limit);
  100. }
  101. }
  102. static bool install_valid_mode(const struct user_desc *desc, uint32_t ar,
  103. bool oldmode)
  104. {
  105. int ret = syscall(SYS_modify_ldt, oldmode ? 1 : 0x11,
  106. desc, sizeof(*desc));
  107. if (ret < -1)
  108. errno = -ret;
  109. if (ret == 0) {
  110. uint32_t limit = desc->limit;
  111. if (desc->limit_in_pages)
  112. limit = (limit << 12) + 4095;
  113. check_valid_segment(desc->entry_number, 1, ar, limit, true);
  114. return true;
  115. } else if (errno == ENOSYS) {
  116. printf("[OK]\tmodify_ldt returned -ENOSYS\n");
  117. return false;
  118. } else {
  119. if (desc->seg_32bit) {
  120. printf("[FAIL]\tUnexpected modify_ldt failure %d\n",
  121. errno);
  122. nerrs++;
  123. return false;
  124. } else {
  125. printf("[OK]\tmodify_ldt rejected 16 bit segment\n");
  126. return false;
  127. }
  128. }
  129. }
  130. static bool install_valid(const struct user_desc *desc, uint32_t ar)
  131. {
  132. return install_valid_mode(desc, ar, false);
  133. }
  134. static void install_invalid(const struct user_desc *desc, bool oldmode)
  135. {
  136. int ret = syscall(SYS_modify_ldt, oldmode ? 1 : 0x11,
  137. desc, sizeof(*desc));
  138. if (ret < -1)
  139. errno = -ret;
  140. if (ret == 0) {
  141. check_invalid_segment(desc->entry_number, 1);
  142. } else if (errno == ENOSYS) {
  143. printf("[OK]\tmodify_ldt returned -ENOSYS\n");
  144. } else {
  145. if (desc->seg_32bit) {
  146. printf("[FAIL]\tUnexpected modify_ldt failure %d\n",
  147. errno);
  148. nerrs++;
  149. } else {
  150. printf("[OK]\tmodify_ldt rejected 16 bit segment\n");
  151. }
  152. }
  153. }
  154. static int safe_modify_ldt(int func, struct user_desc *ptr,
  155. unsigned long bytecount)
  156. {
  157. int ret = syscall(SYS_modify_ldt, 0x11, ptr, bytecount);
  158. if (ret < -1)
  159. errno = -ret;
  160. return ret;
  161. }
  162. static void fail_install(struct user_desc *desc)
  163. {
  164. if (safe_modify_ldt(0x11, desc, sizeof(*desc)) == 0) {
  165. printf("[FAIL]\tmodify_ldt accepted a bad descriptor\n");
  166. nerrs++;
  167. } else if (errno == ENOSYS) {
  168. printf("[OK]\tmodify_ldt returned -ENOSYS\n");
  169. } else {
  170. printf("[OK]\tmodify_ldt failure %d\n", errno);
  171. }
  172. }
  173. static void do_simple_tests(void)
  174. {
  175. struct user_desc desc = {
  176. .entry_number = 0,
  177. .base_addr = 0,
  178. .limit = 10,
  179. .seg_32bit = 1,
  180. .contents = 2, /* Code, not conforming */
  181. .read_exec_only = 0,
  182. .limit_in_pages = 0,
  183. .seg_not_present = 0,
  184. .useable = 0
  185. };
  186. install_valid(&desc, AR_DPL3 | AR_TYPE_XRCODE | AR_S | AR_P | AR_DB);
  187. desc.limit_in_pages = 1;
  188. install_valid(&desc, AR_DPL3 | AR_TYPE_XRCODE |
  189. AR_S | AR_P | AR_DB | AR_G);
  190. check_invalid_segment(1, 1);
  191. desc.entry_number = 2;
  192. install_valid(&desc, AR_DPL3 | AR_TYPE_XRCODE |
  193. AR_S | AR_P | AR_DB | AR_G);
  194. check_invalid_segment(1, 1);
  195. desc.base_addr = 0xf0000000;
  196. install_valid(&desc, AR_DPL3 | AR_TYPE_XRCODE |
  197. AR_S | AR_P | AR_DB | AR_G);
  198. desc.useable = 1;
  199. install_valid(&desc, AR_DPL3 | AR_TYPE_XRCODE |
  200. AR_S | AR_P | AR_DB | AR_G | AR_AVL);
  201. desc.seg_not_present = 1;
  202. install_valid(&desc, AR_DPL3 | AR_TYPE_XRCODE |
  203. AR_S | AR_DB | AR_G | AR_AVL);
  204. desc.seg_32bit = 0;
  205. install_valid(&desc, AR_DPL3 | AR_TYPE_XRCODE |
  206. AR_S | AR_G | AR_AVL);
  207. desc.seg_32bit = 1;
  208. desc.contents = 0;
  209. install_valid(&desc, AR_DPL3 | AR_TYPE_RWDATA |
  210. AR_S | AR_DB | AR_G | AR_AVL);
  211. desc.read_exec_only = 1;
  212. install_valid(&desc, AR_DPL3 | AR_TYPE_RODATA |
  213. AR_S | AR_DB | AR_G | AR_AVL);
  214. desc.contents = 1;
  215. install_valid(&desc, AR_DPL3 | AR_TYPE_RODATA_EXPDOWN |
  216. AR_S | AR_DB | AR_G | AR_AVL);
  217. desc.read_exec_only = 0;
  218. desc.limit_in_pages = 0;
  219. install_valid(&desc, AR_DPL3 | AR_TYPE_RWDATA_EXPDOWN |
  220. AR_S | AR_DB | AR_AVL);
  221. desc.contents = 3;
  222. install_valid(&desc, AR_DPL3 | AR_TYPE_XRCODE_CONF |
  223. AR_S | AR_DB | AR_AVL);
  224. desc.read_exec_only = 1;
  225. install_valid(&desc, AR_DPL3 | AR_TYPE_XOCODE_CONF |
  226. AR_S | AR_DB | AR_AVL);
  227. desc.read_exec_only = 0;
  228. desc.contents = 2;
  229. install_valid(&desc, AR_DPL3 | AR_TYPE_XRCODE |
  230. AR_S | AR_DB | AR_AVL);
  231. desc.read_exec_only = 1;
  232. #ifdef __x86_64__
  233. desc.lm = 1;
  234. install_valid(&desc, AR_DPL3 | AR_TYPE_XOCODE |
  235. AR_S | AR_DB | AR_AVL);
  236. desc.lm = 0;
  237. #endif
  238. bool entry1_okay = install_valid(&desc, AR_DPL3 | AR_TYPE_XOCODE |
  239. AR_S | AR_DB | AR_AVL);
  240. if (entry1_okay) {
  241. printf("[RUN]\tTest fork\n");
  242. pid_t child = fork();
  243. if (child == 0) {
  244. nerrs = 0;
  245. check_valid_segment(desc.entry_number, 1,
  246. AR_DPL3 | AR_TYPE_XOCODE |
  247. AR_S | AR_DB | AR_AVL, desc.limit,
  248. true);
  249. check_invalid_segment(1, 1);
  250. exit(nerrs ? 1 : 0);
  251. } else {
  252. int status;
  253. if (waitpid(child, &status, 0) != child ||
  254. !WIFEXITED(status)) {
  255. printf("[FAIL]\tChild died\n");
  256. nerrs++;
  257. } else if (WEXITSTATUS(status) != 0) {
  258. printf("[FAIL]\tChild failed\n");
  259. nerrs++;
  260. } else {
  261. printf("[OK]\tChild succeeded\n");
  262. }
  263. }
  264. printf("[RUN]\tTest size\n");
  265. int i;
  266. for (i = 0; i < 8192; i++) {
  267. desc.entry_number = i;
  268. desc.limit = i;
  269. if (safe_modify_ldt(0x11, &desc, sizeof(desc)) != 0) {
  270. printf("[FAIL]\tFailed to install entry %d\n", i);
  271. nerrs++;
  272. break;
  273. }
  274. }
  275. for (int j = 0; j < i; j++) {
  276. check_valid_segment(j, 1, AR_DPL3 | AR_TYPE_XOCODE |
  277. AR_S | AR_DB | AR_AVL, j, false);
  278. }
  279. printf("[DONE]\tSize test\n");
  280. } else {
  281. printf("[SKIP]\tSkipping fork and size tests because we have no LDT\n");
  282. }
  283. /* Test entry_number too high. */
  284. desc.entry_number = 8192;
  285. fail_install(&desc);
  286. /* Test deletion and actions mistakeable for deletion. */
  287. memset(&desc, 0, sizeof(desc));
  288. install_valid(&desc, AR_DPL3 | AR_TYPE_RWDATA | AR_S | AR_P);
  289. desc.seg_not_present = 1;
  290. install_valid(&desc, AR_DPL3 | AR_TYPE_RWDATA | AR_S);
  291. desc.seg_not_present = 0;
  292. desc.read_exec_only = 1;
  293. install_valid(&desc, AR_DPL3 | AR_TYPE_RODATA | AR_S | AR_P);
  294. desc.read_exec_only = 0;
  295. desc.seg_not_present = 1;
  296. install_valid(&desc, AR_DPL3 | AR_TYPE_RWDATA | AR_S);
  297. desc.read_exec_only = 1;
  298. desc.limit = 1;
  299. install_valid(&desc, AR_DPL3 | AR_TYPE_RODATA | AR_S);
  300. desc.limit = 0;
  301. desc.base_addr = 1;
  302. install_valid(&desc, AR_DPL3 | AR_TYPE_RODATA | AR_S);
  303. desc.base_addr = 0;
  304. install_invalid(&desc, false);
  305. desc.seg_not_present = 0;
  306. desc.read_exec_only = 0;
  307. desc.seg_32bit = 1;
  308. install_valid(&desc, AR_DPL3 | AR_TYPE_RWDATA | AR_S | AR_P | AR_DB);
  309. install_invalid(&desc, true);
  310. }
  311. /*
  312. * 0: thread is idle
  313. * 1: thread armed
  314. * 2: thread should clear LDT entry 0
  315. * 3: thread should exit
  316. */
  317. static volatile unsigned int ftx;
  318. static void *threadproc(void *ctx)
  319. {
  320. cpu_set_t cpuset;
  321. CPU_ZERO(&cpuset);
  322. CPU_SET(1, &cpuset);
  323. if (sched_setaffinity(0, sizeof(cpuset), &cpuset) != 0)
  324. err(1, "sched_setaffinity to CPU 1"); /* should never fail */
  325. while (1) {
  326. syscall(SYS_futex, &ftx, FUTEX_WAIT, 0, NULL, NULL, 0);
  327. while (ftx != 2) {
  328. if (ftx >= 3)
  329. return NULL;
  330. }
  331. /* clear LDT entry 0 */
  332. const struct user_desc desc = {};
  333. if (syscall(SYS_modify_ldt, 1, &desc, sizeof(desc)) != 0)
  334. err(1, "modify_ldt");
  335. /* If ftx == 2, set it to zero. If ftx == 100, quit. */
  336. unsigned int x = -2;
  337. asm volatile ("lock xaddl %[x], %[ftx]" :
  338. [x] "+r" (x), [ftx] "+m" (ftx));
  339. if (x != 2)
  340. return NULL;
  341. }
  342. }
  343. static void sethandler(int sig, void (*handler)(int, siginfo_t *, void *),
  344. int flags)
  345. {
  346. struct sigaction sa;
  347. memset(&sa, 0, sizeof(sa));
  348. sa.sa_sigaction = handler;
  349. sa.sa_flags = SA_SIGINFO | flags;
  350. sigemptyset(&sa.sa_mask);
  351. if (sigaction(sig, &sa, 0))
  352. err(1, "sigaction");
  353. }
  354. static jmp_buf jmpbuf;
  355. static void sigsegv(int sig, siginfo_t *info, void *ctx_void)
  356. {
  357. siglongjmp(jmpbuf, 1);
  358. }
  359. static void do_multicpu_tests(void)
  360. {
  361. cpu_set_t cpuset;
  362. pthread_t thread;
  363. int failures = 0, iters = 5, i;
  364. unsigned short orig_ss;
  365. CPU_ZERO(&cpuset);
  366. CPU_SET(1, &cpuset);
  367. if (sched_setaffinity(0, sizeof(cpuset), &cpuset) != 0) {
  368. printf("[SKIP]\tCannot set affinity to CPU 1\n");
  369. return;
  370. }
  371. CPU_ZERO(&cpuset);
  372. CPU_SET(0, &cpuset);
  373. if (sched_setaffinity(0, sizeof(cpuset), &cpuset) != 0) {
  374. printf("[SKIP]\tCannot set affinity to CPU 0\n");
  375. return;
  376. }
  377. sethandler(SIGSEGV, sigsegv, 0);
  378. #ifdef __i386__
  379. /* True 32-bit kernels send SIGILL instead of SIGSEGV on IRET faults. */
  380. sethandler(SIGILL, sigsegv, 0);
  381. #endif
  382. printf("[RUN]\tCross-CPU LDT invalidation\n");
  383. if (pthread_create(&thread, 0, threadproc, 0) != 0)
  384. err(1, "pthread_create");
  385. asm volatile ("mov %%ss, %0" : "=rm" (orig_ss));
  386. for (i = 0; i < 5; i++) {
  387. if (sigsetjmp(jmpbuf, 1) != 0)
  388. continue;
  389. /* Make sure the thread is ready after the last test. */
  390. while (ftx != 0)
  391. ;
  392. struct user_desc desc = {
  393. .entry_number = 0,
  394. .base_addr = 0,
  395. .limit = 0xfffff,
  396. .seg_32bit = 1,
  397. .contents = 0, /* Data */
  398. .read_exec_only = 0,
  399. .limit_in_pages = 1,
  400. .seg_not_present = 0,
  401. .useable = 0
  402. };
  403. if (safe_modify_ldt(0x11, &desc, sizeof(desc)) != 0) {
  404. if (errno != ENOSYS)
  405. err(1, "modify_ldt");
  406. printf("[SKIP]\tmodify_ldt unavailable\n");
  407. break;
  408. }
  409. /* Arm the thread. */
  410. ftx = 1;
  411. syscall(SYS_futex, &ftx, FUTEX_WAKE, 0, NULL, NULL, 0);
  412. asm volatile ("mov %0, %%ss" : : "r" (0x7));
  413. /* Go! */
  414. ftx = 2;
  415. while (ftx != 0)
  416. ;
  417. /*
  418. * On success, modify_ldt will segfault us synchronously,
  419. * and we'll escape via siglongjmp.
  420. */
  421. failures++;
  422. asm volatile ("mov %0, %%ss" : : "rm" (orig_ss));
  423. };
  424. ftx = 100; /* Kill the thread. */
  425. syscall(SYS_futex, &ftx, FUTEX_WAKE, 0, NULL, NULL, 0);
  426. if (pthread_join(thread, NULL) != 0)
  427. err(1, "pthread_join");
  428. if (failures) {
  429. printf("[FAIL]\t%d of %d iterations failed\n", failures, iters);
  430. nerrs++;
  431. } else {
  432. printf("[OK]\tAll %d iterations succeeded\n", iters);
  433. }
  434. }
  435. static int finish_exec_test(void)
  436. {
  437. /*
  438. * In a sensible world, this would be check_invalid_segment(0, 1);
  439. * For better or for worse, though, the LDT is inherited across exec.
  440. * We can probably change this safely, but for now we test it.
  441. */
  442. check_valid_segment(0, 1,
  443. AR_DPL3 | AR_TYPE_XRCODE | AR_S | AR_P | AR_DB,
  444. 42, true);
  445. return nerrs ? 1 : 0;
  446. }
  447. static void do_exec_test(void)
  448. {
  449. printf("[RUN]\tTest exec\n");
  450. struct user_desc desc = {
  451. .entry_number = 0,
  452. .base_addr = 0,
  453. .limit = 42,
  454. .seg_32bit = 1,
  455. .contents = 2, /* Code, not conforming */
  456. .read_exec_only = 0,
  457. .limit_in_pages = 0,
  458. .seg_not_present = 0,
  459. .useable = 0
  460. };
  461. install_valid(&desc, AR_DPL3 | AR_TYPE_XRCODE | AR_S | AR_P | AR_DB);
  462. pid_t child = fork();
  463. if (child == 0) {
  464. execl("/proc/self/exe", "ldt_gdt_test_exec", NULL);
  465. printf("[FAIL]\tCould not exec self\n");
  466. exit(1); /* exec failed */
  467. } else {
  468. int status;
  469. if (waitpid(child, &status, 0) != child ||
  470. !WIFEXITED(status)) {
  471. printf("[FAIL]\tChild died\n");
  472. nerrs++;
  473. } else if (WEXITSTATUS(status) != 0) {
  474. printf("[FAIL]\tChild failed\n");
  475. nerrs++;
  476. } else {
  477. printf("[OK]\tChild succeeded\n");
  478. }
  479. }
  480. }
  481. int main(int argc, char **argv)
  482. {
  483. if (argc == 1 && !strcmp(argv[0], "ldt_gdt_test_exec"))
  484. return finish_exec_test();
  485. do_simple_tests();
  486. do_multicpu_tests();
  487. do_exec_test();
  488. return nerrs ? 1 : 0;
  489. }