This article started as a feature request to be posted on the Immunefi discord, but turned into this along the way.
Bug bounties are here, and they're here to stay. You've probably heard
👋 Hey, interested in using automatic models to simulate systems and game theory problems? This article provides an intro to cadCAD, a python library for just that!
Static analysis comes in all shapes and sizes. A very common technique is dataflow analysis, where we look at how variables affect each other. In this article we’ll look at reaching definitions analysis, one of the core techniques enabling dataflow analysis.
I recently wrote and released an incremental parser for Solidity using tree-sitter ( built by Max Brunsfield at GitHub). Let me tell you about the experience of working with tree-sitter to create an incremental