solc

Solc

Solc is the Solidity compiler. It's responsible for transforming Solidity source code into EVM bytecode. Solc is used internally by Manticore when creating contracts from source. The information made available to Manticore can be obtained by manually running solc with the following options:

--abi
--hashes
--bin
--bin-runtime
--combined-json srcmap, srcmap-runtime

Manticore recovers them all information the --combined-json but the information contained within is identical.

Much of the information collected/generated by Manticore is available in the mcore_* folders.

Function IDs

You can recover function ids with the --hashes flag. Function ids come in handy when auditing EVM assembly.

solc --hashes <contract>