package bap-std

You can search for identifiers within the package.

in-package search v0.2.0

The Binary Analysis Platform Standard Library

Install

sha256=631fc58628418e4856709a0cfc923a65e00c9494fbd28d444c633d11194831de

md5=3db9deac8d429b9b8a8ec9aec54987b1

method taint_reg : Bil.result -> set -> 's

taint result with the given set of taints

method taint_ptr : addr -> size -> set -> 's

taint memory region addr, addr+size with the given set of taints

method reg_taints : Bil.result -> set

returns a set of taints associated with a given result of computation

method ptr_taints : addr -> set

returns a set of taints associated with a given address

method all_taints : set

returns all known taints.