infer fails to capture any file on maven build

[lesquoyb]

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]

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]

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.