hritzdorf

7 ms·

1. 1.▲
   by hritzdorf 8y ago

   More background: https://medium.com/chainsecurity/release-of-hyperchecker-2df...
2. 2.▲
   by hritzdorf 8y ago

   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.
3. 3.▲
   by hritzdorf 8y ago

   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 ( https: