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

Commit Graph

  • 6606df245c [CFrontend] Upgrade frontend tests to xcode 7 Andrzej Kotulski 2015-09-24 14:46:32 -0100
  • 09242fc711 [Infer][backend] Refactoring attribute categories so as not to conflate resource and undefined attrs Sam Blackshear 2015-09-24 08:58:41 -0600
  • 8c80856e97 [Eradicate] Fix regression introduced when adding support for @TrueOnNull and @FalseOnNull. Cristiano Calcagno 2015-09-24 13:43:35 -0100
  • 4216ad9a82 Update facebook-clang-plugins Andrzej Kotulski 2015-09-24 09:54:07 -0100
  • a50ecde01c [Infer][backend] Fixing inconsistency between exe_env file and proc_attributes file in harness generation Sam Blackshear 2015-09-23 11:14:11 -0600
  • 62b57827c8 [Infer][java] Fixing bug where passing -deprecation flag to javac broke compilation Sam Blackshear 2015-09-23 11:04:15 -0600
  • 0f8c3e7974 [eradicate][ondemand] Skeleton of on-demand analysis for Eradicate. Cristiano Calcagno 2015-09-23 09:57:06 -0100
  • 28f5025862 [backend] fix verbose logging "The project root ... is not a prefix of ..." Cristiano Calcagno 2015-09-23 08:57:14 -0100
  • 5104d852ee [Infer][backend] No longer crashing when -project_root is not a prefix of source file path Sam Blackshear 2015-09-22 16:21:19 -0600
  • f1c5cb337e [Eradicate] Add support for modeling boolean functions that check if the argument is null. Cristiano Calcagno 2015-09-22 15:50:31 -0100
  • a4cbf94de5 [clang] Replacing type void by type void star . Fixing bug in commit 41e0128cf71a399ddc183a7d12fd43dfdc493985 Dulma Rodriguez 2015-09-18 11:15:10 -0100
  • 4dac490e8d Update fcp to have newer clang Andrzej Kotulski 2015-09-18 11:00:53 -0100
  • bd48a7d0dd [clang] Fixing eradicate tests Dulma Rodriguez 2015-09-17 16:25:49 -0100
  • cbfce9406b Simplify check for clang on the script to compile facebook-clang-plugins martinoluca 2015-09-17 08:50:32 -0100
  • bc050c4188 [C++] Add inheritance information for C++ classes Andrzej Kotulski 2015-09-16 14:59:38 -0100
  • 0b4fc3a979 [backend] make adding overriden methods during cluster generation only available in Java Dulma Rodriguez 2015-09-16 13:49:42 -0100
  • a3e4d7a0fa Revert "Make clang_ast_t.ml* non recursive" Dulma Rodriguez 2015-09-15 16:30:09 -0100
  • 5c671677b4 Make clang_ast_t.ml* non recursive Andrzej Kotulski 2015-09-15 13:00:28 -0100
  • 65f4280d6e [clang] [3 of 3] Changes to the translation of record, classes and enums Dulma Rodriguez 2015-09-15 09:45:06 -0100
  • 51e0e40bc7 [clang] [2 of 3] Dealing with custom ast expressions and flow of types in the frontend. Dulma Rodriguez 2015-09-15 09:31:54 -0100
  • 8e547d197d [clang] [1 of 3] Replacing parser of types Dulma Rodriguez 2015-09-15 09:16:35 -0100
  • a538998ed9 Infra improvement Irene Papakonstantinou 2015-09-14 15:39:22 -0100
  • 99e9d11902 [Test] Fix handling of symbolic links in tests Andrzej Kotulski 2015-09-11 14:10:04 -0100
  • 256fcbc0e9 Infra improvement Irene Papakonstantinou 2015-09-11 11:50:56 -0100
  • 2e2673df66 [Infer][ios] Reporting error when NSNumber * is coerced to boolean in a comparison Sam Blackshear 2015-09-11 08:36:48 -0400
  • 7646777f7f [Infer][backend] Refactoring: adding attr_is_undef method Sam Blackshear 2015-09-10 10:57:18 -0400
  • 629b09307f [Models] Add model for System.getProperty for Infer and Eradicate Cristiano Calcagno 2015-09-10 06:06:06 -0200
  • 8a48ca9360 Revert "Revert "[clang] Removing the case of flagging npes in initialisers. This causes many FPs."" Dulma Rodriguez 2015-09-09 09:44:29 -0100
  • eafa285e1d [clang] Moving log to debug mode Dulma Rodriguez 2015-09-09 08:54:49 -0100
  • 401109b4eb [Eradicate] Allow assigning null to fields marked @InjectView to support ButterKnife. Cristiano Calcagno 2015-09-08 15:21:53 -0200
  • 2eb0f47646 [eradicate] generalize domain from two fields (nullable, present) to a map Cristiano Calcagno 2015-09-08 07:43:58 -0200
  • 708ec725f9 [backend] remove support for internal parallelism and simplify the interprocedural algorithm Cristiano Calcagno 2015-09-08 07:43:32 -0200
  • d7877bbda4 [Fixed] Specify to clang to use x86_64 to build models and tests for ObjectiveCxx martinoluca 2015-09-07 16:01:34 -0100
  • 1e6247c872 [frontend] generate fresh ids separately for different procedures in the cfg Cristiano Calcagno 2015-09-04 14:09:39 -0200
  • 76c8b6e58b [backend] Reorganize the resolution of procedure attributes, fixing a bug where annotations of overridden procedures via spec files were not found. Cristiano Calcagno 2015-09-04 13:53:32 -0200
  • a277858924 bump facebook-clang-plugins version Jules Villard 2015-09-04 10:08:06 -0100
  • b8579fe531 [Infer][Gradle plugin] Fixing issue where files are captured twice Sam Blackshear 2015-09-03 15:01:30 -0600
  • d27d0b5c9d Update script that creates releases Irene Papakonstantinou 2015-09-03 10:54:54 -0100
  • 7911e7e54d [Infer][filtering] Implementing SuppressWarnings filtering and adding tests Sam Blackshear 2015-09-02 11:35:37 -0600
  • e46b6d3c9d [Infer][filtering] Always using local_config to build procedure filter Sam Blackshear 2015-09-02 10:24:01 -0600
  • ea7c13ff6c [backend][cleanup] Move proc_attributes to a separate module. Cristiano Calcagno 2015-09-02 13:15:09 -0100
  • a9b6f33940 [Infer][filtering] Adding support for filtering by procname using .inferconfig Sam Blackshear 2015-09-01 21:59:21 -0600
  • 09eb65f4e2 [Infer][backend] Fixing Not_found when source for proc can't be found during Makefile generation in InferAnalyze Sam Blackshear 2015-09-01 15:01:58 -0600
  • 6e29be8559 output sensible version number without git or .git Jules Villard 2015-09-01 18:01:17 -0100
  • 6f65486942 [backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes. Cristiano Calcagno 2015-08-30 17:23:05 -0200
  • 78f65b6dd7 [eradicate] handle methods overridden in other files Cristiano Calcagno 2015-08-28 11:33:43 -0200
  • c6b550d5f0 [clang] Generating procedures only if there isn't a spec for them already. Dulma Rodriguez 2015-08-28 09:40:46 -0100
  • 9643bdb1c6 Clean up command line argument filtering. Rohan Jacob-Rao 2015-08-27 14:44:48 -0700
  • 9b3f291b99 Refactor main file to handle command line arguments and relative source paths. Rohan Jacob-Rao 2015-08-27 13:30:45 -0700
  • a62c71290b [infer] Change the error message when the project root is not a prefix of the absolute path of the source files jrm 2015-08-27 11:37:49 -0700
  • 6de12aa5ba [infer][eradicate] Allow developers to locally redefine @Initializer jrm 2015-08-27 11:28:36 -0700
  • cc2fda8165 [Infer][incremental] Preventing --changed-only incremental mode from corrupting the future Sam Blackshear 2015-08-27 11:54:18 -0600
  • bdbc524f53 [Infer][tests] Adding tests for --changed-only incremental mode Sam Blackshear 2015-08-27 11:44:28 -0600
  • 7f8282e046 Simplify generation of source file locations and attach to more SIL objects. Rohan Jacob-Rao 2015-08-26 11:52:45 -0700
  • e63269fa14 [toplevel] add --fail-on-bug option Jules Villard 2015-08-26 16:19:24 -0100
  • 2e27c5127b [Infer][frontend] Making -incremental-changed-only option available from command line Sam Blackshear 2015-08-26 10:00:42 -0600
  • f5f005a720 [Infer][scripts] Fix crash when stats.json does not exist Sam Blackshear 2015-08-25 15:12:13 -0600
  • 0b42f9cf06 [Infer][incremental] Only analyze (transitive) callers of changed procedures Sam Blackshear 2015-08-25 13:41:56 -0600
  • 7987d1a2a6 [Infer][tests] Adding tests for incremental functionality Sam Blackshear 2015-08-25 08:56:57 -0600
  • f192b02f01 Integrate LLVM analysis with infer script. Rohan Jacob-Rao 2015-08-24 22:35:13 -0700
  • 6f51b8c54b Handle source location metadata generated by clang wrapper. Rohan Jacob-Rao 2015-08-24 14:32:27 -0700
  • d6379fb7be [clang] replace yojson frontend with biniou frontend Jules Villard 2015-08-24 14:15:39 -0100
  • 49e09e5cda [Infer][incremental] Always assigning to "changed" field of procdescs Sam Blackshear 2015-08-24 06:20:56 -0600
  • f7095d794c fix make -C infer/annotations clean clean Jules Villard 2015-08-24 11:03:48 -0100
  • aef13134bf [clang][tests] remove darwin target from c tests Jules Villard 2015-08-24 09:59:55 -0100
  • bc1c77a8a1 [Infer][nullable] Fixing bad error message Sam Blackshear 2015-08-23 16:28:32 -0600
  • f8cc0c2ba8 [Infer][stats] Adding procedure stats to stats.json Sam Blackshear 2015-08-21 13:25:02 -0600
  • 1a615a467b [infer][java] add support for @SuppressWarnings, step 1 jrm 2015-08-20 22:03:39 -0700
  • cb52bff366 [infer][java] Extract the information about classpath from the javac commands so that the classpath can be modified when running the analysis jrm 2015-08-20 11:04:32 -0700
  • e43acf7130 [Infer][incremental] structural comparison of instructions, nodes, expressions Sam Blackshear 2015-08-20 11:45:38 -0600
  • 1a51254b8c [Infer][stats] Getting reliable file count/LOC count by moving computation inside inferanalyze Sam Blackshear 2015-08-20 11:44:06 -0600
  • d5fc25f28a [infer][CPP] fix C++ tests when running on Linux Jeremy Dubreil 2015-08-20 08:54:55 -0700
  • daac9c7af7 [Infer][tests] Adding parser for stats.json, matcher for checking number of files analyzed by stats.json Sam Blackshear 2015-08-20 09:17:34 -0600
  • 7640b01096 Update INSTALL.md Irene Papakonstantinou 2015-08-20 13:09:22 -0100
  • e5f6df74b0 [clang] Add procdescs to cxx method. Forgotten from last commit Dulma Rodriguez 2015-08-20 10:03:11 -0100
  • 3cddd0489c [clang] Use the map of pointers to find method declarations and build method signatures Dulma Rodriguez 2015-08-19 17:22:48 -0100
  • 001e6a7c8f Bump version Irene Papakonstantinou 2015-08-19 14:10:23 -0100
  • 2f25d6344c [Infer][annotations] Adding basic annotation processor for SuppressWarnings Sam Blackshear 2015-08-19 07:05:44 -0600
  • 37a4709a0f Translate call instruction and construct call graph. Rohan Jacob-Rao 2015-08-18 11:10:33 -0700
  • 9ebb365bef [infer] Add facebook clang plugins submodule David Soria Parra 2015-08-18 11:23:40 -0700
  • 2d31a8c4aa [Infer][incremental] Procedure-level incrementality Sam Blackshear 2015-08-17 20:38:21 -0600
  • d99ddd1ede [Infer][incremental] Refactoring: use a map of files changed -> procs in file that have changed in computing clusters Sam Blackshear 2015-08-17 15:13:06 -0600
  • b2398ae990 [Infer][frontend] Pass -incremental flag to the backend Sam Blackshear 2015-08-17 07:13:00 -0600
  • 5e5fac5dbc Fix some indentation and a stray comment. Rohan Jacob-Rao 2015-08-15 14:02:41 -0700
  • 0a2571c10a [infer][java] Infer now reports errors with relative paths on Ant and Gradle projects jrm 2015-08-14 09:37:13 -0700
  • 027ba53203 Create source release for infer including clang binaries Irene Papakonstantinou 2015-08-14 15:12:28 -0100
  • 721cc1957c Specify to clang to use x86_64 to build models and tests for ObjectiveCxx martinoluca 2015-08-14 15:04:27 -0100
  • c92bfc1093 [Infer][models] Modeling Handler.postDelayed and similar to detect more Activity leaks Sam Blackshear 2015-08-14 09:29:04 -0600
  • 279f3d15e7 Make inferTest resolve all the symlinks before running tests martinoluca 2015-08-14 14:22:50 -0100
  • 485d5c030e [Infer][activity leaks] Turning on Activity leak reporting Sam Blackshear 2015-08-14 09:17:37 -0600
  • e127255f60 Renamed some types and variables for consistency. Rohan Jacob-Rao 2015-08-14 07:30:41 -0700
  • 204c585abf [infer][java] revive the small example of Ant project jrm 2015-08-13 21:44:16 -0700
  • 7821266c8f [Infer][Nullables] Eliminating some false positives from Nullable checker Sam Blackshear 2015-08-13 15:12:55 -0600
  • 9a062192f8 [Infer][nullables] Turning nullable field warnings back on Sam Blackshear 2015-08-13 15:03:11 -0600
  • f3afc6848b Open Utils module to avoid prefixing common list functions. Rohan Jacob-Rao 2015-08-13 12:01:26 -0700
  • 96d5931744 Report source file name in error log. Rohan Jacob-Rao 2015-08-13 10:15:05 -0700
  • f8ed9b91f5 Fill in source line numbers in SIL instructions. Rohan Jacob-Rao 2015-08-13 10:02:53 -0700
  • fcc0c72ecb [infer][eradicate] add support for butterknife @Bind annotation jrm 2015-08-12 18:49:19 -0700
  • c0446276a1 [eradicate] add support for the Android support v4 @NonNull annotation jrm 2015-08-12 15:13:41 -0700
  • a7da6066e5 Build maps of metadata variables. Rohan Jacob-Rao 2015-08-12 12:26:59 -0700