More background: https://medium.com/chainsecurity/release-of-hyperchecker-2df...
Thank you for the feedback. We will add some extra information. In this particular examples there seem to be no warnings. However, as I said the new version is coming soon.
The new version of securify, which will soon be available at https://securify.ch, catches 7 our of the 9 mentioned issues automatically and is free. I am one of the tool's authors. We went on to found ChainSecurity…
More background: https://medium.com/chainsecurity/release-of-hyperchecker-2df...
Thank you for the feedback. We will add some extra information. In this particular examples there seem to be no warnings. However, as I said the new version is coming soon.
The new version of securify, which will soon be available at https://securify.ch, catches 7 our of the 9 mentioned issues automatically and is free. I am one of the tool's authors. We went on to found ChainSecurity…