c2rust 0.10.1

C to Rust translation, refactoring, and cross-checking
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80

name: refactor
version: 0.9.0
author: |
  - The C2Rust Project Developers <c2rust@immunant.com>
  - Stuart Pernsteiner <spernsteiner@galois.com>
about: A refactoring tool for Rust programs, aimed at removing unsafety from automatically-generated Rust code.
settings:
  - TrailingVarArg
args:
  - rewrite-mode:
      short: r
      long: rewrite-mode
      possible_values:
        - print
        - inplace
        - alongside
        - diff
        - json
        - marks
      default_value: print
      help: "output rewritten code"
      takes_value: true
      value_name: MODE
      multiple: true
      number_of_values: 1
      value_delimiter: ','
  - cursor:
      short: c
      long: cursor
      help: "a cursor position, used to filter some rewrite operations"
      takes_value: true
      value_name: "FILE:LINE:COL[:LABEL[:KIND]]"
      number_of_values: 1
      multiple: true
  - mark:
      short: m
      long: mark
      help: "a marked node indicated by its ID, and a label for that mark"
      takes_value: true
      value_name: "ID[:LABEL]"
      number_of_values: 1
      multiple: true
  - plugin-name:
      short: p
      long: plugin-name
      help: "name of a plugin to load"
      takes_value: true
      value_name: "PLUGIN"
      number_of_values: 1
      multiple: true
  - plugin-dir:
      short: P
      long: plugin-dir
      help: "search dir for plugins"
      takes_value: true
      value_name: "PLUGIN_DIR"
      number_of_values: 1
      multiple: true
  - cargo:
      long: cargo
      help: "get rustc arguments from cargo"
      takes_value: false
      conflicts_with: rustc-args
  - transforms:
      help: Refactoring transformations
      takes_value: true
      multiple: true
      required_unless: transforms-file
  - transforms-file:
      short: f
      long: transforms-file
      help: File to read refactoring transformations from
      takes_value: true
      value_name: "FILE"
  - rustc-args:
      help: Arguments to pass to rustc
      takes_value: true
      multiple: true
      last: true
      required_unless: cargo