9434 Commits (6a1999730394ffccee3b9317a2e8ecfd7dc0379f)
 

Author SHA1 Message Date
Jules Villard 34aa9c2949 [infer][java] handle int boxing in HashMap model
10 years ago
Jules Villard 904ebb0154 [infer][java] model for Integer
10 years ago
Cristiano Calcagno 784c5b23d2 javalib 2.3a support
10 years ago
Andrzej Kotulski 819227d97d [C++][Frontend] Add translation for nullptr
10 years ago
Jules Villard 119521bd83 [infer][java] do not pass -Werror to javac
10 years ago
Dulma Rodriguez 751288e5eb [clang] Remove setjmp that is causing problems in the models in linux.
10 years ago
Sam Blackshear f6784e3796 [infer][models] Fixing InferAssume
10 years ago
Dulma Rodriguez 695c87377e [clang] Fixing the model for fgetpos so that it works in linux
10 years ago
Sam Blackshear 4feb925dd7 [Infer][Java] Prevent assertion failure in jTransStaticField
10 years ago
Dulma Rodriguez d3f20dcaca [clang] Fix translation of fast loops
10 years ago
Cristiano Calcagno bec5bafc72 [java] Upstream support for class names with $dollar (requires "opam update")
10 years ago
jrm f0026006e7 [infer][java] add working example with closeQuietly in the tests
10 years ago
jrm 11712caea9 [infer][java] add models for some common classes implementing Closeable without being resources
10 years ago
jrm c1db76f9a4 [infer][java] change the integration with buck to use the infer toplevel instead of inferJ
10 years ago
martinoluca 2cf873497f Emit InferClang command on the .sh file when running in `--frontend-stats` mode (and similar)
10 years ago
Cristiano Calcagno dd066c828c [Checkers] checker for printf format strings.
10 years ago
Dulma Rodriguez 510fc4ed25 [clang] Sorting the fields in structs and classes. Was needed in the backend and forgotten.
10 years ago
jrm 843e600bb1 [infer][java] call inferlib programmatically instead of calling inferJ from the command line
10 years ago
Cristiano Calcagno d2e2bbf6a5 [Eradicate @Nullable checker] Don't apply sub-typing checks for method definitions in the case of constructors.
10 years ago
martinoluca 0e06f048b7 Commit alignment
10 years ago
Andrzej Kotulski 77130a185e Add basic logging to infer -- script
10 years ago
jrm 224f3116ce [infer][java] remove no longer required fields in the models for Java
10 years ago
jrm 2b7060e917 [infer][Java] Treat classes implementing Closeable as a resource unless modeled otherwise
10 years ago
jrm fda373c706 [infer][Java] Deal with empty strings '' in the classpath
10 years ago
jrm 0c6db22ae4 [infer][java] Add an example of an ant project in the repository
10 years ago
martinoluca 99125144d7 Add clang frontend arguments to the xcodebuild module
10 years ago
Andrzej Kotulski fc1b26e9cf Remove INFER_DEVELOPER env variable
10 years ago
Cristiano Calcagno fb300b9948 [Eradicate @Nullable checker] Fix missing reports of PARAMETER_NOT_NULLABLE across modules.
10 years ago
jrm 762f572506 [infer][java] attach the file attribute of Cursor to the object itself, not a field.
10 years ago
Sam Blackshear d7a4474d90 [Infer][angelic] Adding angelic abduction on actuals passed by reference
10 years ago
Jules Villard ddec46d4aa [infer] add infrastructure for function attributes in sil and clang
10 years ago
martinoluca 98ab517da0 Fix minor makefile issues
10 years ago
Cristiano Calcagno 5de68e795c Remove unused -analyzer_mode
10 years ago
Dino Distefano 9a93c2ed46 Dealing with __weak/__unsafe_unretained modifier for ivars
10 years ago
Cristiano Calcagno 92ceae3cf6 [clang frontend] Fix translation of large integer constants.
10 years ago
martinoluca e17308f4d5 Add nullability support for Xcode projects
10 years ago
jrm 5e9f88eaeb [infer][Java] more consistent names for env variables
10 years ago
Andrzej Kotulski d0ea01e354 Bump infer version to 0.1.1
10 years ago
martinoluca e8b91192d9 Add @import support for Xcode projects
10 years ago
Sam Blackshear 066b132da2 [Infer][Java] Handling assert keyword by adding a special case for the $assertionsDisabled field during translation
10 years ago
Cristiano Calcagno 3a51764d4c [clang frontend] Simplify logging functions.
10 years ago
Cristiano Calcagno 10970c4f51 [clang frontend] Pre-process AST locations to make them explicit and easier to deal with. Don't dive into include files.
10 years ago
martinoluca d95c4cd12c [Fix][Clang] Add the standard includes of clang into the binaries
10 years ago
Andrzej Kotulski 9c0cc5c651 Copy args from BuckAnalyze to -- buck module
10 years ago
Dulma Rodriguez b57ac1fe49 [clang] Make the script create the absolute path rather than Ocaml. Fixes issues with symbolic links
10 years ago
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