Groups

Daikon discuss

Contact owners and managers

1–30 of 121

Daikon-discuss is a moderated list for the community of Daikon users. Use it to share tips and successes, and to get help with questions or problems (after checking the documentation).

0 selected

Padraic Cashin, … Michael Ernst4

2/25/23

Simplify Prover and Language

Aniket- As far as I can tell, the link first broke shortly before June 17, 2022. A wonderful resource

unread,

Simplify Prover and Language

Aniket- As far as I can tell, the link first broke shortly before June 17, 2022. A wonderful resource

2/25/23

jcav, Michael Ernst2

3/30/22

Is it possible to set an array as null in the dtrace file

I'm sorry you are having trouble. It is possible for an array to be null. It is not possible for

unread,

Is it possible to set an array as null in the dtrace file

I'm sorry you are having trouble. It is possible for an array to be null. It is not possible for

3/30/22

2/28/22

Is it possible to disable the derived variable orig?

I am using Daikon to process a set of enters and exits and I was wondering if it would be possible to

unread,

Is it possible to disable the derived variable orig?

I am using Daikon to process a set of enters and exits and I was wondering if it would be possible to

2/28/22

naveed ul Mustafa, Michael Ernst2

11/1/21

How to interpret daikon output node[].skip[0] elements != null

Can you please let me know how interpret following ooutput from daikon node[].skip[0] elements !=

unread,

How to interpret daikon output node[].skip[0] elements != null

Can you please let me know how interpret following ooutput from daikon node[].skip[0] elements !=

11/1/21

9/21/21

Question regarding nested arrays

I am trying to create a front-end for Daikon that allows to read invariants in exits in json format

unread,

Question regarding nested arrays

I am trying to create a front-end for Daikon that allows to read invariants in exits in json format

9/21/21

Adwait Godbole2

8/2/21

Custom user-defined invariants

I also have a follow-up question: is it possible to define invariants of arity greater than 3? If so,

unread,

Custom user-defined invariants

I also have a follow-up question: is it possible to define invariants of arity greater than 3? If so,

8/2/21

boyan...@gmail.com, Michael Ernst2

5/19/21

DynComp: a fatal error has been detected by the Java Runtime Environment.

Thanks for the bug report. Can you please submit bug reports to the issue tracker at https://github.

unread,

DynComp: a fatal error has been detected by the Java Runtime Environment.

Thanks for the bug report. Can you please submit bug reports to the issue tracker at https://github.

5/19/21

boyan...@gmail.com, Mark Roberts5

5/18/21

unexpected error invoking equal_dcomp_instrumented

Thank you very much for your help! Regards, Bo On Monday, 17 May 2021 at 13:24:25 UTC-4 Mark Roberts

unread,

unexpected error invoking equal_dcomp_instrumented

Thank you very much for your help! Regards, Bo On Monday, 17 May 2021 at 13:24:25 UTC-4 Mark Roberts

5/18/21

Seyed Ahmad Mansouri, Michael Ernst3

12/4/20

Performance of Kvasir

Mike, Thanks for the quick response. Yes, I have followed the instructions. I tried reducing the

unread,

Performance of Kvasir

Mike, Thanks for the quick response. Yes, I have followed the instructions. I tried reducing the

12/4/20

Dylan Wilson, Michael Ernst2

11/16/20

Numeric overflow modifying invariant discovery

Thanks for your message. I'm sorry you are having trouble. You said: > If overflow happens, I

unread,

Numeric overflow modifying invariant discovery

Thanks for your message. I'm sorry you are having trouble. You said: > If overflow happens, I

11/16/20

Seyed Ahmad Mansouri

10/14/20

Real-world test cases

Hello, I was wondering if someone could share with me some codes + test suites? Specifically, I am

unread,

Real-world test cases

Hello, I was wondering if someone could share with me some codes + test suites? Specifically, I am

10/14/20

Soha Hussein, Michael Ernst2

9/21/20

Why would Daikon generate the same invariants for two sets of traces?

Soha- > Invariant set S1 is identical to invariant set S2, even though traces T2 has more non-

unread,

Why would Daikon generate the same invariants for two sets of traces?

Soha- > Invariant set S1 is identical to invariant set S2, even though traces T2 has more non-

9/21/20

Frank Diehl, … Mark Roberts7

7/20/20

Java 8 Compatibility

I think you might have confused two recent trouble reports. #207 was a stack map problem cause by old

unread,

Java 8 Compatibility

I think you might have confused two recent trouble reports. #207 was a stack map problem cause by old

7/20/20

Tsarsko Petrovich, Michael Ernst4

7/13/20

Remove invariant from output

Tsarko- Great. I'm glad that works for you. Mike On Mon, Jul 13, 2020 at 10:28 AM Tsarsko

unread,

Remove invariant from output

Tsarko- Great. I'm glad that works for you. Mike On Mon, Jul 13, 2020 at 10:28 AM Tsarsko

7/13/20

GP, Michael Ernst2

6/24/20

Problems with Annotate and OpenJML

Thanks for your message. I am sorry you are having trouble. Could you please submit a reproducible

