/BCT/BytecodeTranslator/

• ../
• BytecodeTranslator.csproj
• CLRSemantics.cs
• ExpressionTraverser.cs
• Heap.cs
• HeapFactory.cs
• MetadataTraverser.cs
• Phone
• Prelude.cs
• Program.cs
• Readme.txt
• Sink.cs
• StatementTraverser.cs
• TranslationException.cs
• TranslationHelper.cs
• TranslationPlugins
• TraverserFactory.cs
• WholeProgram.cs
• app.config