Structs§
- Analyzer 🔒
- Balance
Value 🔒 - Flow
State 🔒 - Inline
Call 🔒Key - Inline
Call 🔒Result - Pending
Balance 🔒Call - Pending
Call 🔒 - Recursive
Frontier 🔒Key - Return
Collector 🔒
Enums§
Constants§
Statics§
Functions§
- argument_
for_ 🔒parameter - balance_
reentry_ 🔒lock - base_
contract 🔒 - base_
item_ 🔒source - binary_
op_ 🔒returns_ bool - branch_
stops_ 🔒current_ path - call_
options_ 🔒allow_ reentrancy - call_
sends_ 🔒eth - call_
uses_ 🔒delegate_ context - collect_
local_ 🔒write_ lhs_ vars - collect_
state_ 🔒write_ lhs_ vars - collect_
stmts_ 🔒before_ unconditional_ placeholder - common_
path_ 🔒predicates - common_
ty 🔒 - concrete_
gas_ 🔒cap - constant_
lock_ 🔒value - constant_
var_ 🔒is_ zero - constrain_
boolean_ 🔒outcome - constrain_
paths 🔒 - contains_
unconditional_ 🔒placeholder - count_
modifier_ 🔒placeholders - direct_
state_ 🔒var - eval_
lock_ 🔒condition - eval_
lock_ 🔒value_ inner - explicit_
cast_ 🔒ty - expr_ty 🔒
- extend_
unique 🔒 - external_
call_ 🔒can_ reenter - fn_
call_ 🔒return_ type - forget_
path_ 🔒predicates - function_
has_ 🔒reentrancy_ guard - gas_
option_ 🔒forwards_ all - guard_
activation_ 🔒from_ stmt_ refs - guard_
activation_ 🔒from_ stmts - guard_
restoration_ 🔒from_ stmt - index_
ty 🔒 - indexed_
base_ 🔒data_ location - is_
address_ 🔒like - is_
address_ 🔒type_ expr - is_
balance_ 🔒reentrant_ call - is_
contract_ 🔒receiver - is_
entry_ 🔒point - 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 - lhs_
local_ 🔒var - local_
write_ 🔒lhs_ vars - member_
ty 🔒 - merge_
balance_ 🔒local_ paths - merge_
comparison_ 🔒locals - path_
alternatives_ 🔒compatible - path_
predicate 🔒 - paths_
compatible 🔒 - paths_
compatible_ 🔒with - predicate_
operand 🔒 - push_
unique 🔒 - reentrancy_
guard_ 🔒locks - referenced_
item 🔒 - remap_
paths 🔒 - remap_
return_ 🔒paths - self_
address_ 🔒paths - simple_
internal_ 🔒call - standard_
reentrancy_ 🔒guard_ lock - state_
lock_ 🔒assignment - state_
write_ 🔒lhs_ vars - stmt_
rejects_ 🔒lock_ value - type_
is_ 🔒address_ like - unique 🔒
- variable_
data_ 🔒location