Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Daikon Failed to Execute when Using runcluster.pl with kmeans Option #537

Open
yuan-xia opened this issue Mar 27, 2024 · 0 comments
Open

Comments

@yuan-xia
Copy link

yuan-xia commented Mar 27, 2024

Thanks for submitting an issue.
As noted in the instructions for submitting an issue at https://plse.cs.washington.edu/daikon/download/doc/daikon.html#Reporting-problems, please include at least the following with your report:

The output of java -version:
java version "17.0.2" 2022-01-18 LTS
Java(TM) SE Runtime Environment (build 17.0.2+8-LTS-86)
Java HotSpot(TM) 64-Bit Server VM (build 17.0.2+8-LTS-86, mixed mode, sharing)

the operating system version:
macOS 10.15.7

I attempt to use Daikon on csv file and generate all invariants it had. So the input is samples.csv file and I convert it into samples.dtrace and samples.decls. It runs successfully if I just apply Daikon on these two files. Commands are following:


(base) MacBook-Pro-4:scripts yuanxia$ ./convertcsv.pl samples.csv 
Died at ./runcluster.pl line 261.
(base) MacBook-Pro-4:scripts yuanxia$ java -cp $DAIKONDIR/daikon.jar daikon.Daikon --nohierarchy samples.decls samples.dtrace
Daikon version 5.8.16, released November 9, 2022; http://plse.cs.washington.edu/daikon.
(read 1 decls file)                                                            
Processing trace data; reading 1 dtrace file:                                  
[2024-03-26T19:21:07.391345]: Finished reading samples.dtrace                  
===========================================================================    
aprogram.point:::POINT
list_length >= 0.0
gateAdd1 one of { 0.0, 1.0 }
gateAdd2 one of { 0.0, 1.0 }
Exiting Daikon.
(base) MacBook-Pro-4:scripts yuanxia$ 

HOWEVER, Daikon kmeans does not work for samples.csv. Commands are following:

(base) MacBook-Pro-4:kmeans yuanxia$ make
make: Nothing to be done for `all'.
(base) MacBook-Pro-4:kmeans yuanxia$ nano ~/.bash_profile
Add three lines to the bash_profile:
export PATH="/Users/yuanxia/Documents/Github/daikonparent/daikon-5.8.16/tools/kmeans/kmeans:$PATH"
export CLASSPATH=$DAIKONDIR/daikon.jar:$CLASSPATH
alias kmeans='/Users/yuanxia/Documents/Github/daikonparent/daikon-5.8.16/tools/kmeans/kmeans'
(base) MacBook-Pro-4:kmeans yuanxia$ source ~/.bash_profile
(base) MacBook-Pro-4:scripts yuanxia$ ./convertcsv.pl samples.csv 
(base) MacBook-Pro-4:scripts yuanxia$ ./runcluster.pl -a km -k 2 samples.decls samples.dtrace
logging to file dtrace-add-cluster.log
filename=aprogram.point.POINT.ru_temp.cluster
Reading from samples.dtrace

No samples found for any of 1 program point
Failed executing java -Xmx3600m daikon.Daikon -o runcluster_temp_km-2.inv --config_option daikon.PptTopLevel.pairwise_implications=true --var-omit-pattern="class" --no_text_output --no_show_progress runcluster_temp.spinfo  _runcluster_temp.decls  samples_runcluster_temp.dtrace 2>&1 > runcluster_temp_Daikon_output.txt at ./runcluster.pl line 206.

I have run makefile in kmeans folder before and make kmeans as a command to execute. I inspected into the files and found _samples_runcluster_temp.dtrace, runcluster_temp.spinfo and runcluster_temp.decls are all empty files. samples.decls and samples.dtrace are files generated by convertcsv.pl. Could you give me some suggestions or answers why Daikon fails to find invariants? I have attached samples.csv and its corresponding files for your convenience.
samples.csv
samples.inv.gz

@yuan-xia yuan-xia changed the title Issue when Attempting to Use Daikon with Kmeans Clustering Algorithm Failed to Execute Daikon when Using runcluster.pl with kmeans Option Mar 27, 2024
@yuan-xia yuan-xia changed the title Failed to Execute Daikon when Using runcluster.pl with kmeans Option Daikon Failed to Execute when Using runcluster.pl with kmeans Option Mar 27, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant