- Output audit report including contract description graph, inheritance, function signature.
- Advanced Solidity Language Support
- Source Exploration
- access modifiers (
external,public,payable, ...) - security relevant built-ins, globals, methods and user/miner-tainted information (
address.call(),tx.origin,msg.data,block.*,now) - storage access modifiers (
memory,storage) - developer notes in comments (
TODO,FIXME,HACK, ...) - custom function modifiers
- contract creation / event invocations
- easily differentiate between arithmetics vs. logical operations
- make Constructor and Fallback function more prominent
- highlights StateVars (constant, inherited)
- detects and alerts about StateVar shadowing
- highlights function arguments in the function body