Phoenix Forum

PEModuleUnit.LoadGlobalSymbols is throwing exception on Windows 7 machine

Fri, 20 Nov 2009 22:06:20 Z

When we use peModuleUnit.LoadGlobalSymbols() it throws the following error.

The available PDB has been stripped so it does not contain the required
information for native or IJW images.
Please find the full PDB for this binary and re-run your scenario.

Unhandled Exception: System.AccessViolationException: Attempted to read or write
protected memory. This is often an indication that other memory is corrupt.
at Phx.Pdb.ReaderImplementation.GetDataStream(String sectionNameString)
at Phx.PE.ReaderPhase.ReadPEFixups()
at Phx.PE.ReaderPhase.SeedFixups()
at Phx.PE.ReaderPhase.CodeDiscovery()
at Phx.PE.ReaderPhase.Translate()
at Phx.PEModuleUnit.LoadGlobalSymbols()

We have tested the same code on Windows Server 2003 and it is working fine, its generating this error on Windows 7 and Windows 2008 machines.

Thanks in Advance
Anil

debug phoenix using VS 2008

Wed, 25 Nov 2009 09:55:15 Z

hi

I'm a starter at phoenix and I'm trying to run the debugger.

1ste
i start visual studio from the phoenix debug command prompt (I use the devenv instruction)

2de
I set up the debug property

start external program: C:\Program Files\Phoenix SDK June 2008\bin\debug\x86\cl.exe
start options: hello.c -d2plugin:"G:\My Documents\Phoenix SDK June 2008\return_adr\return_adr\bin\Debug\return_adr.dll"
working directory: G:\My Documents\Phoenix SDK June 2008\hello world\

the file i want to compile is hello.c this file can be found at the working directory
my plugin i want to debug is return_adr.dll and can be found at "G:\My Documents\Phoenix SDK June 2008\return_adr\return_adr\bin\Debug\return_adr.dll"

3de
I've set up some breakpoints within the Execute function

4the
I hit F5

5the
Visual studio starts but exits almost immediately with this as output

'cl.exe' (Managed): Loaded 'C:\WINDOWS\assembly\GAC_32\mscorlib\2.0.0.0__b77a5c561934e089\mscorlib.dll', Skipped loading symbols. Module is optimized and the debugger option 'Just My Code' is enabled.
'cl.exe' (Managed): Loaded 'C:\Program Files\Phoenix SDK June 2008\bin\debug\x86\c2.dll', Symbols loaded.
'cl.exe' (Managed): Loaded 'C:\WINDOWS\assembly\GAC_32\phxd\0.64.30627.0__31bf3856ad364e35\phxd.dll'
'cl.exe' (Managed): Loaded 'C:\WINDOWS\assembly\GAC_MSIL\System\2.0.0.0__b77a5c561934e089\System.dll', Skipped loading symbols. Module is optimized and the debugger option 'Just My Code' is enabled.
'cl.exe' (Managed): Loaded 'C:\WINDOWS\assembly\GAC_32\runtime-vccrt-win32-x86d\0.64.30627.0__31bf3856ad364e35\runtime-vccrt-win32-x86d.dll'
'cl.exe' (Managed): Loaded 'C:\WINDOWS\assembly\GAC_32\architecture-x86d\0.64.30627.0__31bf3856ad364e35\architecture-x86d.dll'
'cl.exe' (Managed): Loaded 'C:\WINDOWS\assembly\GAC_32\runtime-vccrt-win-msild\0.64.30627.0__31bf3856ad364e35\runtime-vccrt-win-msild.dll'
'cl.exe' (Managed): Loaded 'C:\WINDOWS\assembly\GAC_32\architecture-msild\0.64.30627.0__31bf3856ad364e35\architecture-msild.dll'
'cl.exe' (Managed): Loaded 'C:\WINDOWS\assembly\GAC_MSIL\System.Windows.Forms\2.0.0.0__b77a5c561934e089\System.Windows.Forms.dll', Skipped loading symbols. Module is optimized and the debugger option 'Just My Code' is enabled.
'cl.exe' (Managed): Loaded 'C:\WINDOWS\assembly\GAC_MSIL\System.Drawing\2.0.0.0__b03f5f7f11d50a3a\System.Drawing.dll', Skipped loading symbols. Module is optimized and the debugger option 'Just My Code' is enabled.
The program '[7340] cl.exe: Managed' has exited with code 1 (0x1).

Does anyone now where I've gone wrong?
Thanks Kenneth

branch problem

Tue, 24 Nov 2009 12:58:05 Z

My problem is that i want to replace this instruction:
{&ESP:ESP} = ret {&ESP:ESP}, $L10(T) #10

by this function
pop ecx
//and ecx,0xffffffff (implement at a later time
jmp ecx

the problem i'm having is with the branch instruction, The function requires a label to the location i want to jump to but i don't have a label only the conntent of the ecx register. how can i jump to this location.
Phx.IR.Instruction branchInstruction = Phx.IR.BranchInstruction.New(functionUnit,Phx.Targets.Architectures.X86.Opcode.jmp, LABEL);

LABEL needs to be content of ECX register

