db_main.c 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552
  1. /* Copyright (C) 2014 Stony Brook University
  2. This file is part of Graphene Library OS.
  3. Graphene Library OS is free software: you can redistribute it and/or
  4. modify it under the terms of the GNU Lesser General Public License
  5. as published by the Free Software Foundation, either version 3 of the
  6. License, or (at your option) any later version.
  7. Graphene Library OS is distributed in the hope that it will be useful,
  8. but WITHOUT ANY WARRANTY; without even the implied warranty of
  9. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  10. GNU Lesser General Public License for more details.
  11. You should have received a copy of the GNU Lesser General Public License
  12. along with this program. If not, see <http://www.gnu.org/licenses/>. */
  13. /*
  14. * db_main.c
  15. *
  16. * This file contains the main function of the PAL loader, which loads and
  17. * processes environment, arguments and manifest.
  18. */
  19. #include "pal_defs.h"
  20. #include "pal_linux_defs.h"
  21. #include "pal.h"
  22. #include "pal_internal.h"
  23. #include "pal_linux.h"
  24. #include "pal_debug.h"
  25. #include "pal_error.h"
  26. #include "pal_security.h"
  27. #include "api.h"
  28. #include <asm/mman.h>
  29. #include <asm/ioctls.h>
  30. #include <elf/elf.h>
  31. #include <sysdeps/generic/ldsodefs.h>
  32. #include "ecall_types.h"
  33. #include "enclave_pages.h"
  34. #define RTLD_BOOTSTRAP
  35. #define _ENTRY enclave_entry
  36. struct pal_linux_state linux_state;
  37. struct pal_sec pal_sec;
  38. unsigned int pagesz = PRESET_PAGESIZE;
  39. unsigned long _DkGetPagesize (void)
  40. {
  41. return pagesz;
  42. }
  43. unsigned long _DkGetAllocationAlignment (void)
  44. {
  45. return pagesz;
  46. }
  47. void _DkGetAvailableUserAddressRange (PAL_PTR * start, PAL_PTR * end)
  48. {
  49. *start = (PAL_PTR) pal_sec.heap_min;
  50. *end = (PAL_PTR) get_reserved_pages(NULL, pagesz);
  51. }
  52. PAL_NUM _DkGetProcessId (void)
  53. {
  54. return linux_state.process_id;
  55. }
  56. PAL_NUM _DkGetHostId (void)
  57. {
  58. return 0;
  59. }
  60. #include "elf-x86_64.h"
  61. #include "dynamic_link.h"
  62. #include <asm/errno.h>
  63. void setup_pal_map (struct link_map * map);
  64. static struct link_map pal_map;
  65. void init_untrusted_slab_mgr(void);
  66. int init_enclave(void);
  67. int init_enclave_key(void);
  68. int init_child_process(PAL_HANDLE* parent_handle);
  69. /*
  70. * Creates a dummy file handle with the given name.
  71. *
  72. * The handle is not backed by any file. Reads will return EOF and writes will
  73. * fail.
  74. */
  75. static PAL_HANDLE setup_dummy_file_handle (const char * name)
  76. {
  77. if (!strpartcmp_static(name, "file:"))
  78. return NULL;
  79. name += static_strlen("file:");
  80. size_t len = strlen(name) + 1;
  81. PAL_HANDLE handle = malloc(HANDLE_SIZE(file) + len);
  82. SET_HANDLE_TYPE(handle, file);
  83. HANDLE_HDR(handle)->flags |= RFD(0);
  84. handle->file.fd = PAL_IDX_POISON;
  85. handle->file.append = 0;
  86. handle->file.pass = 0;
  87. char * path = (void *) handle + HANDLE_SIZE(file);
  88. int ret = get_norm_path(name, path, &len);
  89. if (ret < 0) {
  90. SGX_DBG(DBG_E, "Could not normalize path (%s): %s\n", name, PAL_STRERROR(ret));
  91. free(handle);
  92. return NULL;
  93. }
  94. handle->file.realpath = path;
  95. handle->file.total = 0;
  96. handle->file.stubs = NULL;
  97. return handle;
  98. }
  99. static int loader_filter (const char * key, int len)
  100. {
  101. if (len > 7 && key[0] == 'l' && key[1] == 'o' && key[2] == 'a' && key[3] == 'd' &&
  102. key[4] == 'e' && key[5] == 'r' && key[6] == '.')
  103. return 0;
  104. if (len > 4 && key[0] == 's' && key[1] == 'g' && key[2] == 'x' && key[3] == '.')
  105. return 0;
  106. return 1;
  107. }
  108. /*
  109. * Takes a pointer+size to an untrusted memory region containing a
  110. * NUL-separated list of strings. It builds a argv-style list in trusted memory
  111. * with those strings.
  112. *
  113. * It is responsible for handling the access to untrusted memory safely
  114. * (returns NULL on error) and ensures that all strings are properly
  115. * terminated. The content of the strings is NOT further sanitized.
  116. *
  117. * The argv-style list is allocated on the heap and the caller is responsible
  118. * to free it (For argv and envp we rely on auto free on termination in
  119. * practice).
  120. */
  121. static const char** make_argv_list(void * uptr_src, uint64_t src_size) {
  122. const char **argv;
  123. if (src_size == 0) {
  124. argv = malloc(sizeof(char *));
  125. argv[0] = NULL;
  126. return argv;
  127. }
  128. char * data = malloc(src_size);
  129. if (!data) {
  130. return NULL;
  131. }
  132. if (!sgx_copy_to_enclave(data, src_size, uptr_src, src_size)) {
  133. goto free_and_err;
  134. }
  135. data[src_size - 1] = '\0';
  136. uint64_t argc = 0;
  137. for (uint64_t i = 0; i < src_size; i++) {
  138. if (data[i] == '\0') {
  139. argc++;
  140. }
  141. }
  142. size_t argv_size;
  143. if (__builtin_mul_overflow(argc + 1, sizeof(char *), &argv_size)) {
  144. goto free_and_err;
  145. }
  146. argv = malloc(argv_size);
  147. if (!argv) {
  148. goto free_and_err;
  149. }
  150. argv[argc] = NULL;
  151. uint64_t data_i = 0;
  152. for (uint64_t arg_i = 0; arg_i < argc; arg_i++) {
  153. argv[arg_i] = &data[data_i];
  154. while (data[data_i] != '\0') {
  155. data_i++;
  156. }
  157. data_i++;
  158. }
  159. return argv;
  160. free_and_err:
  161. free(data);
  162. return NULL;
  163. }
  164. extern void * enclave_base;
  165. extern void * enclave_top;
  166. void pal_linux_main(char * uptr_args, uint64_t args_size,
  167. char * uptr_env, uint64_t env_size,
  168. struct pal_sec * uptr_sec_info)
  169. {
  170. /*
  171. * Our arguments are comming directly from the urts. We are responsible to
  172. * check them.
  173. */
  174. PAL_HANDLE parent = NULL;
  175. unsigned long start_time = _DkSystemTimeQuery();
  176. int rv;
  177. struct pal_sec sec_info;
  178. if (!sgx_copy_to_enclave(&sec_info, sizeof(sec_info), uptr_sec_info, sizeof(sec_info))) {
  179. return;
  180. }
  181. pal_sec.heap_min = GET_ENCLAVE_TLS(heap_min);
  182. pal_sec.heap_max = GET_ENCLAVE_TLS(heap_max);
  183. pal_sec.exec_addr = GET_ENCLAVE_TLS(exec_addr);
  184. pal_sec.exec_size = GET_ENCLAVE_TLS(exec_size);
  185. /* Zero the heap. We need to take care to not zero the exec area. */
  186. void* zero1_start = pal_sec.heap_min;
  187. void* zero1_end = pal_sec.heap_max;
  188. void* zero2_start = pal_sec.heap_max;
  189. void* zero2_end = pal_sec.heap_max;
  190. if (pal_sec.exec_addr != NULL) {
  191. zero1_end = MIN(zero1_end, pal_sec.exec_addr);
  192. zero2_start = MIN(zero2_start, pal_sec.exec_addr + pal_sec.exec_size);
  193. }
  194. memset(zero1_start, 0, zero1_end - zero1_start);
  195. memset(zero2_start, 0, zero2_end - zero2_start);
  196. /* relocate PAL itself */
  197. pal_map.l_addr = elf_machine_load_address();
  198. pal_map.l_name = ENCLAVE_FILENAME;
  199. elf_get_dynamic_info((void *) pal_map.l_addr + elf_machine_dynamic(),
  200. pal_map.l_info, pal_map.l_addr);
  201. ELF_DYNAMIC_RELOCATE(&pal_map);
  202. /*
  203. * We can't verify the following arguments from the urts. So we copy
  204. * them directly but need to be careful when we use them.
  205. */
  206. pal_sec.instance_id = sec_info.instance_id;
  207. COPY_ARRAY(pal_sec.exec_name, sec_info.exec_name);
  208. pal_sec.exec_name[sizeof(pal_sec.exec_name) - 1] = '\0';
  209. COPY_ARRAY(pal_sec.manifest_name, sec_info.manifest_name);
  210. pal_sec.manifest_name[sizeof(pal_sec.manifest_name) - 1] = '\0';
  211. COPY_ARRAY(pal_sec.proc_fds, sec_info.proc_fds);
  212. COPY_ARRAY(pal_sec.pipe_prefix, sec_info.pipe_prefix);
  213. pal_sec.aesm_targetinfo = sec_info.aesm_targetinfo;
  214. pal_sec.mcast_port = sec_info.mcast_port;
  215. pal_sec.mcast_srv = sec_info.mcast_srv;
  216. pal_sec.mcast_cli = sec_info.mcast_cli;
  217. #ifdef DEBUG
  218. pal_sec.in_gdb = sec_info.in_gdb;
  219. #endif
  220. #if PRINT_ENCLAVE_STAT == 1
  221. pal_sec.start_time = sec_info.start_time;
  222. #endif
  223. /* For {p,u,g}ids we can at least do some minimal checking. */
  224. /* ppid should be positive when interpreted as signed. It's 0 if we don't
  225. * have a graphene parent process. */
  226. if (sec_info.ppid > INT32_MAX) {
  227. return;
  228. }
  229. pal_sec.ppid = sec_info.ppid;
  230. /* As ppid but we always have a pid, so 0 is invalid. */
  231. if (sec_info.pid > INT32_MAX || sec_info.pid == 0) {
  232. return;
  233. }
  234. pal_sec.pid = sec_info.pid;
  235. /* -1 is treated as special value for example by chown. */
  236. if (sec_info.uid == (PAL_IDX)-1 || sec_info.gid == (PAL_IDX)-1) {
  237. return;
  238. }
  239. pal_sec.uid = sec_info.uid;
  240. pal_sec.gid = sec_info.gid;
  241. int num_cpus = sec_info.num_cpus;
  242. if (num_cpus >= 1 && num_cpus <= (1 << 16)) {
  243. pal_sec.num_cpus = num_cpus;
  244. } else {
  245. return;
  246. }
  247. /* set up page allocator and slab manager */
  248. init_slab_mgr(pagesz);
  249. init_untrusted_slab_mgr();
  250. init_pages();
  251. init_enclave_key();
  252. /* now we can add a link map for PAL itself */
  253. setup_pal_map(&pal_map);
  254. /* Set the alignment early */
  255. pal_state.alloc_align = pagesz;
  256. pal_state.alloc_shift = pagesz - 1;
  257. pal_state.alloc_mask = ~pagesz;
  258. /* initialize enclave properties */
  259. rv = init_enclave();
  260. if (rv) {
  261. SGX_DBG(DBG_E, "Failed to initialize enclave properties: %d\n", rv);
  262. ocall_exit(rv, /*is_exitgroup=*/true);
  263. }
  264. if (args_size > MAX_ARGS_SIZE || env_size > MAX_ENV_SIZE) {
  265. return;
  266. }
  267. const char ** arguments = make_argv_list(uptr_args, args_size);
  268. if (!arguments) {
  269. return;
  270. }
  271. const char ** environments = make_argv_list(uptr_env, env_size);
  272. if (!environments) {
  273. return;
  274. }
  275. pal_state.start_time = start_time;
  276. /* if there is a parent, create parent handle */
  277. if (pal_sec.ppid) {
  278. if ((rv = init_child_process(&parent)) < 0) {
  279. SGX_DBG(DBG_E, "Failed to initialize child process: %d\n", rv);
  280. ocall_exit(rv, /*is_exitgroup=*/true);
  281. }
  282. }
  283. linux_state.uid = pal_sec.uid;
  284. linux_state.gid = pal_sec.gid;
  285. linux_state.process_id = (start_time & (~0xffff)) | pal_sec.pid;
  286. /* now let's mark our enclave as initialized */
  287. pal_enclave_state.enclave_flags |= PAL_ENCLAVE_INITIALIZED;
  288. SET_ENCLAVE_TLS(ready_for_exceptions, 1UL);
  289. /*
  290. * We create dummy handles for exec and manifest here to make the logic in
  291. * pal_main happy and pass the path of them. The handles can't be used to
  292. * read anything.
  293. */
  294. PAL_HANDLE manifest, exec = NULL;
  295. manifest = setup_dummy_file_handle(pal_sec.manifest_name);
  296. if (pal_sec.exec_name[0] != '\0') {
  297. exec = setup_dummy_file_handle(pal_sec.exec_name);
  298. } else {
  299. SGX_DBG(DBG_I, "Run without executable\n");
  300. }
  301. uint64_t manifest_size = GET_ENCLAVE_TLS(manifest_size);
  302. void* manifest_addr = enclave_top - ALIGN_UP_PTR(manifest_size, pagesz);
  303. /* parse manifest data into config storage */
  304. struct config_store * root_config =
  305. malloc(sizeof(struct config_store));
  306. root_config->raw_data = manifest_addr;
  307. root_config->raw_size = manifest_size;
  308. root_config->malloc = malloc;
  309. root_config->free = free;
  310. const char * errstring = NULL;
  311. if ((rv = read_config(root_config, loader_filter, &errstring)) < 0) {
  312. SGX_DBG(DBG_E, "Can't read manifest: %s, error code %d\n", errstring, rv);
  313. ocall_exit(rv, /*is_exitgroup=*/true);
  314. }
  315. pal_state.root_config = root_config;
  316. __pal_control.manifest_preload.start = (PAL_PTR) manifest_addr;
  317. __pal_control.manifest_preload.end = (PAL_PTR) manifest_addr + manifest_size;
  318. if ((rv = init_trusted_platform()) < 0) {
  319. SGX_DBG(DBG_E, "Failed to verify the platform using remote attestation: %d\n", rv);
  320. ocall_exit(rv, true);
  321. }
  322. if ((rv = init_trusted_files()) < 0) {
  323. SGX_DBG(DBG_E, "Failed to load the checksums of trusted files: %d\n", rv);
  324. ocall_exit(rv, true);
  325. }
  326. if ((rv = init_trusted_children()) < 0) {
  327. SGX_DBG(DBG_E, "Failed to load the measurement of trusted child enclaves: %d\n", rv);
  328. ocall_exit(rv, true);
  329. }
  330. #if PRINT_ENCLAVE_STAT == 1
  331. printf(" >>>>>>>> "
  332. "Enclave loading time = %10ld milliseconds\n",
  333. _DkSystemTimeQuery() - pal_sec.start_time);
  334. #endif
  335. /* set up thread handle */
  336. PAL_HANDLE first_thread = malloc(HANDLE_SIZE(thread));
  337. SET_HANDLE_TYPE(first_thread, thread);
  338. first_thread->thread.tcs =
  339. enclave_base + GET_ENCLAVE_TLS(tcs_offset);
  340. __pal_control.first_thread = first_thread;
  341. SET_ENCLAVE_TLS(thread, &first_thread->thread);
  342. /* call main function */
  343. pal_main(pal_sec.instance_id, manifest, exec,
  344. pal_sec.exec_addr, parent, first_thread,
  345. arguments, environments);
  346. }
  347. /* the following code is borrowed from CPUID */
  348. static void cpuid (unsigned int leaf, unsigned int subleaf,
  349. unsigned int words[])
  350. {
  351. _DkCpuIdRetrieve(leaf, subleaf, words);
  352. }
  353. #define FOUR_CHARS_VALUE(s, w) \
  354. (s)[0] = (w) & 0xff; \
  355. (s)[1] = ((w) >> 8) & 0xff; \
  356. (s)[2] = ((w) >> 16) & 0xff; \
  357. (s)[3] = ((w) >> 24) & 0xff;
  358. #define BPI 32
  359. #define POWER2(power) \
  360. (1ULL << (power))
  361. #define RIGHTMASK(width) \
  362. (((unsigned long)(width) >= BPI) ? ~0ULL : POWER2(width) - 1ULL)
  363. #define BIT_EXTRACT_LE(value, start, after) \
  364. (((unsigned long)(value) & RIGHTMASK(after)) >> start)
  365. static char * cpu_flags[]
  366. = { "fpu", // "x87 FPU on chip"
  367. "vme", // "virtual-8086 mode enhancement"
  368. "de", // "debugging extensions"
  369. "pse", // "page size extensions"
  370. "tsc", // "time stamp counter"
  371. "msr", // "RDMSR and WRMSR support"
  372. "pae", // "physical address extensions"
  373. "mce", // "machine check exception"
  374. "cx8", // "CMPXCHG8B inst."
  375. "apic", // "APIC on chip"
  376. NULL,
  377. "sep", // "SYSENTER and SYSEXIT"
  378. "mtrr", // "memory type range registers"
  379. "pge", // "PTE global bit"
  380. "mca", // "machine check architecture"
  381. "cmov", // "conditional move/compare instruction"
  382. "pat", // "page attribute table"
  383. "pse36", // "page size extension"
  384. "pn", // "processor serial number"
  385. "clflush", // "CLFLUSH instruction"
  386. NULL,
  387. "dts", // "debug store"
  388. "acpi", // "Onboard thermal control"
  389. "mmx", // "MMX Technology"
  390. "fxsr", // "FXSAVE/FXRSTOR"
  391. "sse", // "SSE extensions"
  392. "sse2", // "SSE2 extensions"
  393. "ss", // "self snoop"
  394. "ht", // "hyper-threading / multi-core supported"
  395. "tm", // "therm. monitor"
  396. "ia64", // "IA64"
  397. "pbe", // "pending break event"
  398. };
  399. int _DkGetCPUInfo (PAL_CPU_INFO * ci)
  400. {
  401. unsigned int words[PAL_CPUID_WORD_NUM];
  402. int rv = 0;
  403. const size_t VENDOR_ID_SIZE = 13;
  404. char* vendor_id = malloc(VENDOR_ID_SIZE);
  405. cpuid(0, 0, words);
  406. FOUR_CHARS_VALUE(&vendor_id[0], words[PAL_CPUID_WORD_EBX]);
  407. FOUR_CHARS_VALUE(&vendor_id[4], words[PAL_CPUID_WORD_EDX]);
  408. FOUR_CHARS_VALUE(&vendor_id[8], words[PAL_CPUID_WORD_ECX]);
  409. vendor_id[VENDOR_ID_SIZE - 1] = '\0';
  410. ci->cpu_vendor = vendor_id;
  411. // Must be an Intel CPU
  412. assert(!memcmp(vendor_id, "GenuineIntel", 12));
  413. const size_t BRAND_SIZE = 49;
  414. char* brand = malloc(BRAND_SIZE);
  415. cpuid(0x80000002, 0, words);
  416. memcpy(&brand[ 0], words, sizeof(unsigned int) * PAL_CPUID_WORD_NUM);
  417. cpuid(0x80000003, 0, words);
  418. memcpy(&brand[16], words, sizeof(unsigned int) * PAL_CPUID_WORD_NUM);
  419. cpuid(0x80000004, 0, words);
  420. memcpy(&brand[32], words, sizeof(unsigned int) * PAL_CPUID_WORD_NUM);
  421. brand[BRAND_SIZE - 1] = '\0';
  422. ci->cpu_brand = brand;
  423. /* we cannot use CPUID(0xb) because it counts even disabled-by-BIOS cores (e.g. HT cores);
  424. * instead, this is passed in via pal_sec at start-up time. */
  425. ci->cpu_num = pal_sec.num_cpus;
  426. cpuid(1, 0, words);
  427. ci->cpu_family = BIT_EXTRACT_LE(words[PAL_CPUID_WORD_EAX], 8, 12) +
  428. BIT_EXTRACT_LE(words[PAL_CPUID_WORD_EAX], 20, 28);
  429. ci->cpu_model = BIT_EXTRACT_LE(words[PAL_CPUID_WORD_EAX], 4, 8) +
  430. (BIT_EXTRACT_LE(words[PAL_CPUID_WORD_EAX], 16, 20) << 4);
  431. ci->cpu_stepping = BIT_EXTRACT_LE(words[PAL_CPUID_WORD_EAX], 0, 4);
  432. int flen = 0, fmax = 80;
  433. char * flags = malloc(fmax);
  434. for (int i = 0 ; i < 32 ; i++) {
  435. if (!cpu_flags[i])
  436. continue;
  437. if (BIT_EXTRACT_LE(words[PAL_CPUID_WORD_EDX], i, i + 1)) {
  438. int len = strlen(cpu_flags[i]);
  439. if (flen + len + 1 > fmax) {
  440. char * new_flags = malloc(fmax * 2);
  441. memcpy(new_flags, flags, flen);
  442. free(flags);
  443. fmax *= 2;
  444. flags = new_flags;
  445. }
  446. memcpy(flags + flen, cpu_flags[i], len);
  447. flen += len;
  448. flags[flen++] = ' ';
  449. }
  450. }
  451. flags[flen ? flen - 1 : 0] = 0;
  452. ci->cpu_flags = flags;
  453. return rv;
  454. }