package goblint-cil
Install
Dune Dependency
Authors
Maintainers
Sources
md5=796ad26120b5c6b939a57e8623088aef
sha512=01a58ac6d928afead21c8a97af5865715114cd0562234d1d4aef9e4ac5d91415d040a15927c52cb896dbb39a53e915627f498ebe2d026a548c3ff597682041b2
doc/goblint-cil.liveness/Usedef/index.html
Module Usedef
Source
module E = Errormsg
compute use/def information
Set this global to how you want to handle function calls. This also returns a modified argument list which will be used for the purpose of Use analysis, in case you have a function that needs special treatment of its args.
Say if you want to consider a variable use. This applies to variable reads only; see also considerVariableAddrOfAsUse
Say if you want to consider a variable def
Say if you want to consider a variable addrof as a use
Say if you want to consider a variable addrof as a def
Return any vars that should be considered "used" by an expression, other than the ones it refers to directly. Deputy uses this for variables in Cast annotations.
Compute the use information for an expression (accumulate to an existing * set)
Compute the use/def information for an instruction
Compute the use/def information for a statement kind. Do not descend into * the nested blocks.