2 * veritysetup - setup cryptographic volumes for dm-verity
4 * Copyright (C) 2012, Red Hat, Inc. All rights reserved.
6 * This program is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU General Public License
8 * version 2 as published by the Free Software Foundation.
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
15 * You should have received a copy of the GNU General Public License
16 * along with this program; if not, write to the Free Software
17 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
20 #include "cryptsetup.h"
22 #define PACKAGE_VERITY "veritysetup"
24 static int use_superblock = 1;
26 static const char *hash_algorithm = NULL;
27 static int hash_type = 1;
28 static int data_block_size = DEFAULT_VERITY_DATA_BLOCK;
29 static int hash_block_size = DEFAULT_VERITY_HASH_BLOCK;
30 static uint64_t data_blocks = 0;
31 static const char *salt_string = NULL;
32 static uint64_t hash_offset = 0;
33 static const char *opt_uuid = NULL;
35 static int opt_version_mode = 0;
37 static const char **action_argv;
38 static int action_argc;
40 static int _prepare_format(struct crypt_params_verity *params,
41 const char *data_device,
47 params->hash_name = hash_algorithm ?: DEFAULT_VERITY_HASH;
48 params->data_device = data_device;
50 if (salt_string && !strcmp(salt_string, "-")) {
51 params->salt_size = 0;
53 } else if (salt_string) {
54 len = crypt_hex_to_bytes(salt_string, &salt, 0);
56 log_err(_("Invalid salt string specified.\n"));
59 params->salt_size = len;
62 params->salt_size = DEFAULT_VERITY_SALT_SIZE;
66 params->data_block_size = data_block_size;
67 params->hash_block_size = hash_block_size;
68 params->data_size = data_blocks;
69 params->hash_area_offset = hash_offset;
70 params->hash_type = hash_type;
71 params->flags = flags;
76 static int action_format(int arg)
78 struct crypt_device *cd = NULL;
79 struct crypt_params_verity params = {};
80 uint32_t flags = CRYPT_VERITY_CREATE_HASH;
83 /* Try to create hash image if doesn't exist */
84 r = open(action_argv[1], O_WRONLY | O_EXCL | O_CREAT, S_IRUSR | S_IWUSR);
85 if (r < 0 && errno != EEXIST) {
86 log_err(_("Cannot create hash image %s for writing.\n"), action_argv[1]);
89 log_dbg("Created hash image %s.", action_argv[1]);
93 if ((r = crypt_init(&cd, action_argv[1])))
97 flags |= CRYPT_VERITY_NO_HEADER;
99 r = _prepare_format(¶ms, action_argv[0], flags);
103 r = crypt_format(cd, CRYPT_VERITY, NULL, NULL, opt_uuid, NULL, 0, ¶ms);
108 free(CONST_CAST(char*)params.salt);
112 static int _activate(const char *dm_device,
113 const char *data_device,
114 const char *hash_device,
115 const char *root_hash,
118 struct crypt_device *cd = NULL;
119 struct crypt_params_verity params = {};
120 uint32_t activate_flags = CRYPT_ACTIVATE_READONLY;
121 char *root_hash_bytes = NULL;
125 if ((r = crypt_init(&cd, hash_device)))
128 if (use_superblock) {
129 params.flags = flags;
130 params.hash_area_offset = hash_offset;
131 r = crypt_load(cd, CRYPT_VERITY, ¶ms);
133 r = _prepare_format(¶ms, data_device, flags | CRYPT_VERITY_NO_HEADER);
136 r = crypt_format(cd, CRYPT_VERITY, NULL, NULL, NULL, NULL, 0, ¶ms);
140 r = crypt_set_data_device(cd, data_device);
144 hash_size = crypt_get_volume_key_size(cd);
145 if (crypt_hex_to_bytes(root_hash, &root_hash_bytes, 0) != hash_size) {
146 log_err(_("Invalid root hash string specified.\n"));
150 r = crypt_activate_by_volume_key(cd, dm_device,
156 free(root_hash_bytes);
157 free(CONST_CAST(char*)params.salt);
161 static int action_create(int arg)
163 return _activate(action_argv[0],
169 static int action_verify(int arg)
171 return _activate(NULL,
175 CRYPT_VERITY_CHECK_HASH);
178 static int action_remove(int arg)
180 struct crypt_device *cd = NULL;
183 r = crypt_init_by_name(&cd, action_argv[0]);
185 r = crypt_deactivate(cd, action_argv[0]);
191 static int action_status(int arg)
193 crypt_status_info ci;
194 struct crypt_active_device cad;
195 struct crypt_params_verity vp = {};
196 struct crypt_device *cd = NULL;
199 unsigned i, path = 0;
202 /* perhaps a path, not a dm device name */
203 if (strchr(action_argv[0], '/') && !stat(action_argv[0], &st))
206 ci = crypt_status(NULL, action_argv[0]);
213 log_std("%s is inactive.\n", action_argv[0]);
215 log_std("%s/%s is inactive.\n", crypt_get_dir(), action_argv[0]);
221 log_std("%s is active%s.\n", action_argv[0],
222 ci == CRYPT_BUSY ? " and is in use" : "");
224 log_std("%s/%s is active%s.\n", crypt_get_dir(), action_argv[0],
225 ci == CRYPT_BUSY ? " and is in use" : "");
227 r = crypt_init_by_name_and_header(&cd, action_argv[0], NULL);
228 if (r < 0 || !crypt_get_type(cd))
231 log_std(" type: %s\n", crypt_get_type(cd));
233 r = crypt_get_active_device(cd, action_argv[0], &cad);
237 log_std(" status: %s\n",
238 cad.flags & CRYPT_ACTIVATE_CORRUPTED ? "corrupted" : "verified");
240 r = crypt_get_verity_info(cd, &vp);
244 log_std(" hash type: %u\n", vp.hash_type);
245 log_std(" data block: %u\n", vp.data_block_size);
246 log_std(" hash block: %u\n", vp.hash_block_size);
247 log_std(" hash name: %s\n", vp.hash_name);
250 for(i = 0; i < vp.salt_size; i++)
251 log_std("%02hhx", (const char)vp.salt[i]);
256 log_std(" data device: %s\n", vp.data_device);
257 if (crypt_loop_device(vp.data_device)) {
258 backing_file = crypt_loop_backing_file(vp.data_device);
259 log_std(" data loop: %s\n", backing_file);
262 log_std(" size: %" PRIu64 " sectors\n", cad.size);
263 log_std(" mode: %s\n", cad.flags & CRYPT_ACTIVATE_READONLY ?
264 "readonly" : "read/write");
266 log_std(" hash device: %s\n", vp.hash_device);
267 if (crypt_loop_device(vp.hash_device)) {
268 backing_file = crypt_loop_backing_file(vp.hash_device);
269 log_std(" hash loop: %s\n", backing_file);
272 log_std(" hash offset: %" PRIu64 " sectors\n",
273 vp.hash_area_offset * vp.hash_block_size / 512);
282 static int action_dump(int arg)
284 struct crypt_device *cd = NULL;
285 struct crypt_params_verity params = {};
288 if ((r = crypt_init(&cd, action_argv[0])))
291 params.hash_area_offset = hash_offset;
292 r = crypt_load(cd, CRYPT_VERITY, ¶ms);
299 static struct action_type {
302 int required_action_argc;
303 const char *arg_desc;
306 { "format", action_format, 2, N_("<data_device> <hash_device>"),N_("format device") },
307 { "verify", action_verify, 3, N_("<data_device> <hash_device> <root_hash>"),N_("verify device") },
308 { "create", action_create, 4, N_("<name> <data_device> <hash_device> <root_hash>"),N_("create active device") },
309 { "remove", action_remove, 1, N_("<name>"),N_("remove (deactivate) device") },
310 { "status", action_status, 1, N_("<name>"),N_("show active device status") },
311 { "dump", action_dump, 1, N_("<hash_device>"),N_("show on-disk information") },
312 { NULL, NULL, 0, NULL, NULL }
315 static void help(poptContext popt_context,
316 enum poptCallbackReason reason __attribute__((unused)),
317 struct poptOption *key,
318 const char *arg __attribute__((unused)),
319 void *data __attribute__((unused)))
321 struct action_type *action;
323 if (key->shortName == '?') {
324 log_std("%s %s\n", PACKAGE_VERITY, PACKAGE_VERSION);
325 poptPrintHelp(popt_context, stdout, 0);
327 "<action> is one of:\n"));
328 for(action = action_types; action->type; action++)
329 log_std("\t%s %s - %s\n", action->type, _(action->arg_desc), _(action->desc));
331 "<name> is the device to create under %s\n"
332 "<data_device> is the data device\n"
333 "<hash_device> is the device containing verification data\n"
334 "<root_hash> hash of the root node on <hash_device>\n"),
337 log_std(_("\nDefault compiled-in dm-verity parameters:\n"
338 "\tHash: %s, Data block (bytes): %u, "
339 "Hash block (bytes): %u, Salt size: %u, Hash format: %u\n"),
340 DEFAULT_VERITY_HASH, DEFAULT_VERITY_DATA_BLOCK,
341 DEFAULT_VERITY_HASH_BLOCK, DEFAULT_VERITY_SALT_SIZE,
345 usage(popt_context, EXIT_SUCCESS, NULL, NULL);
348 static int run_action(struct action_type *action)
352 log_dbg("Running command %s.", action->type);
354 r = action->handler(0);
357 return translate_errno(r);
360 int main(int argc, const char **argv)
362 static char *popt_tmp;
363 static const char *null_action_argv[] = {NULL};
364 static struct poptOption popt_help_options[] = {
365 { NULL, '\0', POPT_ARG_CALLBACK, help, 0, NULL, NULL },
366 { "help", '?', POPT_ARG_NONE, NULL, 0, N_("Show this help message"), NULL },
367 { "usage", '\0', POPT_ARG_NONE, NULL, 0, N_("Display brief usage"), NULL },
370 static struct poptOption popt_options[] = {
371 { NULL, '\0', POPT_ARG_INCLUDE_TABLE, popt_help_options, 0, N_("Help options:"), NULL },
372 { "version", '\0', POPT_ARG_NONE, &opt_version_mode, 0, N_("Print package version"), NULL },
373 { "verbose", 'v', POPT_ARG_NONE, &opt_verbose, 0, N_("Shows more detailed error messages"), NULL },
374 { "debug", '\0', POPT_ARG_NONE, &opt_debug, 0, N_("Show debug messages"), NULL },
375 { "no-superblock", 0, POPT_ARG_VAL, &use_superblock, 0, N_("Do not use verity superblock"), NULL },
376 { "format", 0, POPT_ARG_INT, &hash_type, 0, N_("Format type (1 - normal, 0 - original Chrome OS)"), N_("number") },
377 { "data-block-size", 0, POPT_ARG_INT, &data_block_size, 0, N_("Block size on the data device"), N_("bytes") },
378 { "hash-block-size", 0, POPT_ARG_INT, &hash_block_size, 0, N_("Block size on the hash device"), N_("bytes") },
379 { "data-blocks", 0, POPT_ARG_STRING, &popt_tmp, 1, N_("The number of blocks in the data file"), N_("blocks") },
380 { "hash-offset", 0, POPT_ARG_STRING, &popt_tmp, 2, N_("Starting offset on the hash device"), N_("bytes") },
381 { "hash", 'h', POPT_ARG_STRING, &hash_algorithm, 0, N_("Hash algorithm"), N_("string") },
382 { "salt", 's', POPT_ARG_STRING, &salt_string, 0, N_("Salt"), N_("hex string") },
383 { "uuid", '\0', POPT_ARG_STRING, &opt_uuid, 0, N_("UUID for device to use."), NULL },
387 poptContext popt_context;
388 struct action_type *action;
392 crypt_set_log_callback(NULL, tool_log, NULL);
394 setlocale(LC_ALL, "");
395 bindtextdomain(PACKAGE, LOCALEDIR);
398 popt_context = poptGetContext("verity", argc, argv, popt_options, 0);
399 poptSetOtherOptionHelp(popt_context,
400 _("[OPTION...] <action> <action-specific>"));
402 while((r = poptGetNextOpt(popt_context)) > 0) {
403 unsigned long long ull_value;
407 ull_value = strtoull(popt_tmp, &endp, 10);
408 if (*endp || !*popt_tmp || !isdigit(*popt_tmp) ||
409 (errno == ERANGE && ull_value == ULLONG_MAX) ||
410 (errno != 0 && ull_value == 0))
411 r = POPT_ERROR_BADNUMBER;
415 data_blocks = ull_value;
418 hash_offset = ull_value;
427 usage(popt_context, EXIT_FAILURE, poptStrerror(r),
428 poptBadOption(popt_context, POPT_BADOPTION_NOALIAS));
430 if (opt_version_mode) {
431 log_std("%s %s\n", PACKAGE_VERITY, PACKAGE_VERSION);
432 poptFreeContext(popt_context);
436 if (!(aname = poptGetArg(popt_context)))
437 usage(popt_context, EXIT_FAILURE, _("Argument <action> missing."),
438 poptGetInvocationName(popt_context));
439 for(action = action_types; action->type; action++)
440 if (strcmp(action->type, aname) == 0)
443 usage(popt_context, EXIT_FAILURE, _("Unknown action."),
444 poptGetInvocationName(popt_context));
447 action_argv = poptGetArgs(popt_context);
448 /* Make return values of poptGetArgs more consistent in case of remaining argc = 0 */
450 action_argv = null_action_argv;
452 /* Count args, somewhat unnice, change? */
453 while(action_argv[action_argc] != NULL)
456 if(action_argc < action->required_action_argc) {
458 snprintf(buf, 128,_("%s: requires %s as arguments"), action->type, action->arg_desc);
459 usage(popt_context, EXIT_FAILURE, buf,
460 poptGetInvocationName(popt_context));
463 if (data_block_size < 0 || hash_block_size < 0 || hash_type < 0) {
464 usage(popt_context, EXIT_FAILURE,
465 _("Negative number for option not permitted."),
466 poptGetInvocationName(popt_context));
471 crypt_set_debug_level(-1);
472 dbg_version_and_cmd(argc, argv);
475 r = run_action(action);
476 poptFreeContext(popt_context);