pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

  • 3e199467f4 Complete copyright messages. Cristiano Calcagno 2015-07-17 09:11:33 -0200
  • 9ad32bbbf0 gitignore wibble Jules Villard 2015-07-17 09:01:59 -0100
  • f6cb99fc55 [java] Add TextUtils.isEmpty model Deniz Türkoglu 2015-07-16 13:51:46 -0700
  • df04749cd0 Add module to fix copyright messages. Cristiano Calcagno 2015-07-16 14:28:30 -0200
  • d6fc0d4cac [infer][java] update the installation process to use javalib 2.3.1 and sawja 1.5.1 jrm 2015-07-15 17:29:02 -0700
  • 392cd0dee0 [infer][java] fix model of InputStreamReader to take into account charset given in lowercase jrm 2015-07-15 15:47:06 -0700
  • ef27abcc8f [infer][tracing] disabling non working tests for ArrayIndexOutOfBoundsException jrm 2015-07-15 15:40:41 -0700
  • 2d087b7142 [C Frontend] Get support for map pointer -> decl from fcp Andrzej Kotulski 2015-07-15 15:54:27 -0100
  • 72c4354395 [clang] propagate parameters of sentinel attr to the backend Jules Villard 2015-07-15 10:10:53 -0100
  • b79028af32 [clang] Remove call to create_local_procdesc and create it only when it's called. Dulma Rodriguez 2015-07-14 15:45:24 -0100
  • 092e447ce3 Handle java sources from a file =?UTF-8?q?Deniz=20T=C3=BCrkoglu?= 2015-07-14 09:14:40 -0100
  • fc0ca6b6db Initial LLVM parser. Rohan Jacob-Rao 2015-07-13 16:32:02 -0700
  • 6bde9bda88 [Bucketing] Improve error bucketing by using constant propagation when detecting direct null assignments. Cristiano Calcagno 2015-07-13 07:53:10 -0200
  • 1356fd331f [infer][clang] test reporting of assertion failures jrm 2015-07-08 23:54:18 -0700
  • 5912e607ff [inferTraceBugs] fix selected/displayed bug mismatch Jules Villard 2015-07-08 19:29:58 -0100
  • a94fab55e8 [Eradicate] Fix issue where direct throw instructions were not handled like method calls that trow exceptions. Cristiano Calcagno 2015-07-08 16:24:48 -0200
  • 2365e6244d Update fcp, add support for pointers to declarations Andrzej Kotulski 2015-07-08 13:45:30 -0200
  • 927653e8d8 Update facebook-clang-plugin Andrzej Kotulski 2015-07-07 11:38:43 -0100
  • 9c4a4a16f3 [inferconfig] don't fail during filtering if a file does not exist Cristiano Calcagno 2015-07-07 08:34:16 -0200
  • 442a15e9fa [clang] Fixing some error names in the filtering. Dulma Rodriguez 2015-07-07 09:21:17 -0100
  • c26401021c [infer] remove Sil.Avariadic_function_argument Jules Villard 2015-07-06 17:42:00 -0100
  • 9354b1562c [infer] more generic and correct handling of arrayWithObjects: Jules Villard 2015-07-06 17:37:27 -0100
  • 8779b80f8a [infer][tracing] add an example of inter-procedural array out of bounds error jrm 2015-07-06 10:48:09 -0700
  • 9e3e250fb9 [clang] Add option print_buckets. It is needed to get the right list of errors. Dulma Rodriguez 2015-07-06 16:34:08 -0100
  • 4013e13cbe [infer] Moving the getter for the return variable from Cfg.Procdesc to Sil jrm 2015-07-06 09:36:46 -0700
  • d808a3ee26 [infer] implements call by procedure name jrm 2015-07-06 08:23:59 -0700
  • 41fe321582 [clang] Adding option analyzer to InferPrint in inferiOS to avoid analysing generated files Dulma Rodriguez 2015-07-03 20:42:50 -0100
  • 393f5aad1e [infer] refactoring to isolate in a single place the need for the procedure description of the callees jrm 2015-07-03 08:29:14 -0700
  • 63b1d1ac1c Revert "[clang] Removing the case of flagging npes in initialisers. This causes many FPs." Dulma Rodriguez 2015-07-03 10:23:30 -0100
  • 18173a7b7f [clang] Removing the case of flagging npes in initialisers. This causes many FPs. Dulma Rodriguez 2015-07-02 13:57:12 -0100
  • ca65b2b906 [Infer][Java] Adding is_static metadata to Java procname's Sam Blackshear 2015-07-01 22:45:01 -0600
  • 2125bfdad9 [infer][java] prevent the closeable as resource approach to report resource leak when close() throws an exception jrm 2015-07-01 11:55:15 -0700
  • ea3e614cce [clang] Adding support for NSMakeCollectable and CFMakeCollectable Dulma Rodriguez 2015-06-30 13:49:19 -0100
  • 9f9bc53361 [Frontend][C++] Add support for default params Andrzej Kotulski 2015-06-30 13:14:35 -0100
  • d15e60ffbf [clang] Translating nonnull attributes as assertions Dulma Rodriguez 2015-06-30 09:17:55 -0100
  • a87bedb5dd [Bucketing] Promote NPEs originating from a call with a null parameter to bucket b1. Cristiano Calcagno 2015-06-30 07:22:07 -0200
  • 712d27b544 [Infer][capture] Fixing Python AttributeError in javac capture Sam Blackshear 2015-06-29 23:16:51 -0600
  • cc89c6f8ac [infer] non-functional refactoring when obtaining the procedure description of function calls jrm 2015-06-29 18:02:50 -0700
  • 1baaa96fcc [Infer][C frontend] Fixing double translation of builtin args Sam Blackshear 2015-06-29 07:49:18 -0600
  • 77aaa1aa8e [inferTraceBugs] fix crash on no-longer-needed bucket removal Jules Villard 2015-06-29 09:29:21 -0100
  • 82c4dc6d10 [Java] Force javac to report in the correct language Tomoyuki Saito 2015-06-28 22:28:38 -0700
  • e7d0038af3 [infer] fix OCaml formatting jrm 2015-06-26 22:07:43 -0700
  • af730cd16d Infrastructure improvement Irene Papakonstantinou 2015-06-26 14:43:58 -0100
  • 76203aa847 [Frontend][C++] Add translation for static cast Andrzej Kotulski 2015-06-26 13:02:27 -0100
  • 7f72397999 bumping Infer version to 0.2.0 Jules Villard 2015-06-26 11:00:15 -0100
  • f99f650b07 Don't add buckets to error message by default Andrzej Kotulski 2015-06-26 09:26:37 -0100
  • e3e9221a9d [infer][java] removing the previously check-in copy of older versions of javalib and sawja jrm 2015-06-25 11:32:55 -0700
  • 34aa9c2949 [infer][java] handle int boxing in HashMap model Jules Villard 2015-06-25 15:55:54 -0100
  • 904ebb0154 [infer][java] model for Integer Jules Villard 2015-06-25 15:55:00 -0100
  • 784c5b23d2 javalib 2.3a support Cristiano Calcagno 2015-06-25 13:00:10 -0200
  • 819227d97d [C++][Frontend] Add translation for nullptr Andrzej Kotulski 2015-06-25 13:07:04 -0100
  • 119521bd83 [infer][java] do not pass -Werror to javac Jules Villard 2015-06-25 13:04:07 -0100
  • 751288e5eb [clang] Remove setjmp that is causing problems in the models in linux. Dulma Rodriguez 2015-06-25 09:53:35 -0100
  • f6784e3796 [infer][models] Fixing InferAssume Sam Blackshear 2015-06-24 13:46:57 -0600
  • 695c87377e [clang] Fixing the model for fgetpos so that it works in linux Dulma Rodriguez 2015-06-24 15:01:55 -0100
  • 4feb925dd7 [Infer][Java] Prevent assertion failure in jTransStaticField Sam Blackshear 2015-06-24 08:03:16 -0600
  • d3f20dcaca [clang] Fix translation of fast loops Dulma Rodriguez 2015-06-24 11:36:10 -0100
  • bec5bafc72 [java] Upstream support for class names with $dollar (requires "opam update") Cristiano Calcagno 2015-06-24 08:00:48 -0200
  • f0026006e7 [infer][java] add working example with closeQuietly in the tests jrm 2015-06-23 22:05:03 -0700
  • 11712caea9 [infer][java] add models for some common classes implementing Closeable without being resources jrm 2015-06-23 21:25:47 -0700
  • c1db76f9a4 [infer][java] change the integration with buck to use the infer toplevel instead of inferJ jrm 2015-06-23 17:08:16 -0700
  • 2cf873497f Emit InferClang command on the .sh file when running in `--frontend-stats` mode (and similar) martinoluca 2015-06-23 16:37:30 -0100
  • dd066c828c [Checkers] checker for printf format strings. Cristiano Calcagno 2015-06-23 15:28:42 -0200
  • 510fc4ed25 [clang] Sorting the fields in structs and classes. Was needed in the backend and forgotten. Dulma Rodriguez 2015-06-23 15:13:46 -0100
  • 843e600bb1 [infer][java] call inferlib programmatically instead of calling inferJ from the command line jrm 2015-06-23 07:59:31 -0700
  • d2e2bbf6a5 [Eradicate @Nullable checker] Don't apply sub-typing checks for method definitions in the case of constructors. Cristiano Calcagno 2015-06-23 11:14:27 -0200
  • 0e06f048b7 Commit alignment martinoluca 2015-06-23 12:08:58 -0100
  • 77130a185e Add basic logging to infer -- script Andrzej Kotulski 2015-06-23 11:02:00 -0100
  • 224f3116ce [infer][java] remove no longer required fields in the models for Java jrm 2015-06-22 13:22:31 -0700
  • 2b7060e917 [infer][Java] Treat classes implementing Closeable as a resource unless modeled otherwise jrm 2015-06-22 13:05:42 -0700
  • fda373c706 [infer][Java] Deal with empty strings '' in the classpath jrm 2015-06-22 11:55:29 -0700
  • 0c6db22ae4 [infer][java] Add an example of an ant project in the repository jrm 2015-06-22 11:46:40 -0700
  • 99125144d7 Add clang frontend arguments to the xcodebuild module martinoluca 2015-06-22 15:59:57 -0100
  • fc1b26e9cf Remove INFER_DEVELOPER env variable Andrzej Kotulski 2015-06-22 11:30:18 -0100
  • fb300b9948 [Eradicate @Nullable checker] Fix missing reports of PARAMETER_NOT_NULLABLE across modules. Cristiano Calcagno 2015-06-21 10:30:23 -0200
  • 762f572506 [infer][java] attach the file attribute of Cursor to the object itself, not a field. jrm 2015-06-19 15:21:51 -0700
  • d7a4474d90 [Infer][angelic] Adding angelic abduction on actuals passed by reference Sam Blackshear 2015-06-19 16:09:42 -0600
  • ddec46d4aa [infer] add infrastructure for function attributes in sil and clang Jules Villard 2015-06-19 14:50:17 -0100
  • 98ab517da0 Fix minor makefile issues martinoluca 2015-06-19 09:41:39 -0100
  • 5de68e795c Remove unused -analyzer_mode Cristiano Calcagno 2015-06-19 08:39:07 -0200
  • 9a93c2ed46 Dealing with __weak/__unsafe_unretained modifier for ivars Dino Distefano 2015-06-19 09:10:01 -0100
  • 92ceae3cf6 [clang frontend] Fix translation of large integer constants. Cristiano Calcagno 2015-06-18 16:09:14 -0200
  • e17308f4d5 Add nullability support for Xcode projects martinoluca 2015-06-18 16:40:18 -0100
  • 5e9f88eaeb [infer][Java] more consistent names for env variables jrm 2015-06-18 08:56:31 -0700
  • d0ea01e354 Bump infer version to 0.1.1 Andrzej Kotulski 2015-06-18 09:00:23 -0100
  • e8b91192d9 Add @import support for Xcode projects martinoluca 2015-06-18 07:26:17 -0100
  • 066b132da2 [Infer][Java] Handling assert keyword by adding a special case for the $assertionsDisabled field during translation Sam Blackshear 2015-06-17 13:54:17 -0700
  • 3a51764d4c [clang frontend] Simplify logging functions. Cristiano Calcagno 2015-06-17 16:31:34 -0200
  • 10970c4f51 [clang frontend] Pre-process AST locations to make them explicit and easier to deal with. Don't dive into include files. Cristiano Calcagno 2015-06-17 13:15:21 -0200
  • d95c4cd12c [Fix][Clang] Add the standard includes of clang into the binaries martinoluca 2015-06-17 11:47:46 -0100
  • 9c0cc5c651 Copy args from BuckAnalyze to -- buck module Andrzej Kotulski 2015-06-17 11:27:07 -0100
  • b57ac1fe49 [clang] Make the script create the absolute path rather than Ocaml. Fixes issues with symbolic links Dulma Rodriguez 2015-06-17 11:19:55 -0100
  • 6a36b9f70c [infer][Java] change the models to add the file attribute to this instead of a field jrm 2015-06-16 08:59:09 -0700
  • d77b94c13d remove duplicated allocations Chase choi 2015-06-16 14:56:04 -0100
  • 404444d182 Fixed models for FILE C functions. Dino Distefano 2015-06-16 13:03:58 -0100
  • 827d7cb3c3 [infer][Java] add an example of try-with-resource in the tests jrm 2015-06-15 07:28:56 -0700
  • 7a767fe900 [infer][Java] use the containsExactly matcher for resource leak tests jrm 2015-06-15 07:22:31 -0700
  • a8a8501243 [infer][Java] fail early when no Java source can be loaded jrm 2015-06-15 07:14:01 -0700
  • 17f0b5cbe2 add missing opam step in macos source install Jules Villard 2015-06-15 12:09:51 -0100
  • 3eb02509c4 Add OPAM metadata files to permit direct installation of Infer Anil Madhavapeddy 2015-06-15 11:56:18 -0100