0.5.2 - 2019-01-31

This release improves performance, fixes minor bugs, and simplifies the generation of our documentation.

Added

• Add a vulnerability description to all the detectors, then use that to auto-generate the wiki documentation.

Changed

• Improve the reentrancy heuristics: the reentrancy information is computed only one time, and its information is shared across all the reentrancy variants.
• Use a cache system for the function.all_* properties
• Re-add the Length SlithIR operator (ed7afe0)

Fixed

• Incorrect read information in case of ReferenceVariable (1cdc34e)