Structsยง
- Analyzer ๐
- Flow
State ๐ - Inline
Call ๐Key - Pending
Call ๐ - Recursive
Frontier ๐Key
Enumsยง
- Reentrant
Call ๐Kind
Staticsยง
Functionsยง
- arg_
matches_ ๐type - args_
match_ ๐function - args_
match_ ๐types - base_
contract ๐ - base_
item_ ๐source - binary_
op_ ๐returns_ bool - call_
sends_ ๐eth - collect_
state_ ๐write_ lhs_ vars - common_
ty ๐ - constant_
var_ ๐is_ zero - explicit_
cast_ ๐ty - expr_ty ๐
- external_
function_ ๐pointer_ can_ reenter - external_
member_ ๐call_ can_ reenter - fn_
call_ ๐return_ type - gas_
option_ ๐forwards_ all - index_
ty ๐ - indexed_
base_ ๐data_ location - is_
address_ ๐like - is_
address_ ๐type_ expr - is_
entry_ ๐point - is_
externally_ ๐callable - is_
externally_ ๐callable_ fn_ kind - is_
no_ ๐eth_ reentrant_ call - is_
super ๐ - is_this ๐
- is_
uncapped_ ๐value_ call - is_
zero_ ๐value - is_
zero_ ๐value_ inner - member_
ty ๐ - push_
unique ๐ - referenced_
item ๐ - resolved_
function_ ๐ids - state_
write_ ๐lhs_ vars - type_
is_ ๐address_ like - unique ๐
- variable_
data_ ๐location