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

Commit Graph

  • 197b13434a use absolute path for BUILDDIR Jules Villard 2015-10-29 11:38:43 -0700
  • 4260c720c0 Disable the creation of the harness by default jrm 2015-10-29 07:51:40 -0700
  • e402764313 wording changes for docker docs Peter O'Hearn 2015-10-28 12:05:27 -0700
  • cbc19f484a Temporarily disabling the reporting on print args in Infer jrm 2015-10-28 10:12:06 -0700
  • 6f3873aa99 Adding inferconfig support to skip the translation of generated source code jrm 2015-10-28 09:37:56 -0700
  • abc0e8315e better error messages for Activity leaks Sam Blackshear 2015-10-27 19:55:52 -0700
  • 56ccb6b198 Fix assert false in Paths. Cristiano Calcagno 2015-10-27 12:15:35 -0700
  • 6a922ff597 Print origin information for procedured modelled internally. Cristiano Calcagno 2015-10-27 07:41:28 -0700
  • a7a332ea51 add different handling for C++ increment/decrement operators Andrzej Kotulski 2015-10-26 06:58:08 -0700
  • 982616148e Adding endtoend test that shows that dispatch once works well Dulma Rodriguez 2015-10-26 06:26:52 -0700
  • 56f3fb4f4b Translating structs and C++ classes only on demand Dulma Rodriguez 2015-10-26 06:25:49 -0700
  • 1371ca96e9 Added endtoend test that shows that we can release objects inside a block Dulma Rodriguez 2015-10-23 09:04:12 -0700
  • 9c578406a1 update clang plugin version Andrzej Kotulski 2015-10-23 07:45:16 -0700
  • be07cdda2a Factor out some parts of CXXMemberCallExpr Andrzej Kotulski 2015-10-23 03:14:20 -0700
  • 9e39f3bf72 Refactor of declRefExpr_trans & MemberExpr_trans Andrzej Kotulski 2015-10-23 03:13:00 -0700
  • 43958b461a Use the type environment as a cache of translated types jrm 2015-10-22 16:36:12 -0700
  • 3076b434c1 Collect all the class fields in a single loop instead of collecting the static and non-static fields separately jrm 2015-10-22 15:31:55 -0700
  • dc470816d1 Fix the option -a compile jrm 2015-10-22 15:12:45 -0700
  • 52f983253a remove -rec flag from atdgen Jules Villard 2015-10-22 10:01:11 -0700
  • f1716988ec Adding endtoend test that shows the correct use of self inside a block Dulma Rodriguez 2015-10-22 08:46:11 -0700
  • 77ab0565c4 rewrite some of the install instructions Jules Villard 2015-10-22 08:41:14 -0700
  • f2d80d1a40 base image on release instead of git + doc + launch script Jules Villard 2015-10-22 06:32:59 -0700
  • 9b15656258 Update clang plugin Andrzej Kotulski 2015-10-22 05:35:06 -0700
  • 1c80ba8bb7 simplify code handling default paramters Andrzej Kotulski 2015-10-22 03:10:59 -0700
  • 042bcaf3e6 Adding endtoend test for blocks that shows proper handling of global variables and captured variables. Dulma Rodriguez 2015-10-21 08:22:46 -0700
  • bee713e557 Fixing mangling of captured variables Dulma Rodriguez 2015-10-21 05:12:10 -0700
  • cf9c64acb3 git ignore .project file Cristiano Calcagno 2015-10-20 09:16:56 -0700
  • 03bca6734c fix a number of issues related to the treatment of global state in ondemand analysis Cristiano Calcagno 2015-10-20 08:32:11 -0700
  • 453924f303 Add basic translation of constructors Andrzej Kotulski 2015-10-20 07:37:13 -0700
  • 87dfcdeb99 Replace '/' in anonymous type names Andrzej Kotulski 2015-10-20 06:43:16 -0700
  • 1f973cfc12 refactor makefile to allow more ocaml and c libs to be added more easily Jules Villard 2015-10-20 05:51:56 -0700
  • 04f92614e8 Moving printf args checker into Infer Sam Blackshear 2015-10-19 16:22:13 -0700
  • 286d27be10 Remove the file information form the mangling of variable names Dulma Rodriguez 2015-10-19 10:19:55 -0700
  • 7d0a7568f3 put Util.list_* functions into an IList module Jules Villard 2015-10-19 09:55:12 -0700
  • f17f54939b checkers can now analyze a restricted subset of the procedures defined in a file Cristiano Calcagno 2015-10-19 08:25:43 -0700
  • a5e1743382 Fix failing C++ frontend test Andrzej Kotulski 2015-10-19 07:54:30 -0700
  • 5a07f767bb Handle assignment operations correctly Andrzej Kotulski 2015-10-19 07:17:37 -0700
  • b86af1e5d1 Fix type information about reference types in CFGs Andrzej Kotulski 2015-10-19 03:27:32 -0700
  • 596401856d report activity leaks without stopping the analysis Cristiano Calcagno 2015-10-17 18:35:45 -0700
  • 2af1687cd4 add builtin for dictionary literals Jules Villard 2015-10-16 09:39:21 -0700
  • 198c57aabc docker image Hui Qian 2015-10-16 08:26:42 -0700
  • bfe10e3829 Fix handling of C++ references Andrzej Kotulski 2015-10-16 06:09:37 -0700
  • ba00f08f00 Remove variable resolution and use pointers to declarations instead Dulma Rodriguez 2015-10-15 06:36:46 -0700
  • c01df1fe90 no longer collect all possible subtypes in the type environment jrm 2015-10-14 17:54:42 -0700
  • 6ec888ec23 add option to create one cluster per procedure in on-demand mode Cristiano Calcagno 2015-10-14 11:47:18 -0700
  • 6278b779df Adding memory leak bucket for cpp Dulma Rodriguez 2015-10-14 07:32:33 -0700
  • 3095b68127 Add a test case with @SuppressWarnings on a Buck project jrm 2015-10-13 15:24:02 -0700
  • 2d074e82dc Add integration test for Buck jrm 2015-10-13 09:26:29 -0700
  • 289fdaccd4 Add the version as an argument to the packaging script Irene Papakonstantinou 2015-10-13 06:24:18 -0700
  • d360ba7776 update fcp Andrzej Kotulski 2015-10-12 10:06:05 -0700
  • e49d9d6f4d Adding an outer context to the context in case of blocks Dulma Rodriguez 2015-10-12 06:18:34 -0700
  • 5a7399f8cb fix always regenerating jsonbug with atdgen Jules Villard 2015-10-12 04:35:38 -0700
  • 22aad3e33a Add basic support for on-demand for the core Infer analysis. Cristiano Calcagno 2015-10-09 09:24:26 -0700
  • e6625c9e37 Adding models for NSTimer and NSRunLoop Dino Distefano 2015-10-09 08:53:03 -0700
  • aa1951cad4 Create generic way of generating extra instructions Andrzej Kotulski 2015-10-09 06:37:02 -0700
  • f63582893f Add basic e2e tests for C++ Andrzej Kotulski 2015-10-09 04:07:24 -0700
  • 7ac5a5c308 Refactor C frontend tests Andrzej Kotulski 2015-10-09 03:26:21 -0700
  • d4c3d39fb9 Refactor C++ frontend tests Andrzej Kotulski 2015-10-09 03:24:30 -0700
  • d825302189 The option -o was not working with the Buck integration jrm 2015-10-08 12:07:31 -0700
  • cb0380eb4e Update version of fcp Andrzej Kotulski 2015-10-08 10:09:48 -0700
  • f01a639605 Slight improvement of block function handling Andrzej Kotulski 2015-10-08 10:08:20 -0700
  • 4d10c8d9f4 Add support for C++ this expression Andrzej Kotulski 2015-10-08 07:21:27 -0700
  • f8b8078538 Fix build process of clang_ast_t files Andrzej Kotulski 2015-10-08 03:18:34 -0700
  • 4263b9a7c6 Add integration tests for Ant-based Java projects jrm 2015-10-07 08:38:06 -0700
  • 4f7a56d470 Move the annotation processor into lib jrm 2015-10-07 08:19:23 -0700
  • b277d8164c Update fcp version Andrzej Kotulski 2015-10-06 05:24:14 -0700
  • 59a7ca5424 small cleanup of ast_expressions.ml Andrzej Kotulski 2015-10-06 03:38:31 -0700
  • b78d6f623a Split methods.cpp test into multiple ones Andrzej Kotulski 2015-10-05 08:50:16 -0700
  • 1e9ce38056 Fix cast of null value. Cristiano Calcagno 2015-10-05 08:48:59 -0700
  • 2a425b8218 Add structured type_ptr Andrzej Kotulski 2015-10-05 07:26:06 -0700
  • 7d95e284d2 Let on-demand control whether to start at all the analysis of a procedure. Cristiano Calcagno 2015-10-05 07:09:38 -0700
  • 9db0648cb1 Fix compilation failure issue when compiling for armv7k architecture martinoluca 2015-10-05 07:06:47 -0700
  • 76d2f66001 Add support for @SuppressWarnings on Buck projects jrm 2015-10-02 17:00:52 -0700
  • 0282060808 delete the deprecated script inferJ jrm 2015-10-02 09:58:11 -0700
  • e6600cf03b Making the procname hash depend on relative paths Dulma Rodriguez 2015-10-02 09:38:10 -0700
  • 7ee2bf248b Don't print Makefile generation time under errors during BuckAnalyze Sam Blackshear 2015-10-02 08:40:08 -0700
  • a045886eba Get better language information about functions/methods Andrzej Kotulski 2015-10-02 06:07:00 -0700
  • 5e41fc7a54 fix a bug preventing to run the capture only with Buck jrm 2015-10-02 01:28:00 -0700
  • d6b1d422fd Update fcp and remove qual_type type Andrzej Kotulski 2015-10-01 10:33:18 -0700
  • 30a7a2fd8e Fixing Symexec_memory error that occurs when dereferencing the return value of an undefined function Sam Blackshear 2015-10-01 09:44:11 -0700
  • ebfe1d69cc simplify cluster and makefile creation when on-demand is active. Cristiano Calcagno 2015-10-01 08:58:05 -0700
  • 30d869b9b1 Disable SKIP_FUNCTIONs when Infer is not running in debug mode martinoluca 2015-10-01 08:27:38 -0700
  • a4c910cc2c Adding makefile generation time to the infer toplevel script Dulma Rodriguez 2015-10-01 07:30:53 -0700
  • e2fb879321 make summaries deterministic by default by removing timing information Cristiano Calcagno 2015-10-01 07:18:59 -0700
  • 16604a9e75 Update fcp which exports less redundant information Andrzej Kotulski 2015-10-01 06:07:56 -0700
  • 514915a833 Update info about supported xcode versions Andrzej Kotulski 2015-10-01 04:17:11 -0700
  • 168980e9cd Bump infer release Irene Papakonstantinou 2015-09-30 10:10:05 -0700
  • 6b988e673d Documentation Deniz Türkoglu 2015-09-30 08:00:22 -0700
  • 2573bca68e Correct IDE name spelling Victor Ilyukevich 2015-09-30 06:42:14 -0700
  • 0b0cd0d38d [clang] Using qual names for fields Dulma Rodriguez 2015-09-30 12:28:56 -0100
  • 1e96e56145 [backend][ondemand][perf] improve perf of on demand by only loading the minimum number of cfgs needed Cristiano Calcagno 2015-09-30 08:19:55 -0200
  • e26f9b4dd4 [clang] Removing the use of raw types Dulma Rodriguez 2015-09-28 12:59:33 -0100
  • a380cd3e6c [CFrontend] Use type attributes in more structured way Andrzej Kotulski 2015-09-28 12:42:26 -0100
  • 75950384c9 [backend] Extend results directory with attributes for each procedure. Cristiano Calcagno 2015-09-28 10:08:16 -0200
  • e8949d16e4 [Frontend][C++] Use Sil.class for C++ class/struct/union types Andrzej Kotulski 2015-09-28 09:57:13 -0100
  • 1fcea9258a [backend] Fix Failure "handle input_value: truncated object" observer with Eradicate/Checkers, probably due to races when writing specs files. Cristiano Calcagno 2015-09-27 22:24:42 -0200
  • 6553ba2379 Replace the gmodules flag of Xcode's clang with equivalent ones martinoluca 2015-09-25 12:15:15 -0100
  • b810ae68b4 Skip some frontend tests when xcode version doesn't match Andrzej Kotulski 2015-09-25 08:05:11 -0100
  • 79df8d2b3c [clang] Fix tests so that they pass with xcode 7 Dulma Rodriguez 2015-09-24 16:17:04 -0100
  • fd853f97ca [clang] C function names depend only on their name (and their file is they are static, and their type if we are in C++) Dulma Rodriguez 2015-09-24 15:17:15 -0100