unread,

Problems with Annotate and OpenJML

Thanks for your message. I am sorry you are having trouble. Could you please submit a reproducible

6/24/20

Jeffrey Chen, … Mark Roberts3

6/17/20

Kvasir Segmentation Fault on the CGC Challenge Binaries

The CGC build system defaults to 32-bit binaries. You can override this option by editing the

unread,

Kvasir Segmentation Fault on the CGC Challenge Binaries

The CGC build system defaults to 32-bit binaries. You can override this option by editing the

6/17/20

Priyanka Darke, Michael Ernst4

6/12/20

On generation of invariants of the form "var >= 0" by Daikon

Please read section "Missing output invariants" in the "Troubleshooting" chapter

unread,

On generation of invariants of the form "var >= 0" by Daikon

Please read section "Missing output invariants" in the "Troubleshooting" chapter

6/12/20

GP, Michael Ernst4

6/11/20

Daikon and Object Relationships

Thank you for replying. I have since been able to infer the intended invariant. I figured after some

unread,

Daikon and Object Relationships

Thank you for replying. I have since been able to infer the intended invariant. I figured after some

6/11/20

tei...@gmail.com, … Michael Ernst3

6/7/20

Problems with the annotate example

There is an error in the instructions. The command cd .. java -cp $DAIKONDIR/daikon.jar daikon.tools.

unread,

Problems with the annotate example

There is an error in the instructions. The command cd .. java -cp $DAIKONDIR/daikon.jar daikon.tools.

6/7/20

Andrea Fioraldi, Michael Ernst2

6/1/20

Speedup learning

Andrea- I'm trying to speedup the running time of Daikon, there are some existing tips about this

unread,

Speedup learning

Andrea- I'm trying to speedup the running time of Daikon, there are some existing tips about this

6/1/20

bo yang, Michael Ernst3

5/21/20

Problems with the invariant types

Thank you very much! On Wednesday, 20 May 2020 22:52:30 UTC-4, Michael Ernst wrote: Bo- Please enable

unread,

Problems with the invariant types

Thank you very much! On Wednesday, 20 May 2020 22:52:30 UTC-4, Michael Ernst wrote: Bo- Please enable

5/21/20

Tsarsko Petrovich, Michael Ernst2

5/20/20

Daikon and arrays

> Why is Daikon not able to also infer that this.authors.books != null? It is hard to judge based

unread,

Daikon and arrays

> Why is Daikon not able to also infer that this.authors.books != null? It is hard to judge based

5/20/20

Atharwa Adawdakar, Michael Ernst2

5/11/20

Cannot infer a particular rule

Please see the Daikon documentation. It gives valuable information, such as how to investigate

unread,

Cannot infer a particular rule

Please see the Daikon documentation. It gives valuable information, such as how to investigate

5/11/20

Garima Mangal, … Michael Ernst5

4/23/20

error while executing make -C $DAIKONDIR rebuild-everything command

The file you attached still has a screenshot rather than a full transcript of the output. However, it

unread,

error while executing make -C $DAIKONDIR rebuild-everything command

The file you attached still has a screenshot rather than a full transcript of the output. However, it

4/23/20

Garima Mangal, Michael Ernst2

4/23/20

How to generate invariant for my own c program

I'm sorry you are having trouble. We would like to help you, but we cannot do so from this

unread,

How to generate invariant for my own c program

I'm sorry you are having trouble. We would like to help you, but we cannot do so from this

4/23/20

mh2, Fabrice Harel-Canada2

4/22/20

Process data from .csv files

Hi mh2, I was able to successfully generate invariants for the Iris dataset using the attached notes.

unread,

Process data from .csv files

Hi mh2, I was able to successfully generate invariants for the Iris dataset using the attached notes.

4/22/20

GP, Michael Ernst4

4/15/20

Inferring null/not null invariants

Thanks for the explanation of your question and what you tried; that is very helpful! You were

unread,

Inferring null/not null invariants

Thanks for the explanation of your question and what you tried; that is very helpful! You were

4/15/20

Andrea Fioraldi, Michael Ernst4

3/20/20

Collect values not only at function enter/exit

Andrea- Yes, the ppt name is just a label. You can choose any name you like. The file formats are

unread,

Collect values not only at function enter/exit

Andrea- Yes, the ppt name is just a label. You can choose any name you like. The file formats are

3/20/20

Kevin Erdiza Yogatama, Michael Ernst2

1/17/20

Question about Invariant Diff.

I think you are asking how to write a program or script to process text files and produce a desired

unread,

Question about Invariant Diff.

I think you are asking how to write a program or script to process text files and produce a desired

1/17/20

GP, Michael Ernst6

11/11/19

Error on make -C $DAIKONDIR rebuild-everything on Linux

Thanks for confirming that Java 8 works. And thank you for identifying a bug in the documentation. It

unread,

Error on make -C $DAIKONDIR rebuild-everything on Linux

Thanks for confirming that Java 8 works. And thank you for identifying a bug in the documentation. It

11/11/19

Search

Clear search

Close search

Google apps

Main menu