code so far:

           foreach


 (Phx.IR.Instruction instruction in


 Phx.IR.Instruction.Iterator(functionUnit))



            {

                if
 (Phx.Common.Opcode.Return == instruction.Opcode) 

                {

                    //zou niet zichtbaar mogen worden als reader op juist moment start (IR code geen LIR)



                    Phx.Output.WriteLine("seen return:"
);

                }

                 if
 (Phx.Targets.Architectures.X86.Opcode.ret == instruction.Opcode) 

                {

                  Phx.Output.WriteLine("seen return X86:"
);

                    Phx.Output.WriteLine("return:"
);



                    Phx.Output.WriteLine(instruction.ExpressionToString());


                    // ** Generate pop ECX **  

                     	Phx.IR.Instruction popInstruction = Phx.IR.ValueInstruction.New(functionUnit,  Phx.Targets.Architectures.X86.Opcode.pop);  
                    
                    // Add ECX as the source operand  


	                Phx.Types.Type registerType = functionUnit.RegisterIntType;  
                    Phx.IR.Operand ecxOperand = Phx.IR.VariableOperand.NewRegister(functionUnit,   registerType, Phx.Targets.Architectures.X86.Register.ECX);  
                    popInstruction.AppendSource(ecxOperand); 
                    
                    // Add the esp side effect; esp is modified by pop  


                    int
 registerTag = functionUnit.AliasInfo.GetTag(Phx.Targets.Architectures.X86.Register.ESP);  

                    popInstruction.AppendDestination(Phx.IR.AliasOperand.New(functionUnit, registerTag)); 


                    // Now add the store side effect. The store is aligned, accesses memory that is not otherwise  



                    // aliased, and will not cause an exception.  



                    Phx.IR.VariableOperand espOperand = Phx.IR.VariableOperand.NewRegister(functionUnit, registerType,  
                    Phx.Targets.Architectures.X86.Register.ESP);  
	 
                    Phx.IR.MemoryOperand memoryEspOperand = Phx.IR.MemoryOperand.New(functionUnit, registerType, null

, espOperand, 0, Phx.Alignment.NaturalAlignment(registerType),  


                        functionUnit.AliasInfo.NotAliasedMemoryTag, functionUnit.SafetyInfo.SafeTag);  


                    popInstruction.AppendDestination(memoryEspOperand);   


                     // Verify we have created a "legal" instruction....and dump what we've created.  


                    bool
 isLegal = functionUnit.Legalize.IsLegal(popInstruction);  


                    if
 (isLegal) Console.WriteLine("popInstruction is in legal form."
);  



                    //create jmp

                    Phx.IR.Instruction branchInstruction = Phx.IR.BranchInstruction.New(functionUnit,Phx.Targets.Architectures.X86.Opcode.jmp, LABEL
);



                    



                     



                     // Verify we have created a "legal" instruction....and dump what we've created.  



                    bool


 isLegal2 = functionUnit.Legalize.IsLegal(branchInstruction);  



                    if


 (isLegal2) Console.WriteLine("branchInstruction is in legal form."


);                    



                     



                     



                    



                    instruction.InsertBefore(popInstruction);



                    //instruction.InsertBefore(andInstruction);



                    instruction.Replace(branchInstruction);

                }
            }

variable creation

Wed, 18 Nov 2009 15:02:00 Z

I'm currently working on a plug-in where I add code in the IR of the phoenix compiler after the CxxIL Reader phase.

I know how I can add IR instructions:
instruction.InsertAfter(Phx.IR.ValueInstruction.New(functionUnit, Phx.Common.Opcode.Nop));

what I would like to know is how can I create a variable in Phoenix and insert it into the existing code.

To give a more detailed example I would like to create a copy from the variable _one visible in the IR dump below and safe the value in a new variable. Does anyone knows how to doe this.

IR after CxxIL Reader (control cil)

Function Unit #1
$L1: (references=0)                                                          #1
   {*StaticTag}, {*NotAliasedTag} = START _main(T)                           #1
_main: (references=1)                                                        #1
                       ENTERFUNCTION                                         #1
                       ENTERBLOCK ScopeSymbol276                             #1
                       ENTERBLOCK                                            #1
                       ENTERBLOCK ScopeSymbol278                             #1
   _one              = ASSIGN 1                                              #4
   t280              = ADD _one, 1                                           #5
   _two              = ASSIGN t280                                           #5
   t282              = CONVERT &$SG734                                       #6
   {*CallTag}        = CALL* &_printf, t282, {*CallTag}, $L5(EH)             #6
   t285              = CONVERT &$SG735                                       #7
   {*CallTag}        = CALL* &_printf, t285, _one, {*CallTag}, $L5(EH)       #7
   t288              = CONVERT &$SG736                                       #8
   {*CallTag}        = CALL* &_printf, t288, _two, {*CallTag}, $L5(EH)       #8
                       EXITBLOCK ScopeSymbol278                             #10
                       EXITBLOCK                                            #10
                       EXITBLOCK ScopeSymbol276                             #10
                       RETURN 0, $L3(T)                                     #10*
$L5: (references=3)                                                         #10
                       UNWIND                                               #10
$L3: (references=1)                                                         #10
                       EXITFUNCTION                                         #10
$L2: (references=0)                                                         #10
                       END {*StaticTag}                                     #10

String Types

Sat, 14 Nov 2009 03:12:12 Z

How do I go about creating a string type in Phoenix. I am writing a compiler for a small language called Tiger and I need to be able to add support for strings. I had thought of simply putting them into some string section at compile time, but that does not handle user input. Any help would be greatly appreciated.

Drew

Generi functions

Thu, 15 Oct 2009 21:57:05 Z

Hi,

I am trying to generate MSIL code for a simple generic function like this:

class MyClass
{
      public T foo<T>(T arg)
      {
          return arg;
      }
}

But I'm getting the following erros:
Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\phx\types\type.inl, Line 746
this->IsConstant
in (Function number 4) applyrgs [line 10] during Lower
in (PEModule) Executable.Base.exe
in (Program) <unnamed unit>
Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\phx\types\type.inl, Line 746
this->IsConstant
in (Function number 4) applyrgs [line 10] during Lower
in (PEModule) Executable.Base.exe
in (Program) <unnamed unit>
Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\phx\types\type.inl, Line 746
this->IsConstant
in (Function number 4) applyrgs [line 10] during Lower
in (PEModule) Executable.Base.exe
in (Program) <unnamed unit>
Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\phx\ir\ir.cpp, Line 7358
this->FunctionUnit->Architecture->CanEnregisterType(type)
in (Function number 4) applyrgs [line 10] during Lower
in (PEModule) Executable.Base.exe
in (Program) <unnamed unit>
Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\phx\ir\ir.cpp, Line 8675
functionUnit->Architecture->CanEnregisterType(type)
in (Function number 4) applyrgs [line 10] during Lower
in (PEModule) Executable.Base.exe
in (Program) <unnamed unit>
Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\phx\types\type.inl, Line 746
this->IsConstant
in (Function number 4) applyrgs [line 10] during Lower
in (PEModule) Executable.Base.exe
in (Program) <unnamed unit>
Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\phx\types\type.inl, Line 746
this->IsConstant
in (Function number 4) applyrgs [line 10] during Lower
in (PEModule) Executable.Base.exe
in (Program) <unnamed unit>
Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\phx\metadata\metadata.cpp, Line 10204
Unreached
in (Function number 4) applyrgs [line 10] during Stack Allocation
in (PEModule) Executable.Base.exe
in (Program) <unnamed unit>

