List of all items[−]
Structs
- AbstractData
- Config
- ConstantTimeResultForFunction
- PathStatistics
- PitchforkConfig
- Project
- secret::Backend
- secret::BtorRef
- secret::Memory
Enums
Functions
- check_for_ct_violation
- check_for_ct_violation_in_inputs
- hook_helpers::allocate_and_init_abstractdata
- hook_helpers::fill_secret_with_length
- hook_helpers::fill_unconstrained_with_length
- hook_helpers::reinitialize_pointee
- hooks::propagate_taint
- hooks::return_public_unconstrained
- hooks::return_secret
- main_func
- pretty_coverage_stats