3239 Commits (b8e3ac7438034cb2e31b1250444973835e53210a)
 

Author SHA1 Message Date
jrm 6a36b9f70c [infer][Java] change the models to add the file attribute to this instead of a field
10 years ago
Chase choi d77b94c13d remove duplicated allocations
10 years ago
Dino Distefano 404444d182 Fixed models for FILE C functions.
10 years ago
jrm 827d7cb3c3 [infer][Java] add an example of try-with-resource in the tests
10 years ago
jrm 7a767fe900 [infer][Java] use the containsExactly matcher for resource leak tests
10 years ago
jrm a8a8501243 [infer][Java] fail early when no Java source can be loaded
10 years ago
Jules Villard 17f0b5cbe2 add missing opam step in macos source install
10 years ago
Anil Madhavapeddy 3eb02509c4 Add OPAM metadata files to permit direct installation of Infer
10 years ago
Andrzej Kotulski 6d1a269ca2 update INSTALL.md to require exactly python 2.7
10 years ago
Andrzej Kotulski f47166eb44 Always start scripts with python2.7
10 years ago
jrm 6803fb62e8 Synchronize opam installation files
10 years ago
Anil Madhavapeddy 553d39eb7d Add OPAM metadata files to permit direct installation of Infer
10 years ago
jrm 4526ada822 [infer][Java] temporarily catching the Invalid_argument exception raised by classname with $$ in the name
10 years ago
Andrzej Kotulski ee3f88a6c1 Remove unused SCRIPT_FOLDER variable
10 years ago
Jules Villard 879d7757c7 [INSTALL] point to the website for the binary install
10 years ago
Dan Ambrisco 1d90ed49c3 Update infer to support symlinking
10 years ago
Sam Blackshear 231043f5bc [Infer][bucketing] Moving warnings on dereferences of @Nullable params from B5 -> B1,
10 years ago
jrm 2bce7c6c3d [infer][Java] rename the builtin `InferBuiltins.__infer_assume` into `InferBuiltins.assume`
10 years ago
Dulma Rodriguez 34b911c935 [clang] Fixing the tests for the models of getc.
10 years ago
Dino Distefano 3ce393f511 Fixed model for getc and fgetc
10 years ago
Jules Villard 044df14616 a simple text visualisation of error traces
10 years ago
martinoluca c3a1e501bc Fix tests script to add multiple targets
10 years ago
jrm 0fc2f28cba [infer][OSS] use the name Infer instead of INFER in the scripts
10 years ago
Jules Villard 0062172651 discard git and hg errors in vcs queries
10 years ago
jrm aa7bf8e69b [infer] fix inconsistencies between the errors that are saved in the generated reports and what is saved in standard output
10 years ago
Sam Blackshear 8f9cef0320 [Infer][backend] Fixing bug in removal of abducted program variables
10 years ago
Jules Villard 859631effa more precise gcc and Python requirements in INSTALL.md
10 years ago
Jules Villard 58debe92be add tarballs to .gitignore
10 years ago
Jules Villard 4820a0b9fc add version information to InferAnalyze output
10 years ago
Jules Villard 26108302d2 [infer] report number of files analysed in the absence of *.cfg
10 years ago
Andrzej Kotulski f62005a761 Add simple check for python version
10 years ago
Dulma Rodriguez 9b145bf5c8 [OSS] Remove info about clang_frontend_stats since it's not public.
10 years ago
Cristiano Calcagno a6e65c2970 [Readme] Fix link.
10 years ago
martinoluca 459ebb7eb9 Commit alignment
10 years ago
Dulma Rodriguez 0df8829783 [OSS] Adding FILES.md
10 years ago
Dulma Rodriguez 03e3ceb71f Adding docs about the files in bin
10 years ago
Andrzej Kotulski 085f9ebdd5 Slightly change sync config
10 years ago
Sam Blackshear 93cd195aef [Infer][frontend] Removing logging from inferJ
10 years ago
Open Source Synchronization b8982270f2 initial synchronization
10 years ago