solc - Man Page

Show help message and exit.

Show version and exit.

Show licensing information and exit.

input file

Use the given path as the root of the source tree instead of the root of the filesystem.

Make an additional source directory available to the default import callback. Use this option if you want to import contracts whose location is not fixed in relation to your main source tree, e.g. third-party libraries installed using a package manager. Can be used multiple times. Can only be used if base path has a non-empty value.

Allow a given path for imports. A list of paths can be supplied by separating them with a comma.

Ignore missing files.

Disable the default import callback to prevent the compiler from loading any source files not listed on the command line or given in the Standard JSON input.

If given, creates one file per output component and contract/file at the specified directory.

Overwrite existing files (used together with -o).

Select desired EVM version. Either homestead, tangerineWhistle, spuriousDragon, byzantium, constantinople, petersburg, istanbul, berlin, london, paris, shanghai, cancun or prague.

Deprecated synonym of --via-ir.

Turn on compilation mode via the IR.

Strip revert (and require) reason strings or add additional debugging information.

Debug info components to be included in the produced EVM assembly and Yul code. Value can be all, none or a comma-separated list containing one or more of the following components: ast-id, location, snippet.

Stop execution after the given compiler stage. Valid options: "parsing".

Switch to Standard JSON input / output mode, ignoring all options. It reads from standard input, if no input file was given, otherwise it reads from the provided input file. The result will be written to standard output.

Switch to linker mode, ignoring all options apart from --libraries and modify binaries in place.

Switch to assembly mode and assume input is assembly.

Switch to strict assembly mode and assume input is strict assembly.

Import ASTs to be compiled, assumes input holds the AST in compact JSON format. Supported Inputs is the output of the --standard-json or the one produced by --combined-json ast

Import EVM assembly from JSON. Assumes input is in the format used by --asm-json.

Switch to language server mode ("LSP"). Allows the compiler to be used as an analysis backend for your favourite IDE.

Target machine in assembly or Yul mode.

Input dialect to use in assembly or yul mode.

Direct string or file containing library addresses. Syntax: <libraryName>=<address> [, or whitespace] ... Address is interpreted as a hex string prefixed by 0x.

Output JSON in pretty format.

'--pretty-json' automatically.

Force colored output.

Explicitly disable colored output, disabling terminal auto-detection.

Output error codes.

AST of all source files in a compact JSON format.

EVM assembly of the contracts.

EVM assembly of the contracts in JSON format.

Opcodes of the contracts.

Binary of the contracts in hex.

Binary of the runtime part of the contracts in hex.

ABI specification of the contracts.

Intermediate Representation (IR) of all contracts.

AST of Intermediate Representation (IR) of all contracts in a compact JSON format.

Optimized Intermediate Representation (IR) of all contracts.

AST of optimized Intermediate Representation (IR) of all contracts in a compact JSON format.

Function signature hashes of the contracts.

Natspec user documentation of all contracts.

Natspec developer documentation of all contracts.

Combined Metadata JSON whose IPFS hash is stored on-chain.

Slots, offsets and types of the contract's state variables located in storage.

Slots, offsets and types of the contract's state variables located in transient storage.

Print an estimate of the maximal gas usage for each function.

Output a single json document containing the specified information.

Do not append CBOR metadata to the end of the bytecode.

Choose hash method for the bytecode metadata or disable it.

Store referenced sources as literal data in the metadata output.

Enable optimizer.

The number of runs specifies roughly how often each opcode of the deployed code will be executed across the lifetime of the contract. Lower values will optimize more for initial deployment cost, higher values will optimize more for high-frequency usage.

Enable Yul optimizer (independently of the EVM assembly optimizer). The general --optimize option automatically enables this unless --no-optimize-yul is specified.

Disable Yul optimizer (independently of the EVM assembly optimizer).

Forces Yul optimizer to use the specified sequence of optimization steps instead of the built-in one.

Select which contracts should be analyzed using the form <source>:<contract>.Multiple pairs <source>:<contract> can be selected at the same time, separated by a comma and no spaces.

Encode division and modulo operations with their precise operators instead of multiplication with slack variables.

Select model checker engine.

Select whether to assume (trusted) that external calls always invoke the code given by the type of the contract, if that code is available.

Select whether to report inferred contract inductive invariants. Multiple types of invariants can be selected at the same time, separated by a comma and no spaces. By default no invariants are reported.

Print the queries created by the SMTChecker in the SMTLIB2 format.

Show all targets that were proved safe separately.

Show all unproved targets separately.

Show all unsupported language features separately.

Select model checker solvers.

Select model checker verification targets.Multiple targets can be selected at the same time, separated by a comma and no spaces. By default all targets except underflow and overflow are selected.

Set model checker timeout per query in milliseconds.The default is a deterministic resource limit.A timeout of 0 means no resource/time restrictions for any query.

Set loop unrolling depth for BMC engine.Default is 1.