115 Commits (72a59553d2b359386aab45ba7af1a876877faab5)

Author SHA1 Message Date
Jules Villard 224e0b7c52 [java] store specs files same as clang models
5 years ago
Mitya Lyubarskiy f57dc78679 [nullsafe] Error reporting: recommend non-nullable alternarives for known nullable methods
5 years ago
Jules Villard 41c003ace1 [biabd] rename models-related things to "biabduction-..."
5 years ago
Josh Berdine cfc1c8be36 [copyright] Remove years
6 years ago
Jules Villard 1ee74dc967 [java] add `@Nullable` annotations to Integer and Double models
6 years ago
Jules Villard c79f966279 [java] model `Double` like `Integer`
6 years ago
Mehdi Bouaziz ce34dcb695 Format everything
6 years ago
Mehdi Bouaziz 7c89d92851 [RFC] Format all java files
6 years ago
Jules Villard a29e769b61 [kill -a][1/4] stop using `-a foo` in the infer repo
6 years ago
Jules Villard 8b882ac1df Change license to MIT
7 years ago
Jeremy Dubreil 2e14f9c9c3 [infer] model android.app.AlarmManager.cancel(PendingIntent) as not accepting a null parameter
7 years ago
Jeremy Dubreil 8cfbdef7e0 [infer][biabduction] no longer track the resources saved into a container
7 years ago
Sam Blackshear bc8fe4fb97 [java] don't warn on unclosed subclasses of non-resource types
7 years ago
Jeremy Dubreil 10eef3bb1f [infer][java] add model for ImmutableList$Builder.add which crashes when given a null value
7 years ago
Jeremy Dubreil 8ce15caffb [infer][java] model org.assertj.core.util.Preconditions
7 years ago
Jules Villard 185e7f7131 [java] support Java9
7 years ago
Sam Blackshear b67a82636c [cleanup] delete unused lock builtins
7 years ago
Jules Villard b95f29c8d1 various minor improvements
7 years ago
Jeremy Dubreil 03cb052ad9 [infer][checkers] run the Java biabduction tests using the checkers framework
7 years ago
Jeremy Dubreil e17e157ae1 [infer][java] no longer combine the type environment with the type environment of the models
7 years ago
Jeremy Dubreil 4c88e986b7 [infer][java] transfer the resource ownership to the container when sorting a Closeable into a HashMap
7 years ago
Jeremy Dubreil 2f0068d180 [infer][java] modeling more methods for HashMap
7 years ago
Jeremy Dubreil bb85b24f0a [infer][java] simplify the process of java.lang.Process
7 years ago
Jeremy Dubreil 1d8d6e3ceb [infer][java] remove the hack around virtual calls on arrays
7 years ago
Jules Villard a34fcebc59 [models] avoid race conditions when building and installing the models
7 years ago
Jeremy Dubreil f49d292c3b [infer][backend] remove the bi-abduction based code for taint analysis
7 years ago
Jeremy Dubreil e200b6cdcc [infer][java] Simplify some of the models
8 years ago
Jeremy Dubreil d470ed6edc [infer][models] model java.io.BufferedReader as a wrapper
8 years ago
Jeremy Dubreil 64ab959486 [infer][java] model the Eradicate assertion utils for the biabduction analysis
8 years ago
Jules Villard 3ab6c43fb6 [tests] awesomize make output
8 years ago
Jules Villard cd421b4a5f [make] print @ commands when passed VERBOSE=1
8 years ago
Jules Villard dac8906d86 [make] make sure makefile uses config-time values
8 years ago
Jules Villard 6e1b83a204 [clang] add clang models to `CLANG_DEPS`
8 years ago
Jeremy Dubreil 1065be3286 [infer][java] Simplify some of the models of Java resources [4/n]
8 years ago
Jeremy Dubreil 2ded1d7a0c [infer][java] Simplify some of the models of Java resources [3/n]
8 years ago
Jeremy Dubreil 266686457a [infer][java] Simplify some of the models of Java resources [2/n]
8 years ago
Jeremy Dubreil 574d640af0 [infer][java] Simplify some of the models of Java resources [1/n]
8 years ago
Jeremy Dubreil c57323d67b [infer][tests] The java tests should depend on the Java models
8 years ago
Jeremy Dubreil bf17932812 [infer][java] remove the no-op model for Cursor.close()
8 years ago
Jeremy Dubreil fd8e135994 [infer][java] modeling methods as returning an undefined value is not necessary
8 years ago
Jeremy Dubreil c902068c4f [infer][java] cleanup of the java.lang.Process model
8 years ago
Jeremy Dubreil a416b7c90d [infer][java] Add a model for Process.destroyForcibly()
8 years ago
Jules Villard 6050ff2b99 do not pass --buck to build the Java models
8 years ago
Sam Blackshear 504735e548 [java] update android.jar version to 23
8 years ago
Josh Berdine 0095e9c635 Remove redundant DEPLOYED_MODELS_JAR in favor of JAVA_MODELS_JAR
8 years ago
Josh Berdine 8d9f70ad47 Minor redistribution of driver functionality, and debugging improvements
8 years ago
Jeremy Dubreil 4a3573b60e [infer][java] Use lazy dynamic dispatch by default
8 years ago
Sam Blackshear cd1c9750f4 [infer] models for common types of Java Lists
8 years ago
Jeremy Dubreil d47d977322 [infer][java] Do not use multicore when creating the models
8 years ago
Peter O'Hearn f2d86cb90c [GuardedBy] Model of trylock in ReentrantLock.java
8 years ago