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

Allow analyzing individual files and directories #494

Open
Nezteb opened this issue Apr 18, 2023 · 2 comments
Open

Allow analyzing individual files and directories #494

Nezteb opened this issue Apr 18, 2023 · 2 comments

Comments

@Nezteb
Copy link
Sponsor Contributor

Nezteb commented Apr 18, 2023

One of the arguments dialyzer accepts is files_or_dirs:

dialyzer [--add_to_plt] [--apps applications] [--build_plt]
         [--check_plt] [-Ddefine]* [-Dname]* [--dump_callgraph file]
         [--error_location flag] [files_or_dirs] [--fullpath]
         [--get_warnings] [--gui] [--help] [-I include_dir]*
         [--no_check_plt] [--no_indentation] [-o outfile]
         [--output_plt file] [-pa dir]* [--plt plt] [--plt_info]
         [--plts plt*] [--quiet] [-r dirs] [--raw] [--remove_from_plt]
         [--shell] [--src] [--statistics] [--verbose] [--version]
         [-Wwarn]*

files_or_dirs
Use Dialyzer from the command line to detect defects in the specified files or directories containing .erl or .beam files, depending on the type of the analysis.

It'd be nice if we could use that functionality to analyze individual files and directories.

@jeremyjh
Copy link
Owner

I assume you know about the paths setting in the project config, and are requesting a feature to specify it as a CLI arg that would override the default or configured path setting?

@Nezteb
Copy link
Sponsor Contributor Author

Nezteb commented Apr 21, 2023

I assume you know about the paths setting in the project config, and are requesting a feature to specify it as a CLI arg that would override the default or configured path setting?

@jeremyjh Correct!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants