hmc-alpaqa / metrinome Goto Github PK

Thank you for sharing this project! I didn't list this as a bug because I wasn't sure if maybe I was doing something wrong. I seem to run into trouble inside of the Path Complexity REPL. I was able to convert the first file I tried (a Java file), but I noticed the graph said "Lines of code: None", so I decided to try a second to see if maybe there was an issue with the first. Converting the second file resulted in "Converted Successfully", but then unlike the first, no name for the graph was printed to the terminal. I tried "list graphs", and got "No graphs available". The same thing happened when I quit and tried again. Maybe it is an issue with the file itself, but it is a very simple file in terms of structure, and very similar to the first which converted successfully. The only difference between the two is that the first calls static functions whereas the second creates an object and calls functions on the object. All functions and variables in each file are contained within a single object. Thank you for your help! Let me know if I can further explain any of these issues.

/app/code > convert /app/Simple2.java

processing /app/Simple2.java

> Converted without errors, but no graphs created.

I am getting the following message on trying to convert a simple Java program into the control flow graph. 

Following is the program itself 


```
public class Simple2 {  
   static void p(){  
         System.out.println("hello");  
         p();  
   }  
 
   public static void main(String[] args) {  
         p();  
   }  
}  

```

What am I missing ?

Describe the bug
When running "convert <path_to_directory>", only the filename is passed from do_convert(...) in core/command.py to to_graph(...) in lang_to_cfg/java.py, so "javac <file_name> -d <directory_path>" in to_graph(...) incorrectly searches the user's current directory for the file instead of <path_to_directory>.

To Reproduce
Steps to reproduce the behavior:

1. Make a directory with Java files in src
2. Run the REPL
3. Execute "convert <path_to_directory>"

Temporary fix
In do_convert(...) in core/command.py, I concatenated the path with the filename to to_graph(...) in lang_to_cfg/java.py which fixes this issue, although I am not sure if it creates other issues.

Screenshots
Before:

After:

Hello, I am having trouble using the convert command. I am simply trying to convert the python example given (for starters) but it keeps saying "Could not get files from: test.py". I am probably missing a trick here. Do you have an idea?

I used the docker image from your repo but when I'm in the zsh shell, it can't find the main.py file and I can't run it. Am I missing something?