Hi there!

I am Maxim Menshikov, a researcher & technical leader. My passion is developing a static analysis framework and all the infrastructure around it. Besides that, I have spent many years in reverse engineering.

Today, my mission is to improve static analysis experience. Follow me for the updates on that direction!

My current projects

• С/C++ static analyzer: abstract interpretation and model checking, all in one (private source mode until it is more or less ready).
• libasp: remote invocation for static analyzer.
• fmtparser: parsing of format strings.
• Infrastructure projects for all aspects of static analysis.

Some of previous projects

• Windows Phone 7 Full Unlock
• 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.