400 Commits (7c2f1a955f46f03dd9a47c8a7b788cb97143ec29)

Author SHA1 Message Date
Martino Luca 5321300896 Remove dead-code
8 years ago
Dino Distefano 40e63aa42c Added the capability to define macros in AL
8 years ago
Martino Luca a7b947f971 Add support to format reports natively
8 years ago
Jeremy Dubreil 74fcd143d5 [infer][java] set the buck client id to infer
8 years ago
Jeremy Dubreil 12adbb372a [infer][java] No longer create the file `analysis_summary.txt`
8 years ago
Dino Distefano df543b900b Making easier to specify subclassing
8 years ago
Jules Villard 7d02d59540 Revert "[infer][java] add an option to disable the creation of the human readable list of issues found"
8 years ago
Jules Villard fe51f08ae9 [UI] only colorize the top 10 reports, do not compile report lists within Buck
8 years ago
Dino Distefano 43f3a33c0c [infer][AL-DSL] Added predicates to query method calls of a certain class (Real Version).
8 years ago
Jeremy Dubreil 8bd8d5093c [infer][java] add an option to disable the creation of the human readable list of issues found
8 years ago
Jules Villard ee9a2aa38c [python] more UTF-8 fun
8 years ago
Jules Villard a8be4f1f4f [clang] options rename: --compilation-database -> --buck-compilation-database, --clang-compilation-db-files -> --compilation-database
8 years ago
Nikita Anisimov 096ee4e2a8 [infer][PR] Added 'delegates' string to exclusions in STRONG_DELEGATE_CHECK
8 years ago
Dulma Churchill acce173eb8 [Linters] Move unavailable api check to the linters rule file
8 years ago
Jeremy Dubreil 79c7a54b2f [infer][java] Add special configuration to run Infer as an external compiler
8 years ago
Jeremy Dubreil eab0c19c65 [infer][java] Force the option --deep when running Infer on Java Buck projects
8 years ago
Dulma Churchill 269ea5ffe5 [linters] Take into account the respondsToSelector block in the unavailable api check
8 years ago
Jules Villard 2e96caac42 [mvn] new integration
8 years ago
Jules Villard 69f8140655 [cli] do not accept unknown arguments in OCaml
8 years ago
Jules Villard ca784cdb41 [cli] warn about deprecated options, clean up infer repo
8 years ago
Jeremy Dubreil d9ed75cc08 [infer][toplevel] remove dead code from the python bucklib.py scripts
8 years ago
Sam Blackshear 504735e548 [java] update android.jar version to 23
8 years ago
Dino Distefano 45cf368ab9 Using checkers defined in linter.al and removed hard-coded checkers.
8 years ago
Josh Berdine 4ec3af4a7f Call java frontend directly instead of using fork
8 years ago
Josh Berdine 8d143d87df Remove outdated stats reporting
8 years ago
Jeremy Dubreil d29659177f [infer] Revert D4367788
8 years ago
Jeremy Dubreil 1065477765 [infer][java] indent the final JSON report for Buck projects
8 years ago
Josh Berdine cccfad2445 Directly handle javac -version option in build command
8 years ago
Josh Berdine 3dfaa9ed7b Remove support for SuppressWarnings annotations
8 years ago
Josh Berdine fb34f30350 Directly handle javac -classpath option in build command
8 years ago
Josh Berdine a9253d8996 Directly handle javac -classes_out option in build command
8 years ago
Andrzej Kotulski 9fb0636ca1 [compilation db] Remove special module for compilation db
8 years ago
Jules Villard bce1a1ff2e [make] make infer/src/Makefile less phony
8 years ago
Jules Villard 8b976154f6 [python] remove trailing empty line in source contexts
8 years ago
Jeremy Dubreil aa362a27ed [infer][python] no longer generate the CSV report during the analysis
8 years ago
Jules Villard b0a5495611 [UI] add source context to reports in bugs.txt
8 years ago
Andrzej Kotulski bd0f0cc7fc [DB] Don't fail hard when realpath fails
8 years ago
Jeremy Dubreil 0b8a117b5e [infer][java] Fall back to the system compiler in case of compilation failures
8 years ago
Jeremy Dubreil 3093f2aa3c [infer][java] remove the dead code manipulating the bootclasspath
8 years ago
Jeremy Dubreil 5df335b715 [infer][python] remove unused imports
8 years ago
Jules Villard 86cb2f4938 [toplevel] fix various things
8 years ago
Josh Berdine 1bbbf658de [report] Fix report script and inherit std file descriptors when invoking
8 years ago
Dulma Churchill 1ba52b71c1 [infer][tests] fix unknown variable in issues.py
8 years ago
Josh Berdine d808baba1a [driver] Make analysis of non-java and buck cdb build modes python-clean
8 years ago
Jules Villard 4a673f540d [python] add script report.py to post-process report.json
8 years ago
Jules Villard 81856c0d15 [python] fix another bug in pygments.highlight()
8 years ago
Jules Villard e3d8482bd4 [python] limit the number of displayed reports to 10
8 years ago
Josh Berdine a739931c92 [config] Remove unnecessary -classpath option
8 years ago
Jules Villard ec9453d356 [python] do not crash when reporting invalid locales
8 years ago
Peter O'Hearn 171d1d6d43 [threadsafety] run thread safety checker on its own
8 years ago
Jules Villard bfb0cfa4fd [python] work around bug in pygments to display the right source excerpt
8 years ago
Josh Berdine 3021394a10 [config] Remove unnecessary --models
8 years ago
Josh Berdine 426f29fb3c [make] Silence expected warnings and other spew from tests
8 years ago
Dulma Churchill bf14034289 [clang] Do compilation database capture in OCaml directly
8 years ago
Jules Villard 2cd0151e30 [python] restore project_root option and use it to find source files
8 years ago
Josh Berdine 3ae2b41241 [refactor] Call StatsAggregator from Infer instead of from python
8 years ago
Josh Berdine 216812a615 [driver] Add skeleton capture and analysis driver to infer.ml
8 years ago
Josh Berdine 6b0abe3b57 [config] Do not pass options to clusters via INFER_OPTIONS
8 years ago
Josh Berdine cf657b0e53 [config] Pass classpath via CLOpt.args_env_var
8 years ago
Josh Berdine b7675dd2a2 [config] Remove unused --absolute-paths option
8 years ago
Josh Berdine 4869715168 [config] Remove unnecessary --java option
8 years ago
Josh Berdine 2ce94632d2 [config] Default project_root to initial working dir
8 years ago
Josh Berdine ea696ff96d [config] Set checkers flags based on analyzer in Config
8 years ago
Josh Berdine c8a77b0ae2 [config] Set debug child options in Config
8 years ago
Josh Berdine 6aca954e72 [config] Do not pass --inferconfig-home from python
8 years ago
Josh Berdine c729d26386 [config] Default to --allow-specs-cleanup
8 years ago
Josh Berdine 1bd6615abc [config] Treat default models_jar in ZipLib instead of analyze.py
8 years ago
Josh Berdine 4422893bbd [RFC] Remove CSV and JSON munging python code
8 years ago
Josh Berdine eee940b2a1 [config] Convert FCP env vars to Config options
8 years ago
Josh Berdine 698ebe8049 [clang] Remove INFER_XX environment variable
8 years ago
Dulma Churchill dc883b5019 [componentkit] Enable longtail of analyzers
8 years ago
Dulma Churchill 4af26064c1 [clang] Add flag -fno-cxx-modules to analysis
8 years ago
Andrzej Kotulski 278c705790 Revert "[python] Remove more unused args"
8 years ago
Andrzej Kotulski 085a031d3b [python] Remove more unused args
8 years ago
Josh Berdine a9192cffd6 [config] Eliminate ad hoc environment variables
8 years ago
Dulma Churchill 2605ef8d6f [clang] Adding support for capture/linting based on a compilation database json
8 years ago
Jeremy Dubreil a7d2eb1d02 [infer][java] Remove the code adding a special treatment for static final fields
8 years ago
Andrzej Kotulski 4aaec9b220 [python] Remove args that were not used in python code
8 years ago
Jules Villard fa53fc6efb [buck compilation db] use -- to pass buck command to BuckCompilationDatabase
8 years ago
Andrzej Kotulski 76908712e9 fix infer make integration
8 years ago
Andrzej Kotulski 284f7116b0 Kill usage of INFER_RESULTS_DIR env var
8 years ago
Jules Villard c45afc9859 [clang] cleanup obsolete python code
8 years ago
Jules Villard 9535c4d89e [clang] convert filter_args_and_run_fcp_clang to OCaml
8 years ago
Jules Villard 5fe40bae12 [siof] check origin of globals and complain if potential siof
8 years ago
Jeremy Dubreil 587d829a1a [infer][java] Add the possibility to choose a compiler jar that is different from the system Java compiler to generate the bytecode
8 years ago
Martino Luca d05b1f172a [Infer][Buck] Invoke buck with *//cxx.pch_enabled=false to disable the use of precompiled headers
8 years ago
Jeremy Dubreil f5a9cb4476 [infer][java] export the analyzer used and the version of Infer as an environment variable that can be read from BUCK files
8 years ago
Jules Villard c53bfe3159 [clang] rewrite plugin attachment logic in OCaml
8 years ago
Jeremy Dubreil 2dcca1c4d4 [infer][java] The version of the Java compiler should be part of the target key used by Buck
8 years ago
Ryan Rhee f677c3ab3d [componentkit] Enable component factory function rule
8 years ago
Jules Villard eb391d7875 [llvm] delete llvm frontend
8 years ago
Dulma Churchill a9f1d21dd2 [logging] Add visibility to the report json, so that we can filter the developer bugs in the tv links page
8 years ago
Jeremy Dubreil db112c9ce1 [infer][java] Export the Infer command as environment variables
8 years ago
Jules Villard 7d49e16d63 [clang] rewrite hijack_and_normalize_clang_command in OCaml
8 years ago
Jeremy Dubreil 650aa00dc9 [infer][java] support java -jar javac.jar
8 years ago
Jeremy Dubreil dfa12b17f1 [infer] Apply python lint warnings on the Infer python code
8 years ago
Jeremy Dubreil e3b4820e54 [infer][java] Checks if the output jar exists on disk before trying to load the analysis artifacts from it
8 years ago
Jeremy Dubreil fc28683ea2 [infer][java] When using Buck to analyze Java projects, only report the errors found on the targets passed on the command line
8 years ago
Dulma Churchill befab1007b [clang] Migrating clang logging to the Logging module
8 years ago
Sam Blackshear 7da3a90c81 [buck] support continuing analysis after crash when --keep-going is passed
8 years ago
Ryan Rhee d6cf024c1b [componentkit] Enable the MLV rule
8 years ago
Jeremy Dubreil acbb59c1f9 [infer][java] print an error message when using the option --reactive with Java buck projects
8 years ago
Jeremy Dubreil 050d90b356 [infer][java] No longer disable the Buck daemon before running the anslysis
8 years ago
Andrzej Kotulski 0817ab0ec2 Fix FCP_RUN_SYNTAX_ONLY variable
8 years ago
Dulma Churchill ab70143e1b Do not analyze in linters mode
8 years ago
Dulma Churchill d11b2754a9 New buck integration based on the compilation database emitted by buck
8 years ago
Andrzej Kotulski 49950afe26 export __INFER__ macro when compiling code with infer
8 years ago
Sam Blackshear 91071af3ad logging errors
8 years ago
Sam Blackshear 50ac3cde41 command-line setup
8 years ago
Martino Luca 80c82c0cae Adapt Infer to the new changes introduced by the upgrade to Clang 4.0
8 years ago
Lázaro Clapp Jiménez Labora f2e958ef3a Add support for multiple stacktraces in '-a crashcontext'
8 years ago
Jules Villard e1f19192c0 move --fail-on-issue functionality to OCaml
8 years ago
Jules Villard 4e2cc84bcb compile *.java files only
8 years ago
Jules Villard 0add05de87 do not print infer.py usage message on wrong arguments
8 years ago
Dulma Churchill b7ec110ea3 Adding new mode linters
8 years ago
Jules Villard 49adf59332 do not crash when setting locale fails
8 years ago
Lázaro Clapp Jiménez Labora 0a8b95a856 Crashcontext ocaml method summary merging
8 years ago
Sam Blackshear 0a747b8eb2 fixing some of the issues with passing classpath in a file
8 years ago
Sam Blackshear ed9495a893 delete unused class-to-source mapper processor
8 years ago
Lázaro Clapp Jiménez Labora 9a79e74380 Crashbot results stitching and end-to-end testing.
8 years ago
Lázaro Clapp Jiménez Labora 6469a6c37b Implement '-a crashcontext' and '-st trace' options to invoke BoundedCallTree.ml from the command line.
9 years ago
Jules Villard 354e4c0391 fail when clang -### <args> returns nothing
9 years ago
Jules Villard ba75de4b79 skip gcc-specific flag -fno-canonical-system-headers
9 years ago
Martino Luca f0fffd3c59 Add `dotty` field constant
9 years ago
Dulma Churchill b9384aab2e Make the toplevel aware of the new error kind advice
9 years ago
Carlos Sierra 92801ba1c9 Invoke javac through argument file to avoid too long argument list
9 years ago
Martino Luca 120892d7dd Pass Infer configs to cross-cell buck targets
9 years ago
Martino Luca 6c48377318 Emit friendly message when stats aggregation fails running
9 years ago
Andrzej Kotulski afc192b100 Add -Xbuck option to pass arguments to buck build
9 years ago
Peter O'Hearn 1edb492b70 One step closer to shipping initial GUARDEDBY
9 years ago
Josh Berdine a2a7e07708 Add OCaml toplevel driver executable
9 years ago
Daiva Naudziuniene 6054b4c6d4 Improved ndk-build integration.
9 years ago
Jules Villard 5ba5fcd4bb add -l option to limit parallelism, and pass -j and -l to the buck frontend
9 years ago
Andrzej Kotulski 8d3e7e774e Move location of clang installation
9 years ago
Daiva Naudziuniene b594d74d34 Adding LANG global to fix ndk-build integration.
9 years ago
Daiva Naudziuniene 51f7d3ebb2 Integrating ndk-build with infer
9 years ago
Jules Villard d2f7cb44fa disable dead code checker on clang
9 years ago
Jules Villard 596823bd32 support `clang -c file1.c file2.c`
9 years ago
Andrzej Kotulski b81b3f4791 Always run C compiler with -fsyntax-only
9 years ago
Jeremy Dubreil 3a2a6c7c44 Do not run the unsafe guarded access in prod
9 years ago
Martino Luca c39f3b0768 Aggregate stats info emitted during analysis
9 years ago
Jeremy Dubreil 6d37b5ee6d Always collect the statistics and create a report file for Buck projects, even when the target contains no Java source code
9 years ago
Jules Villard 6bb3b30c36 do not crash when pygments crashes
9 years ago
Sam Blackshear 36ee3730aa reporting error on unprotected access to field annotated with @GuardedBy
9 years ago
Andrzej Kotulski 8ccdff649f Report empty vector access instead of null dereference
9 years ago
Andrzej Kotulski 87e5df5e44 Use pwd to resolve project_root when possible
9 years ago
Jules Villard c03015768d create annotation files with valid json
9 years ago
Jules Villard 944176bf67 load json config files lazily and at most once
9 years ago
Josh Berdine a8c696338b Prepend to classpath in args file when present
9 years ago
Jeremy Dubreil 6dfd1a317e Some cleanup and renaming
9 years ago