bap-taint

BAP Taint Analysis Framework
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library taint
Module Bap_taint . Std . Taint . Rel
type t

Denotes the direct relation between a value and the object that we track, e.g., a value contains the runtime representation of the object or a part of it.

val direct : t

Denotes the direct relation between a value and the object that we track, e.g., a value contains the runtime representation of the object or a part of it.

val indirect : t

Denotes the indirect relation between a value and the object that we track, e.g., a value is a pointer that points to a value that has the direct relation with the object.