Als Bytecode wird die plattform-unabhängige Repräsentation von Programmen bezeichnet. Prominente Beispiele für Bytecode sind der Java Bytecode, .Net Common Intermediate Lan-guage (CIL) oder der Pascal p-code. In dieser Arbeit möchten wir uns mit der .Net CIL be-schäftigen. Der CIL-Code wurde von Microsoft eingeführt, um Quellsprachunabhängigkeit zu erreichen. Er kann aus verschiedenen Programmiersprachen wie zum Beispiel C#, C++ und VisualBasic, erzeugt werden. Die Common Language Runtime (CLR) kann CIL-Code aus-führen ohne wissen zu müssen, aus welcher Quellsprache er erzeugt wurde. Dieses Konzept möchten wir nutzen, um statische Analysen an Programmen quellsprachenunabhängig durchzuführen.