I am Maxim Menshikov, a static analysis researcher and CEO of @interpretica-io. My passion is developing a static analysis framework and all the infrastructure around it.
Today, my mission is to improve static analysis experience. Follow me for the updates on that direction!
Actual breakdown of my current R&D effort:
- Rust (45%)
- C++ (40%)
- The rest (15%)
Global stats:
- С/C++/Go static analyzer: abstract interpretation and model checking, all in one (private source mode until it is more or less ready).
- Isabelle platform: high-performance web servers for modern applications.
- Delta API: API for static analysis invocation.
- libasp: remote invocation for static analyzer.
- Infrastructure projects for all aspects of static analysis.
- Windows Phone 7 Full Unlock ("Jailbreak")
- Dynamics7 ROM: the first ROM with WP7.8, a base for other custom ROMs.
- OSBuilder7 (parts of): relocation for WP7 modules, image building tools, ImgFS building tools.
- Dynamics ROM: one of the most advanced and polished ROMs for Windows Mobile 6.x
- OSBuilder for WM: ImgFS building tools and other minor tools.
- Windows Mobile virtual memory research.
- ELFPack projects for Sony Ericsson.
- I maintain No Identity
- Some time ago I dropped support for Rational Development
