Error while using .dtrace file obtained with Celeriac

[Tayfun Sen]

Hello everyone,

I am new for DAIKON. I am trying to use it to create likely invariants for C# programs. I have started to try it for a simple "HelloWorld" program and i obtained the ".dtrace" file using Celeriac. However when i tried to run DAIKON with this .dtrace file I got this error:


C:\Users\tayfunsen\workspace\DAIKONDeneme\bin>java -cp "C:\Users\tayfunsen\Desktop\DAICON\daikon-5.3.2\daikon.jar" daikon.Daikon C:\Users\tayfunsen\Desktop\TezProgramlar\DA
IKONDeneme\DAIKONDeneme\bin\Debug\daikon-output\DAIKONDeneme.dtrace
Daikon version 5.3.2, released May 2, 2016; http://plse.cs.washington.edu/daikon.
Processing trace data; reading 1 dtrace file:
Exception in thread "main" java.lang.Error: daikon.FileIO$DeclError: 'variable' found where 'fıeld', 'functıon', 'array', 'varıable', 'return' expected at line 12 in file C
:\Users\tayfunsen\Desktop\TezProgramlar\DAIKONDeneme\DAIKONDeneme\bin\Debug\daikon-output\DAIKONDeneme.dtrace
        at daikon.FileIO.read_data_trace_files(FileIO.java:978)
        at daikon.FileIO.read_data_trace_files(FileIO.java:940)
        at daikon.Daikon.process_data(Daikon.java:2049)
        at daikon.Daikon.mainHelper(Daikon.java:608)
        at daikon.Daikon.main(Daikon.java:492)
Caused by: daikon.FileIO$DeclError: 'variable' found where 'fıeld', 'functıon', 'array', 'varıable', 'return' expected at line 12 in file C:\Users\tayfunsen\Desktop\TezProg
ramlar\DAIKONDeneme\DAIKONDeneme\bin\Debug\daikon-output\DAIKONDeneme.dtrace
        at daikon.FileIO$DeclError.detail(FileIO.java:207)
        at daikon.FileIO.decl_error(FileIO.java:2932)
        at daikon.FileIO.parse_enum_val(FileIO.java:2925)
        at daikon.FileIO$VarDefinition.parse_enum_val(FileIO.java:2884)
        at daikon.FileIO$VarDefinition.parse_var_kind(FileIO.java:2716)
        at daikon.FileIO.read_ppt_decl(FileIO.java:369)
        at daikon.FileIO.read_data_trace_record(FileIO.java:1563)
        at daikon.FileIO.read_data_trace_file(FileIO.java:1430)
        at daikon.FileIO.read_data_trace_files(FileIO.java:962)
        ... 4 more

It seems like there is some error about word "variable" and its'syntax (variable, varıable). Is there anybody who encountered this error before?

Thank you for your help.

[Mark Roberts]

(In the future, please do not post separately to multiple groups.)

 

Could you please post your source file and the exact sequence of commands you used.

 

Thank you,

Mark Roberts

 

--
You received this message because you are subscribed to the Google Groups "Daikon discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to daikon-discus...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Tayfun Sen]

Hello,

Firstly I used "CeleriacLauncher.exe" in order to obtain .dtrace file from "DAIKONDeneme.exe" (which is a simple "Hello World" program).
In order to create .dtrace file i used "CeleriacLauncher.exe DAIKONDeneme.exe" command from the command prompt. It created  "daikon-output" folder and attached "DAIKONDeneme.dtrace" file.
After that i used this command in order to obtain invariants: "java daikon.Daikon --format csahrpcontract pathToDtraceFile\DAIKONDeneme.dtrace", finally i have the error that i mentioned.

However when i modified the "DAIKONDeneme.dtrace" so that replacing "variable" with "varıable",  "function" with "funtıon so on., the  problem is solved. But I have to do it for all ".dtrace" file each time.







23 Mayıs 2016 Pazartesi 16:44:55 UTC+3 tarihinde Mark Roberts yazdı: