alpharush
There is a codebase causing slither to crash that @priyankabose shared on slack which I tested this against, but I do not have a minimal reproduction
Any idea when the latest release will get published to PyPI?
Course https://github.com/kaist-cp/cs420 Example https://github.com/kaist-cp/kecc-public
Stretch goal: simple python implementation of core algorithms e.g. ssa conversion, basic dataflow algorithms, recursive decent parser, fix point solver
https://www.youtube.com/@jblow888
https://llvm.org/docs/tutorial/
Curation of program analysis resources https://gist.github.com/MattPD/00573ee14bf85ccac6bed3c0678ddbef
http://www.msreverseengineering.com/program-analysis-reading-list/
https://cs.au.dk/~amoeller/spa/ code https://github.com/cs-au-dk/TIP/tree/master/src/tip
https://mitpress.mit.edu/9780262043410/introduction-to-static-analysis/ code https://github.com/sree314/simple-abstract-interpreter