虚拟编译器

Checkmarx虚拟编译器可以处理非编译代码或任何项目的子集，并且通过补偿语法错误和补齐遗失的连接部分来对其进行虚拟编译。此外，它以已公布的用来确定计算机语言确切的背景和行为的标准为基础。使用这种方法，编译器就能够使用源代码本身来进行分析，并且绕过正式的编译和链接程序，使编译器与平台不产生关联，避免所有的兼容性问题。它可以轻松地关联到需要补救的代码，同时也很容易增加语言和方言来创建真正的语言不可知平台。