The workshop will teach some of the most useful algorithms and tricks needed to analyse and decompile an EVM smart contract: symbolic execution, memory modelling, loop handling and so on.
Techniques shown during the workshop are useful in anything related to contract analysis - from writing your own decompiler, through using existing tools like Eveem, Mythril or Manticore, to working with formal verification K Lab style.
Based on the experience from building Eveem.org decompiler and analysing all the bytecodes on the Ethereum blockchain.
Creating an account on our site will allow you to customize your news stream and unlock additional functionalities!
The primary benefit of registring an account is that will give you the ability to customize your news feed and
select the sources from which your news are displayed.
In addition to this, registered users can
'Like' specific news items, thus showing their support and appreciation for the item
Comment on news items and rate comments
Propose new 'tags' on news items to improve searchability
The ability to engage in all of these actions is driven by a site-specific internal virtual currency
which we call Kreds. In order to encourage our users to use their moderation and
participation abilities responsibly, each action you perform will cost you a certain amount of Kreds.
You are automatically awarded a certain amount of Kreds every day and can earn Kreds by leaving comments
or propose tags which the community then approves through the on-site voting capabilities.
You have to be logged in to vote up news.
You don't have enough Kreds to execute this action.