implement post-processing for snapshot outputs

[Jon-Becker]

Component

Heimdall (Core)

Describe the feature you would like

Motivation

As seen in the image below, the snapshot module does not implement post-processing on its outputs of any kind. This can make analyzing output harder than it needs to be, especially when the decompile module does this already.

Solution

Implement output post-processing for conditional statements. Things like:

• removing double negation
• calculating constants
• simplifying arithmetic
• simplifying parentheses

can help drastically improve the readability and usability of the module.

[solidoracle]

I'll take this one

[Jon-Becker]

Awesome! Let me know if you have issues, this one is harder than the rest :)

For reference, check out the post processers for solidity output.