Structs§
Enums§
Statics§
Functions§
- collect_
state_ 🔒lhs_ vars - collect_
state_ 🔒sources - collect_
state_ 🔒sources_ into - collect_
write_ 🔒taint_ sources - collect_
write_ 🔒taint_ sources_ into - expr_
access_ 🔒check_ polarity - expr_
calls_ 🔒non_ sender_ user_ function - expr_
compares_ 🔒sender_ to_ authority - expr_
has_ 🔒access_ guard - expr_
has_ 🔒dynamic_ value - expr_
is_ 🔒authorized_ access_ check - expr_
is_ 🔒unauthorized_ access_ check - expr_
looks_ 🔒like_ access_ check - expr_
reads_ 🔒sender - expr_
reads_ 🔒state_ variable - function_
has_ 🔒access_ guard - function_
reads_ 🔒sender - is_
arithmetic_ 🔒op - is_
candidate_ 🔒state_ var - is_
dynamic_ 🔒builtin_ member - is_
external_ 🔒function - is_
inc_ 🔒dec_ op - is_
protected 🔒 - is_
sender_ 🔒member - lhs_
local_ 🔒var - merge_
taint 🔒 - merge_
write_ 🔒states - modifier_
has_ 🔒access_ control - name_
looks_ 🔒like_ access_ control - name_
looks_ 🔒like_ sender_ accessor - resolved_
function_ 🔒ids - set_
taint_ 🔒entry - state_
lhs_ 🔒vars - stmt_
is_ 🔒access_ guard - stmt_
reads_ 🔒sender - vars_
used_ 🔒in_ unprotected_ arithmetic