Any ideas of what is causing this?

Thanks,
Guilherme

Linking to a dll from a Plugin

Fri, 06 Nov 2009 15:32:45 Z

I would like to build a plugin that inserts call instructions into the code it is creating that will call a dll, as in the BBCount example. However, the BBCount example uses the PEModuleUnit's built in features to allow for the creation of an import symbol. I've looked as well at the LoopInstrumentation example, but the example does not actually have to link up to a separate dll.

I think the key component I am missing is the ability to create an ImportModuleSymbol. My clumsy attempts to do so are what cause my Phoenix exceptions currently, and if I could do that, the rest of the BBCount code seems to be compatible with what I am doing.

Thanks in advance for any help you can provide.

Get IRViewer to run?

Mon, 16 Jun 2008 21:19:00 Z

I was looking through the Phoenix tutorials and noticed an IRViewer that views IR in a tabular form. The tutorials contained code to build the viewer but I ran into the following compiler error:

Error 5 error C2039: 'Register' : is not a member of 'Phx::ExtensionObject' c:\Users\elarson\Documents\Visual Studio 2008\Phoenix Info\Practical Phoenix Tutorial (Mar 07)\tutorial\IRViewer\IRViewerExtension.cpp 22 IRViewer

I'm using the Arpil 2008 SDK on Visual Studio 2008 so it may be a compatibility issue.

Thanks!

Breakage with .net 4.0?

Thu, 05 Nov 2009 23:48:03 Z

Hi all, I have been using the Phoenix compiler as a frontend for some code analysis. Then last week I decided to try out the VS 2010 beta and implement a dynamic instrumentation tool I have been wanting to build for a while. Since Phoenix is VS 2008 only my plan was to try out VS 2010 while I wrote a DLL that managed all the book-keeping and then call this from a rewritten (using Phoenix) binary.

