Release 0.2.0

Added

• ConstantAddress detector: PR #90
• BranchDuplicate detector: Issue #87
• DumpIsUsed detector: Issue #100
• FieldDoubleInit detector: Issue #97
• PreferAugmentedAssign detector: Issue #78
• An API to execute Misti from a string list of arguments needed to implement the Blueprint plugin
• --dump-config CLI flag that dumps the Misti configuration file in use: PR #79
• Naming convention to skip unused identifiers: PR #82
• --all-detectors CLI flag activates all the available built-in detectors, regardless of whether they are selected in the config

Changed

• IRBuilder: Mark nodes without successors as Exit kind: PR #80
• Supported Tact 1.4.4

Fixed

• IRBuilder: Save trait definitions: PR #95
• neverAccessedVariables does not report write-only variables: Issue #101

Release contributors

• @jubnzv

Special thanks

For opening issues and making thoughtful suggestions we'd like to thank:

• @anton-trunov
• @Gusarich