Skip to main content

Crate thalir

Crate thalir 

Source
Expand description

Unified interface for smart contract IR transformation.

Single import for everything you need: transforming Solidity to IR, parsing/emitting text format, and accessing analysis tools. Batteries-included entry point for auditing workflows.

Re-exports§

pub use thalir_core as core;
pub use thalir_emit as emit;
pub use thalir_parser as parser;
pub use thalir_transform as transform;

Structs§

AnnotatedIREmitter
BasicBlock
BlockId
Contract
Function
ThalIREmitter

Enums§

Instruction
Mutability
Terminator
Type
Value
Visibility

Functions§

parse
transform_solidity_to_ir