Taras’ Blog

Squash Milestone Reached Squash can now produce a patch that squashes my testcase class nsCSSLoaderImpl into the nsICSSLoader interface such that the resulting code compiles, links and runs! Gory Details Patching function bodies turned out easier than expected. Since the last post, I’ve added the ability to rewrite variable declarations, casts and static method calls. [...]

Introduction My name is Taras Glek. I have been tasked with working on static analysis tools to automate deCOMtamination, verify code, etc. Progress C++ is a hard language to parse and no static analysis can be done before Mozilla source code be represented as an abstract syntax tree. My first step was to get the [...]