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=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174

md5=5abd9b3628b43f797326034f31ca574f

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.