The # of env vars & complexity of configuration has grown quite a lot. Without consistent semantic prefixing of the env vars, or a structured config approach it's getting a bit difficult to understand the options we have when configuring the tool.
To try and improve this, this PR
removes an unused config option
ensures all custom tool env vars are defined within config.py and parsed off the env consistently (principle of least-surprise)
adds the missing documentation for TAINT_NODES=true
tweaks some of the wording for conciseness
restructures the env vars to make them easier to understand and work with
Possibly easiest to review with the "rich diff" of the markdown.
The # of env vars & complexity of configuration has grown quite a lot. Without consistent semantic prefixing of the env vars, or a structured config approach it's getting a bit difficult to understand the options we have when configuring the tool.
To try and improve this, this PR
config.py
and parsed off the env consistently (principle of least-surprise)TAINT_NODES=true
Possibly easiest to review with the "rich diff" of the markdown.