Values inferred by the Eva analysis

plugins.eva.values.getProbeInfo (GET)

Probe information

input ::= marker

output ::= { output… }

Output Format Description
"evaluable" boolean Can the probe be evaluated?
"code" (opt.) string Probe source code
"stmt" (opt.) marker Probe statement
"effects" boolean Effectfull statement
"condition" boolean Conditional statement

plugins.eva.values.evaluation (DATA)

Evaluation of an expression or lvalue

evaluation ::= { fields… }

Field Format Description
"value" text Textual representation of the value
"alarms" [ "True" "False"
"pointedVars" [ string , marker ] [] List of variables pointed by the value

plugins.eva.values.getValues (GET)

Abstract values for the given marker

input ::= { input… }

output ::= { output… }

Input Format Description
"target" marker Works with all markers containing an expression
"callstack" (opt.) callstack Callstack to collect (defaults to none)
Output Format Description
"vBefore" (opt.) evaluation Domain values before execution
"vAfter" (opt.) evaluation Domain values after execution
"vThen" (opt.) evaluation Domain values for true condition
"vElse" (opt.) evaluation Domain values for false condition

signals