Query on --changed-files-index option

[VvinayakK]

• Infer version 1.0.0
• Ubuntu 18.04.6
• infer run --changed-files-index change_list.txt --keep-going

I am trying to run infer on the C makefile project and trying to do incremental analysis only for the changed files.

How to input the changed files in change_list.txt when there are different directories in the project?
The guide/tutorial is not clear about this.

Currently my change_list.txt is something like below, but it is not giving proper results during infer run and result in "No such file / directory" error

dir_a\dir_b\a.c
dir_a\b.c

Please help regarding this.

[ngorogiannis]

It looks like the slashes are for a Windows system?

[VvinayakK]

Even upon using backward slash like below in change_list.txt, the result is same.

/dir_a/dir_b/a.c
/dir_a/b.c

[ngorogiannis]

/dir_a/dir_b/a.c is an absolute path (root-relative). I would use paths relative to the directory your sources are rooted at, and run infer from that directory (or, provide --project-root dir to Infer).