System for Static Analysis of Source Code Expressed in One of a Plurality of Different Programming Languages

A system for performing static analysis of a computer program that is expressed as source code that is written in accordance with one of a set of a plurality of one or more different computer programming languages, the system including:

• a source code to byte code first translator program, said first translator program being designed to input source code expressed in accordance with a first computer programming language, said source code defines at least a first portion of a first computer program, and wherein said first translator program is further designed to output a first set of byte code into a first byte code program, said first byte code program being a representation of said first portion of said first computer program, and
• a virtual machine (VM) being designed for inputting and for performing static analysis of said at least a portion of said first computer program, via said processing of said first byte code program, and wherein
• said virtual machine being further designed to interoperate with at least a first language specific plugin module (LSPM), said first LSPM providing a first application programming interface (API) and designed to cause performance of one or more external functions, and wherein said external functions are each called from within said first byte code program, and wherein said external functions are defined outside of said first byte code program.