All went well until I tried to implement my rewriter with Phoenix, then I could not read in the .exe I wanted to rewrite without errors (it seems the problem involved some dll's not resolving correctly). In fact at this point in time my previously working analysis tool was failing with the same errors. Additionally most of the sample code provided with Phoenix failed to compile (mostly with unresolved dll references) and if they did run promptly failed with strange exceptions.

I then installed a fresh copy of Win 7 (which should have .net 4.0 by default) and VS 2008. Again all the Phoenix based code failed to build and/or run. I then returned to my orig. installation of Vista, uninstalled VS 2010 and .net 4.0. Now at least my analyzer code works although some of the Phoenix samples still fail. Tomorrow I am going to do a fresh install of Vista and VS 2008 to see if this resolves all problems.

So short story, there seems to be something about .net 4.0 that completely breaks Phoenix.

Although I think I have resolved my problems I wanted to report this issue and post this so that other users are aware of it. If there is any other useful information I can provide let me know,
Mark

Phx.PEModuleUnit.Open

Wed, 28 Oct 2009 13:23:39 Z

Hello.
What should I do to make the following code work?
Phx.PEModuleUnit moduleUnit = Phx.PEModuleUnit.Open("test.exe");
this is a simple line. I am so suprised that it occur a fatal error when i was building my project. why???????????????????????????????????

find specific instructions

Mon, 02 Nov 2009 15:37:49 Z

I would like to search for specific instructions in the assembly code so that i can add code myself
The instructions are:
push ebp
pop edp

how can i check that the instruction read in an iterate loop is the instruction show above?
I know you can check common instructions like NOP by using (Phx.Common.Opcode .Nop ) to compare but can you also check for push and pop (with arguments)

Some Problem about Phoenix redirect Plug-in's output??

Thu, 29 Oct 2009 11:03:48 Z

Hello everyone :

could it does just like the title?
i want to redirect output to a file just like "FlowGraph.txt";
so i add the follow code to the Execute method:

System.IO.TextWriter t = new System.IO.StreamWriter("FlowGraph.txt");









System.Console.SetOut(t);

i built the plug-in, it done.
but when i use the commod line just like "cl -d2plugin:FlowGraph.dll test.cpp"

it output the follow line to the console(not the file):

fatal error C1001:An internal error has occurred in the compiler.
(compiler file 'd:\enlistments\sdk_june08\src\clients\c2\c2-diagnostice.cpp',line 742)
Unhandled Exception

why ?? i think i did all the right thing!!

Program Analyst

Thu, 29 Oct 2009 13:25:21 Z

No Sir , i am working on tiny c like language using ocaml ..for analysis ..

and i need to construct CFG using ocaml ..i need help for constructing CONTROL FLOW GRAPH of if , while , for , return , function statement so please help me out

there must be something wrong with my Phoenix!!!!!!!!!!!!!!!!!!

Wed, 28 Oct 2009 10:18:38 Z

when i run the example "ipo-plug-in"; my cmdline is "cl -deplugin:ipo-plug-in.dll test.cpp"; but there must be something wrong with that , it output "C2 Pass 0 not found in passlist:"; but the "Phoenix Document" said that "the c2 compiler has two passes. The first pass performs necessary preparations before code generation, and the second pass does the actual code generation. " why ? is there something wrong wiht my phoenix? my phoenix's version is "Phoenix-SDK-June-2008-RC1". i changed the code ,i insert the C2Pass before "C2 Codegen Pass".but there is some other wrong,it output that "the callgraph is null". why ????? thanks !!!

Control Flow Graph Add-in installed but cannot see Control Flow Graph

Mon, 05 Oct 2009 15:57:58 Z

Hi All:

    I had installed Phoenix recently and is using Visual Studio 2008. And in Visual Studio 2008, I had installed Control Flow Graph Add-in and can see the Control Flow Graph window and A Control Flow Graph Window Button added onto my VS2008 after the installation.

   I created a C++ program using VS2008, the CodeModel comment is added into the C++ program.

    However when a position my Cursor onto a function name in the C++ program, I am Not able to see Control Flow Graph on the Control Flow Graph Window.

   Is there anyone who knows what is the problem? Why I can't see any graph on the Control Flow Graph Window?

   Many thanks

Control Flow graph construction using ocaml

Wed, 28 Oct 2009 08:22:33 Z

I am working on developing ocaml analyzer can any one help me how to contruct Control Flow Grpah for Simple tiny language ..

FunctionArgument on June 2008 SDK

Fri, 05 Sep 2008 00:59:31 Z

Hello,

What happened with the Phx.Symbols.FunctionArgument on this new SDK? What should I do to make the following code work?

     Phx.Symbols.FunctionArgument functionArgument =
                            Phx.Symbols.FunctionArgument.New(funcSymbol, argsName, parameterId++);
     funcSymbol.AppendFunctionArgument(functionArgument);

Regards,
Guilherme Oliveira

Pascal to MSIL / C# translation

Thu, 08 Oct 2009 11:21:36 Z

Hi,
Is it possible to use phoenix to generate a translator / compiler to help us in migrating our legacy turbo pascal applications to .Net?

Thanks
Vijay

Process Command-Line options for a phoenix plugin

Wed, 14 Oct 2009 06:17:17 Z

Hi,
I want my phoenix plugin to take an argument say '-func:main' in the command line and would then like to run my plugin for that function only.
For above example, what should be the input command line and how should I process this flag in my plugin code. Please note that I am working with Pass.

Thanks,
Sagar

Phoenix in the Industry

Tue, 27 Feb 2007 17:50:48 Z

Hello, and welcome to the Phoenix forum! I am the Release Program Manager for the Phoenix product team. I wanted to quickly mention our current participation in the industry.

In addition to our RDK, we have also produced a Commercial Development Kit. This CDK contains the same bits of Phoenix as the RDK, but by including a different End User License Agreement allows our commercial partners early access to Phoenix. The CDK is not available via download and only by contacting the product group. We currently have over a dozen companies of various sizes learning about Phoenix. At this point, use of Phoenix within the industry is still very restricted to internal research.

Over the next 6 months, the Phoenix team will be transitioning from the RDK/CDK release to our SDK. This SDK will be available through a Beta program up until we ship with a future version of Visual Studio.

Thank you,

Sarah Derstadt - MSFT

Enumerate all (unused) extern types

Mon, 28 Sep 2009 12:57:05 Z

Hi,

I am quite new to using Phoenix, and what I want to do is enumerating all (especially unused) types that have been #included in a unit of a C++ program. My first idea was to take an example pass and using moduleUnit.TypeTable.AllTypes in a PostPassEvent. However, this type table seems only to include types that are actually used - is my observation correct? The symbol table behaves quite similar.

Therefore, my question is how I would get all types/functions that are declared (extern) in the unit, regardless of whether they are used or not.

Additionally, are there special requirements on how I must use the compiler? Currently, I am compiling an already pre-processed C++ file with /Od. Is this sufficient?

Best regards,
Christoph

Generate function calls a wrong type

Fri, 11 Sep 2009 03:22:57 Z

I try to generate a function call in assembly A. The function defined in assembly B with a parameter of type T. The function is generated and get called. But it throw an Mechod not found exception that shows the function parameter is of type System.Reflection.AssemblyTitleAttribute.

Unhandled Exception: System.MissingMethodException: Method not found: 'Void source.Class1.log(System.Reflection.AssemblyTitleAttribute)'.

Does anyone know what happens here? what the system.reflecton.assemblyTitleAttribute? I define the log function with a parameter of type T. Why it is looking for such a type?

Install error

Wed, 09 Sep 2009 11:02:28 Z

Get this error on install any ideas ?

1: PhxLogo.ico
1: BugSpray.ico
1: {D12775DE-6D75-47A7-8354-44EFBA97B131}
Action 18:24:50: RegisterVCSProjectTemplates.
Error 1722. There is a problem with this Windows Installer package. A program run as part of the setup did not finish as expected. Contact your support personnel or package vendor. Action RegisterVCSProjectTemplates, location: C:\Program Files\Microsoft Visual Studio 9.0\\Common7\IDE\devenv.exe, command: /setup
MSI (s) (DC:4C) [18:29:11:726]: Product: Microsoft Platform SDK Codenamed 'Phoenix' (June 2008 CTP) -- Error 1722. There is a problem with this Windows Installer package. A program run as part of the setup did not finish as expected. Contact your support personnel or package vendor. Action RegisterVCSProjectTemplates, location: C:\Program Files\Microsoft Visual Studio 9.0\\Common7\IDE\devenv.exe, command: /setup

VS2008 professional with C++Installed ( but not 64 bit C++)

Using C2.exe with CSC.exe

Thu, 24 Sep 2009 06:29:55 Z

Is it possible to use C2.exe to compile a managed executable to a native executable? I have read that C2.exe can be used to compile IL to native code but the only documentation I can find in the SDK documents about using C2.exe requires intermediate files generated by the CL.exe C++ compiler.

If I can't use the C2.exe executable, can I use the pheonix framework to do this without having to write a frontend?

Future of Phoenix ?

Fri, 25 Sep 2009 10:35:46 Z

Note: I have created this new thread since the last one with similar question was more than two years old and did not show much activity.

We have been evaluating various frameworks and tools over last one year in order to arrive at one that best suites our needs. Our basic requirement is to implement a custom code analysis tool for C# and C++. Among other things, the tool will require access to data flow framework, control flow graphs and alias information.

Phoenix is one of the few tools / frameworks shortlisted for further investigation with respect to suitability to our need. But, there has been almost no activity on the Commercial Licensing front since the June 2008 CTP Release, and neither has there been much recent activity on the Phoenix forum. This has led to an inkling of a doubt regarding the future development and support of the Phoenix framework.

Is Microsoft planning any future release or support of the framework? If yes, what is the expected timeline for the next release?

Himanshu Kumar Singh
Siemens

Redirecting Phoenix textual output (Dump)

Sun, 16 Aug 2009 13:37:06 Z

Hello.

I'm using Phoenix inside a C# application. It runs in a secondary AppDomain and I have no major problems.

I'm having hard times trying to redirect the standard output of Phoenix to an internal console.
I don't even know how Phoenix itself is written but I suppose it doesn't use System.Console because Console.SetOut() has no effect on it.

Are there any hooks that I can use to get the result of methods like FunctionUnit.Dump()?
Is there a way to get the same textual representation that FunctionUnit.Dump() prints as string?
FunctionUnit.ToString() is not enough.

Thanks!

Run the sample program of addcall, why there is an Unhandled Exception at moduleUnit->Close(); ? Thanks!

Thu, 27 Aug 2009 17:33:43 Z

Thanks in advance!!!
What is the possible reason the problem ?
I used the sampel program to run testapp.exe .
It works.
While I used it to add call to my own program, it always report an exception message.
----Here is the exception message----
I:\Program Files\Phoenix SDK June 2008\samples\AddCall\cpp\Debug>addcall.exe /ou
t addtest.exe /pdbout addtest.pdb /importdll ExoDLL.dll /importmethod DisplayBox
/localmethod foo /in winform.exe
Total Global Symbols Count - 2045

Unhandled Exception: Phx.FatalError: Exception of type 'Phx.FatalError' was thro
wn.
   at Phx.FatalError.Dispatch()
   at Phx.PE.Utilities.UserError(String infoString)
   at Phx.PEModuleUnit.MakeEmptyFunctionUnitForEncodedIR(FunctionSymbol function
Symbol)
   at Phx.PEModuleUnit.LoadEncodedIRUnitList()
   at Phx.PEModuleUnit.GetEnumerableContributionUnit(ContributionUnitEnumeration
Kind contributionUnitEnumerationKind)
   at Phx.PEModuleUnit.GetEnumerableContributionUnit()
   at DoAddInstrumentation(PEModuleUnit moduleUnit) in i:\program files\phoenix
sdk june 2008\samples\addcall\cpp\addcall.cpp:line 298
   at main(String[] arguments) in i:\program files\phoenix sdk june 2008\samples
\addcall\cpp\addcall.cpp:line 143

Help Regarding Induction variable

Mon, 03 Aug 2009 06:19:35 Z

I want to implement the induction variable optimization as suggested in Beyond Induction Variables by Wolfe. The algo which i was going to use was Build SSA then find Strongly connected regions and then mark induction variables[variables in instructions of standard form] could you please help me out how to get the variables list out of an instruction and connect it with SSA variables.

Thank You.

How to get the control flow graph for the entire program

Thu, 30 Jul 2009 03:15:39 Z

Hi,

   I know how to get the flow graph for each function, but is there any way to the get the control flow graph for an entire program containing multiple functions, or multiple input files, since I want to work on the whole program to analyze something? How to do that?

   Thank you very much!

Regards,
Ray

I cannot find a compiler that uses a Graphic Language.

Tue, 09 Jun 2009 10:14:00 Z

I've read through my related threads, and I didn't see any answers.

This thread is where I attempted to say the same thing. I just fail to make it simple.
http://social.msdn.microsoft.com/Forums/en-US/hottechnology/thread/4085dabc-f161-4ac8-957f-72f2141b1509/

I wish that Microsoft Research, would really look into Digital Logic Gates, in the simplest form. The Graphic Language would consist of the basic logic gates, AND, OR, NOT, XOR, NAND, and NOR. This piece of Code Represents a 3 input AND gate.

DIM X as MousePointer X
DIM Y as MousePointer Y
DIM Z as MouseClickEvent
DIM Output as Boolean

Output = 'False' 'Gate Logic places the boolean sense of False as 0 in circuit design.

' Supposing that X is the Horizontal pixel grid on the screen and Y the vertical,
' Z could take place anywhere on the screen.

IF X > 180 AND X < 360 AND Y > 200 AND Y < 250 AND Z <> 0 THEN
Output = 'True'
ELSE
Output = 'False'
END IF

If that were a circuit, X were a voltage, Y another voltage, and Z a switch that was either on or off, between 180 and 360 volts X's swich is set to 1, and when Y's voltage is between 200 and 250 Volts, it's switch is on/set to an output of 1. So, this could be drawn as a 3 input AND gate. Since, the IF Statement is so flexible that we can do anything following the THEN or ELSE part of the code, the output of an AND gate is not always equal to one. It is actually sent to one of if not a series of pointers. In the logic of the Graphic Computer Language I am trying to establish, you should be able to use these sections of the program to generate a true boolean/Gate Logic Truth Table. In any program all of the math that works for the least number of gates, works for these parts of your code. If the pointer went to more code, I would just call a Sub Public or Private.

So, when I say, you could actually produce a virus free operating system, that doesn't mean when it arrives at the market. That means for the duration of it's operation it can keep itself from running viruses. First, you have to have the Langauge the computer can read. Second, you have to derive the truth tables that define a virus. If the compiler includes a decompiler, and the decompiler is just checking to make sure that the computer program was written by a native compiler, then the problem of having a machine figure out whether a program is a virus or not is nearly solved. Every program requires User Input. If it doesn't it has to be a driver, codec, DLL, but nothing that doesn't start with a mouse click, or a keystroke. Now, think about a virus, it usually is more like a TSR that doesn't pay attention to the USER. A video game always pays attention and the input is typically a joystick or other, sound or video. Any binary file is treated as a binary first and only data. Until, the decompiler has checked it, the operating system has to wait to execute the program. That's why the operating system needs to be designed after the compiler.

There are dozens of different ways I could have written that last piece of code. But, in Assembly Language, the way you would write the code would never include an IF statement. X, Y, Z and Output would all be assigned values as Variables. Keeping this centered around the ALU the Greater Than > and Less Than < turns this into a 5 input AND gate. Each time you present greater than or less than it represents an input and the non-zero condition of Z only represents one input. In Assembly Language, you would then have a jump statement to tell it which line of code to go to if all of the conditions were true, and then if they are not which line of code to jump to. Now, I know which way data is flowing, it doesn't really matter if it's a string or a variable, in gate logic that's all 1s and 0s. As long as I have converted that into a gate I can determin the flow of information through any other program that is verified as safe to the operating system. If there is no user input causing the domino effect in some part of that code, no matter how long it is, that has no, requires no, and waits for no user input, then it must be malicious code. If I walk away from my computer, and another computer calls my machine, and asks for data, web links, history, credit card numbers, or maybe a keystroke recorder. Why doesn't text ever show on the screen. Oh, look at the truth table. The user cannot see the information, and it never makes it through any part of the code it generates to display it on the screen, and it's not sent to the sound card. When the user has nothing to do with it, it is detectable in the truth table. But, you have to be able to track all of that through several layers of software, drivers, dlls, codecs, and finally your user interface.

I should be able to translate that IF statement into a graphic of a keyboard, mouse, screen, sound/speaker, joystick, modem/network ports, printer, and the program as a bunch of logic gates. I never need to run the program to know if it's going to send something unwanted to through my hardware.

There are plenty of Digital Logic Gate Simulators, that run simulated logic gates. In a matter of seconds if not just a few moments, determine all of the possible logical states of that network of gates. So, why doesn't anyone want a language that would keep commands like PARSE, MID, WEND, WHILE, LOOP UNTIL, go so far as a sophisticated scientific calculator in complex commands, and really just manage pointers/jump commands. I have looked into it, and tested a few short pieces of Assembly Language Code to work as a AND gate, when it comes down the clock cycles it matches most. But, then there are no alogorithms or theorms like Demorgan's and most of which you learn in basic algebra to use math to eliminate unneeded code from the binary or the source before it is compiled. If you have extra commands or lines of code that could be written differently, the computer can actually solve that Boolean Algebraic equation for you. But, if you continue to use the program languages that are out there, there will just be more viruses. You won't have an Effective Heuristic Anti-Virus Engine designed into the Operating System.

Problems in running Lattice analyzer after adding memory operands

Fri, 03 Jul 2009 05:10:54 Z

Hello,
I'm trying to do something which involves changing the flow graph of the function, so as to include a newly created basic block which comprises of instructions that have a couple of manually created memory operands, which have no tags assigned yet. So to assign tags, I create a lattice analyzer, and run it manually using: myLatticeAnalyzer.Run(), after setting myLatticeAnalyzer.DoApplyCallSummaries to true. When I run the lattice analyzer, I get the following errors:

Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\phx\lattices\alias-lattice.cpp, Line 193
!lattice->SsaInfo->DoIncludeAliasedVariables
in (Function number 0) ?mallocIndirectToInt@@YAXPAPAH@Z [line 0] during CustomLatticePhase
in (Module) testipo2.cpp

Can somebody please help me and tell me what should be done in such a situation.

Regards,
If If

I cannot debug an assembly after phoenix pass.

Sat, 04 Jul 2009 17:13:20 Z

Hi,

I just apply the instrumentation tool template in VS C# express 2008 without any transformation and the debugger steps throw the generated code abnormally. Here the assembly source code:

namespace test
{
    class Program
    {
        static void Main(string[] args)
        {
            int argc = 0;
            if (argc == 0)
            {
                Console.WriteLine("");
            }
            else
            {
                Console.WriteLine("");
            }            
        }
    }
}

For instance the debugger goes through the two WriteLine. When I disassemble the assembly with ildasm I get the following IL with the corresponding source line.

.method private hidebysig static void  Main(string[] args) cil managed
{
  .entrypoint
  // Code size       49 (0x31)
  .maxstack  2
  .locals init ([0] int32 argc,
           [1] bool CS$4$0000)
  .language '{3F5162F8-07C6-11D3-9053-00C04FA302A1}', '{994B45C4-E6E9-11D2-903F-00C04FA302A1}', '{5A869D0B-6611-11D3-BD2A-0000F80849BD}'
// Source File 'F:\Etudes\Phd\research\Projects\testDebug\test\Program.cs' 
//000010:         {
  IL_0000:  nop
//000011:             int argc = 0;
  IL_0001:  ldc.i4.0
  IL_0002:  stloc.0
//000012:             if (argc == 0)
  IL_0003:  ldloc.0
  IL_0004:  ldc.i4.0
  IL_0005:  ceq
  IL_0007:  ldc.i4.0
  IL_0008:  ceq
  IL_000a:  stloc.1
  IL_000b:  ldloc.1
  IL_000c:  brtrue     IL_0023
  IL_0011:  nop
  IL_0012:  ldstr      ""
  IL_0017:  call       void [mscorlib]System.Console::WriteLine(string)
  IL_001c:  nop
  IL_001d:  nop
  IL_001e:  br         IL_0030
  IL_0023:  nop
  IL_0024:  ldstr      ""
  IL_0029:  call       void [mscorlib]System.Console::WriteLine(string)
  IL_002e:  nop
  IL_002f:  nop
  IL_0030:  ret
} // end of method Program::Main

However, ildasm generated the following code for the original assembly:

.method private hidebysig static void  Main(string[] args) cil managed
{
  .entrypoint
  // Code size       43 (0x2b)
  .maxstack  2
  .locals init ([0] int32 argc,
           [1] bool CS$4$0000)
  .language '{3F5162F8-07C6-11D3-9053-00C04FA302A1}', '{994B45C4-E6E9-11D2-903F-00C04FA302A1}', '{5A869D0B-6611-11D3-BD2A-0000F80849BD}'
// Source File 'F:\Etudes\Phd\research\Projects\testDebug\test\Program.cs' 
//000010:         {
  IL_0000:  nop
//000011:             int argc = 0;
  IL_0001:  ldc.i4.0
  IL_0002:  stloc.0
//000012:             if (argc == 0)
  IL_0003:  ldloc.0
  IL_0004:  ldc.i4.0
  IL_0005:  ceq
  IL_0007:  ldc.i4.0
  IL_0008:  ceq
  IL_000a:  stloc.1
  IL_000b:  ldloc.1
  IL_000c:  brtrue.s   IL_001d
//000013:             {
  IL_000e:  nop
//000014:                 Console.WriteLine("");
  IL_000f:  ldstr      ""
  IL_0014:  call       void [mscorlib]System.Console::WriteLine(string)
  IL_0019:  nop
//000015:             }
  IL_001a:  nop
  IL_001b:  br.s       IL_002a
//000016:             else
//000017:             {
  IL_001d:  nop
//000018:                 Console.WriteLine("");
  IL_001e:  ldstr      ""
  IL_0023:  call       void [mscorlib]System.Console::WriteLine(string)
  IL_0028:  nop
//000019:             }            
  IL_0029:  nop
//000020:         }
  IL_002a:  ret
} // end of method Program::Main

It seems that the debug information has disappeared.

Can someone help me please? I do a lot of instrumentation and now I need to debug the instrumented assembly, at least for the part of code that I didn’t touch.

Thank you!

How to add and reference a new field within Generic Class

Thu, 25 Jun 2009 21:35:34 Z

Hi,

I’m working with Phoenix for .Net Assembly Transformation and my question is how we can add a new field to a generic Class and then load it.

Suppose for instance we have the following Generic Class :

public class Test<T>
{
    private T value;       

    public Test(T value)
    {
        this.value = value;            
    }
    public T Value
    {
        get { return value; }
        set { this.value = value; }
    }        
}

And we need to transform this to

public class Test<T>
{
    private T value; 
    int newfield;

    public Test(T value)
    {
        this.value = value;            
    }
    public T Value
    {
        get { return value; }
        set { this.value = value; }
    }        

    public void MyMethod(int t)
    {
        newfield = t;
    }
}

When I consider the field as a usual field, I’m able to generate the modified generic class. However the PEVerify tool complain with the following Error :

System.BadImageFormatException: Fields inside generic classes must be referenced using MemberRefs, even in the same module as the class.

After some try I noted that to reference a field within the generic class we have to load the field of the class instantiated with the type variable “!0” as follows :

Phx.Collections.TypeList typeList = Phx.Collections.TypeList.New(Phx.GlobalData.GlobalLifetime);            
            typeList.Append(testType.TypeVariableTypeList.Head.Data);  
Phx.Types.AggregateType insta = testType.Instantiate(typeList);

However this works only for an existing field because when we add a new field to the generic class, this field does not appear in the instantiated class. Even, if I try to add the field manually I get exception error.

Can somebody give me a guidance please?

Thank you!

Get type of function parameter

Tue, 26 May 2009 08:48:51 Z

I have an assembly A, which contains some functions:
void log(Uri u);
void log(int i);
void log(CustomType t);

The CustomType is defined in another assembly B.

I open the assembly A use PEModuleUnit.Open, then I want to get the parameter types for each log function and add them into a array.

But I found that the ParameterSymbol.Type doesn't give the expected type.

I expect the parameter of type uri has the type object32->class64, and the class64 should have symbol of name "System.Uri". But the result is the class64 is a function ClrCall.Function(i32)->(object32->class64) type!!

Can anyone tell me what happens to the type "Uri"? Thanks

The same thing happens to the CustomType, just the object32->class64 type, and the class64 type is a ClrCall.Function()->(void)

How to get the line No. of the function name by Phoenix?

Sun, 14 Jun 2009 10:19:39 Z

I want to get the line No. of the function name using Phoenix, for example, I want to the the line No. of sample_1,

1 int
2 sample_1
3 (int a)
4 {
5 int i;
6   for(i=0;i<100;i++)
7   {
8 if( i == a )
9 {
10    a = a*i;
11 }
12 }
13   return i;
14 }

Yes, I can get the "{"'s line number, but currently I do not how to get the function name's line No.
Thanks

AliasSummary

Wed, 03 Jun 2009 10:10:05 Z

Hello I've been trying to access the Summary Record of AliasSummary type, by having a custom pass, which has CxxIL ReaderPhase, followed by Alias analysis Phase, followed by a custom phase, which tries to access the summary record using callGraph.SummaryManager.HasSummary(node, Phx.Graphs.AliasSummary.Type)

However, this call always returns false, unless executed in a phase after CxxIL Reader Phase of the C2 codegen pass.

Can someone please help. I'm using the -O2 flag.

Regards,
If If

Null Reference exception when travser a flow graph

Mon, 01 Jun 2009 08:19:58 Z


foreach (Phx.Unit unit in oldModuleUnit.ChildUnits) {



   if (unit.IsFunctionUnit) { 



      Phx.FunctionUnit functionUnit = ((Phx.FunctionUnit)unit);          



      Phx.FunctionUnitState raiseToState =          Phx.FunctionUnit.LowLevelIRBeforeLayoutFunctionUnitState;   



      functionUnit = oldModuleUnit.Raise(functionUnit.FunctionSymbol, raiseToState);   



      functionUnit.BuildFlowGraph();  



      Phx.Dataflow.MemoryLivenessWalker walker = Phx.Dataflow.MemoryLivenessWalker.New(functionUnit.Lifetime); 



      walker.Traverse(Phx.Dataflow.TraversalKind.Iterative, functionUnit); //error 



    } 



}

When I execute the above code snippet, I get a null reference exeption at the line marked as "error". The error message says as follows:

Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\phx\dataflow\traverser.
cpp, Line 377
this->BlockDataArray != nullptr : Called Walker::Initialize before Traverse
in (Data) <unnamed unit> during IR Unit Function Phases
in (PEModule) F:\tmp1\test\test\bin\Debug\test.exe
in (Program) <unnamed unit>
Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\phx\dataflow\traverser.
cpp, Line 378
this->Direction != Dataflow::Direction::IllegalSentinel
in (Data) <unnamed unit> during IR Unit Function Phases
in (PEModule) F:\tmp1\test\test\bin\Debug\test.exe
in (Program) <unnamed unit>

Can anyone give me some suggestions on why I get such an error message?

Parser and Control Flow Graph Generator for C#

Tue, 05 Feb 2008 15:06:24 Z

I need a tool which accepts a C# (C++ would be fine) project, parses it and generates its control flow graph. I've discovered Phoenix yesterday and I'm still not sure whether it is possible using this framework. What I need is the control flow, tokens and line numbers.

I've seen the Control-Flow-Graph Add-In sample in order to see how to obtain a flow graph, however it only takes a function. Note that I do not need a visual representation of the flow graph. I've managed to plug it into Visual Studio 2005 however I still haven't got it working. I've created a Visual C++ project, built it successfully and from Class View I right clicked on a method and clicked on Control Flow Graph. I got "Error loading flow graph" in the caption of the window which is supposed to show the flow graph.

My queries are the following:

Is it possible to get the control flow graph of a project?
Is it possible to retain line numbers and tokens?
Is it possible to get the control flow graph of a project in C#?
How can I resolve the error with the Add-In sample?

Help with Assertion failures

Fri, 29 May 2009 09:22:14 Z

Hello all,
I'm trying to instrument some code, which involves creation of new temporary and assigning another variableOperand as it is to the temporary, as well as adding something to that variableOperand and assigning that to the newly created temporary. The instrumentation also introduces some branches.
I'm getting the following error in the process. Can somebody please suggest or give and idea of where I might be wrong.

-------------------------------------------------------------------------

Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\targets\architectures\x86\function-linkage.cpp, Line 374
Unreached
in (Function number 2) _main [line 28] during Lower
in (Module) ../testFiles/testFunc.c
Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\phx\ir\ir.cpp, Line 10578
reg != nullptr : SinkDestinationToRegister should only be used with a valid register
in (Function number 2) _main [line 28] during Lower
in (Module) ../testFiles/testFunc.c
Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\phx\ir\ir-constructor.cpp, Line 484
variableOperand->IsTemporaryRegister
in (Function number 2) _main [line 28] during Lower
in (Module) ../testFiles/testFunc.c
Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\targets\architectures\x86\lower.cpp, Line 515
Unreached : Unhandled Assign
   tv290-(RegisterCandidate) = ASSIGN t302                                  #28
in (Function number 2) _main [line 28] during Lower
in (Module) ../testFiles/testFunc.c
Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\targets\runtimes\base\lower.cpp, Line 1458
(nextInstruction != nullptr) : Custom processing did not return next instruction to process
in (Function number 2) _main [line 28] during Lower
in (Module) ../testFiles/testFunc.c
Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\targets\runtimes\base\lower.cpp, Line 1481
previousInstruction != nullptr : Lower expansion is skipping instructions
   tv290-(RegisterCandidate) = ASSIGN t302                                  #28
in (Function number 2) _main [line 28] during Lower
in (Module) ../testFiles/testFunc.c
Phoenix Assertion Failure: d:\enlistments\sdk_june08\src\targets\runtimes\base\lower.cpp, Line 1546
newInstruction->IsPseudo || newInstruction->WasLegalized || !newInstruction->IsLir || newInstruction->IsCommon : Customized expansion not f
ull legalized, call Lower->Range
   ESP               = add ESP, 4                                           #28
in (Function number 2) _main [line 28] during Lower
in (Module) ../testFiles/testFunc.c
fatal error C1001: An internal error has occurred in the compiler.
(compiler file 'd:\enlistments\sdk_june08\src\clients\c2\c2-diagnostics.cpp', line 704)
Access Violation Fault (instruction at "0x303B99D9" read memory at "0x0000000C")
Internal Compiler Error in c:\Program Files\Phoenix SDK June 2008\bin\debug\x86\cl.exe. You will be prompted to send an error report to Micr
osoft later.

-------------------------------------------------------------------------

Regards,
If If

error BC31019: Unable to write to output file

Tue, 02 Jun 2009 03:54:22 Z

I've recently installed Visual Studio on my computer for school and after completing my first tutorial I receive this error-

There were build errors. Would you like to continue and run the last successful build? Yes No

Error 1 Unable to write to output file 'AppPath\WindowsApplication1.exe': Access is denied. WindowsApplication1

Well the problem is that I only ran an empty form as per the tutorial. This is what I get from output

------ Build started: Project: WindowsApplication1, Configuration: Debug Any CPU ------
C:\Windows\Microsoft.NET\Framework\v3.5\Vbc.exe /noconfig /imports:Microsoft.VisualBasic,System,System.Collections,System.Collections.Generic,System.Data,System.Drawing,System.Diagnostics,System.Windows.Forms /optioncompare:Binary /optionexplicit+ /optionstrict:custom /nowarn:42016,41999,42017,42018,42019,42032,42036,42020,42021,42022 /optioninfer+ /rootnamespace:WindowsApplication1 /doc:obj\Debug\WindowsApplication1.xml /define:"CONFIG=\"Debug\",DEBUG=-1,TRACE=-1,_MyType=\"WindowsForms\",PLATFORM=\"AnyCPU\"" /reference:C:\Windows\Microsoft.NET\Framework\v2.0.50727\System.Data.dll,C:\Windows\Microsoft.NET\Framework\v2.0.50727\System.Deployment.dll,C:\Windows\Microsoft.NET\Framework\v2.0.50727\System.dll,C:\Windows\Microsoft.NET\Framework\v2.0.50727\System.Drawing.dll,C:\Windows\Microsoft.NET\Framework\v2.0.50727\System.Windows.Forms.dll,C:\Windows\Microsoft.NET\Framework\v2.0.50727\System.Xml.dll /main:WindowsApplication1.My.MyApplication /debug+ /debug:full /filealign:512 /out:obj\Debug\WindowsApplication1.exe /resource:obj\Debug\WindowsApplication1.Resources.resources /target:winexe Form1.vb Form1.Designer.vb "My Project\AssemblyInfo.vb" "My Project\Application.Designer.vb" "My Project\Resources.Designer.vb" "My Project\Settings.Designer.vb"
vbc : error BC31019: Unable to write to output file 'C:\AppPath\WindowsApplication1\obj\Debug\WindowsApplication1.exe': Access is denied.
========== Build: 0 succeeded, 1 failed, 0 up-to-date, 0 skipped ==========

In addition whenever I click on any help it tells me that I do not have document explorer installed, but it is.

So I restarted my computer in safemode and ran visual studio 2008 and it ran like a charm everything worked beautifully. So now I guess my question is what could be causing this problem in normal windows and how can I fix it?

Running on Vista home premium if that makes a difference at all.