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

infer fails to capture any file on maven build #1817

Open
lesquoyb opened this issue Mar 8, 2024 · 2 comments
Open

infer fails to capture any file on maven build #1817

lesquoyb opened this issue Mar 8, 2024 · 2 comments

Comments

@lesquoyb
Copy link

lesquoyb commented Mar 8, 2024

I'm running infer v1.2.0-a32535d4 from docker on a windows 11 computer.
I tried to run the following commands:

mvn clean
infer -- mvn install

In the different directories used to build our project. But every time I got a Nothing to compile. Try cleaning the build first message.

Here is the complete command result

You can reproduce it by cloning our repository and running those commands inside the gama.annotation directory

@lesquoyb lesquoyb changed the title Nothing to compile on maven build infer fails to capture any file on maven build Mar 26, 2024
@lesquoyb
Copy link
Author

Hello again, I was thinking that the issue may be because we are using tycho during the maven build, what do you think ?
Is there anything I can do to help tackle down what's the problem here ?

@lesquoyb
Copy link
Author

lesquoyb commented Apr 3, 2024

I don't know if that could help but here is the content of a logs file:

[2846][  user warn] Cannot setup the socket to communicate with the database daemon. Performance will be impacted. Do you have enough rights to create a Unix socket in directory '/home/baptiste/gama/gama.annotations/infer-out'?
[2846][environment] CWD = /home/baptiste/gama/gama.annotations
[2846][environment] No .inferconfig file found
[2846][environment] Project root = /home/baptiste/gama/gama.annotations
[2846][environment] INFER_ARGS =   --progress-bar-style multiline
[2846][environment] command line arguments:   infer -- mvn install
[2846][environment] Available memory at startup: 9970 MB
[2846][environment] Active checkers: self-in-block (C/C++/ObjC), parameter-not-null-checked (C/C++/ObjC), starvation (C/C++/ObjC, Java), siof (C/C++/ObjC), racerd (C/C++/ObjC, C#/.Net, Java), pulse (C/C++/ObjC, C#/.Net, Erlang, Hack, Java, Python), liveness (C/C++/ObjC), inefficient-keyset-iterator (Java), fragment-retains-view (Java)
[2846][environment] Scheduler: restart
[2846][environment] Cores used: 7
[2846][environment] Infer version v1.2.0-e1850ffcb9
[2846][environment] Copyright 2009 - present Facebook. All Rights Reserved.
[2846][environment] 
[2846][   progress] Capturing in maven mode...
[2846][      debug] Running maven capture:
[2846][      debug] mvn 'install' '-P' 'infer-capture'
[2846][      debug] GC stats for capture:
[2846][      debug]   minor_words: 29210
[2846][      debug]   promoted_words: 0
[2846][      debug]   major_words: 514
[2846][      debug]   minor_collections: 0
[2846][      debug]   major_collections: 0
[2846][      debug]   compactions: 0
[2846][      debug]   top_heap_words: 499712
[2846][      debug]   
[2846][  user warn] Nothing to compile. Try cleaning the build first.
[2846][   progress] There was nothing to analyze.
[2846][      debug] GC stats for report:
[2846][      debug]   minor_words: 3741
[2846][      debug]   promoted_words: 0
[2846][      debug]   major_words: 514
[2846][      debug]   minor_collections: 0
[2846][      debug]   major_collections: 0
[2846][      debug]   compactions: 0
[2846][      debug]   top_heap_words: 499712
[2846][      debug]   
[2846][      debug] GC stats for main_process_full:
[2846][      debug]   minor_words: 3.53433e+06
[2846][      debug]   promoted_words: 706669
[2846][      debug]   major_words: 750130
[2846][      debug]   minor_collections: 9
[2846][      debug]   major_collections: 1
[2846][      debug]   compactions: 0
[2846][      debug]   top_heap_words: 760832
[2846][      debug]   
[2846][     result] 
  No issues found  

Also I'd like to investigate this myself (probably won't yield much results but at least I could try to see by myself what's wrong), is there any documentation about developing infer ? What are the tools you are using/recommend ? What is actually run etc.

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