v1.11.0
-
Add command-line options
-blacklist
and-whitelist
that apply to all the analyses.
Example:../reanalyze.exe -exception -blacklist src -whitelist src/Ex
will only show results for filessrc/Ex*
.
The analyses are not affected (e.g. transitively dead code), only the reporting is. -
Exception analysis: add support for
@doesNotRaise
to indicate that an expression does not raise any exceptions (to suppress possible analysis reports). -
Exception Analysis: add model for
Yojson.Basic.from_string
.