Release v0.1.9

Release Notes

New Detectors:

• HIGH: Unchecked send return value
• HIGH: Storage Signed Integer Array
• HIGH: Strict ETH balance equality
• HIGH: Tautology or Contradiction
• HIGH: Contract that locks ETH
• HIGH: msg.value used inside a loop
• HIGH: Bad use of tx.origin
• LOW: Boolean equality
• LOW: State variable read in an external context
• LOW: Redundant statements
• LOW: Constant functions contain assembly

Fixes:

• State variable shadowing - title and description fix
• Upgrade check checks github releases instead of cargo releases

What's Changed

• Detector: Unchecked send() on address by @TilakMaddy in #611
• Detector: Public variable read in an external context by @TilakMaddy in #619
• Detector Redundant statements by @TilakMaddy in #621
• Detector: Storage signed integer array by @TilakMaddy in #624
• Detector: Strict Equality Check on Contracts' balances by @TilakMaddy in #625
• Detector: Tautology or contradiction by @TilakMaddy in #623
• Fix title & desc - state variable shadowing by @TilakMaddy in #629
• Detector: Contract that locks ether by @TilakMaddy in #630
• Fix: load_solidity_with_source_unit should load callgraphs by default by @TilakMaddy in #637
• Detector: msg.value used in loop by @TilakMaddy in #636
• Detector: Bad use of tx.origin by @TilakMaddy in #642
• Check Github releases for upgraded version, instead of crates.io by @alexroan in #647
• Detector: Boolean equality by @TilakMaddy in #633
• Detector: constant functions contains assembly by @TilakMaddy in #641
• Bump version to 0.1.9 by @alexroan in #652

Full Changelog: v0.1.8...v0.1.9