I love to use static code analysis tools like PHPStan.
I also love to know how things work.
So I wondered: how does static code analysis work? What's behind those tools?
In this talk we'll cover the basics of how static code analysis works in the PHP world.
Don't be afraid! No need to have a mathematical background, or a deep knowledge of PHP.