Taras’ Blog

Progress I spent some time proving to myself that it is possible to automate DeCOMtamination. The result is squash – a tool that aims to accomplish the first step of DeCOMtamination. My near term goals are to be able to squash together a real life XPCOM interface and implementation such that: The resulting code compiles [...]

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 [...]