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

Commit Graph

  • 7e169b0471 [copyrightor] add llvm comments Jules Villard 2015-08-12 17:49:58 -0100
  • 204b2ccc53 Make facebook-clang-plugins a submodule @update-submodule: facebook-clang-plugins Irene Papakonstantinou 2015-08-12 16:27:40 -0100
  • a5fa6a52ee [copyrightor] change output Jules Villard 2015-08-12 15:47:56 -0100
  • 9e5cee2444 [infer][eradicate] Fix eradicate tests for field not initialized jrm 2015-08-12 09:42:50 -0700
  • 2468139fb7 [infer][java] move the Gradle filelist directory definition in one place jrm 2015-08-12 09:32:18 -0700
  • bb59bb04b7 [CFrontend][Cleanup] Pass whole decl to CTypesDecl.do_record_declaration Andrzej Kotulski 2015-08-12 13:59:06 -0100
  • b4f554b5f5 Parse call to debugging llvm.dbg.declare function. Rohan Jacob-Rao 2015-08-11 18:07:31 -0700
  • c264f95ab3 Setting up metadata variable mappings. Rohan Jacob-Rao 2015-08-11 15:23:35 -0700
  • b3b67cdf69 Add metadata types to AST. Rohan Jacob-Rao 2015-08-11 15:22:32 -0700
  • 394a3b4c29 [CFrontend] Sizeof should have ulong type Andrzej Kotulski 2015-08-11 15:39:57 -0100
  • 7ebd48121f [infer][backend] do not catch exceptions thrown by failwith jrm 2015-08-11 09:25:37 -0700
  • cc70507552 [clang] unopen some modules Jules Villard 2015-08-11 09:35:31 -0100
  • 4a55382345 Refactored grammar for metadata definitions. Rohan Jacob-Rao 2015-08-10 17:59:23 -0700
  • 4bb331ad4f Parse and ignore function declarations. Rohan Jacob-Rao 2015-08-10 17:58:47 -0700
  • 41c14b249a [Infer][incremental] Refactoring exe_env_from_cluster Sam Blackshear 2015-08-10 15:53:16 -0600
  • b80f74c34a [Infer][incremental] Add changed field to procdesc's and code to compute if a procdesc has changed since the last run Sam Blackshear 2015-08-10 15:43:41 -0600
  • 089abea3d7 [Infer][nullables] Temporarily disabling warnings on nullable fields Sam Blackshear 2015-08-10 15:39:51 -0600
  • f9939786fb Add function types. Rohan Jacob-Rao 2015-08-10 14:18:08 -0700
  • ded6b1d654 Fix parsing of boolean constants Rohan Jacob-Rao 2015-08-10 10:54:37 -0700
  • a570bf5b85 [CFrontend] Replace names containing Method with ObjCMethod Andrzej Kotulski 2015-08-10 16:40:39 -0100
  • 198c3c82e1 [C++ frontend] Handle calling c++ methods Andrzej Kotulski 2015-08-10 13:59:09 -0100
  • 7a839984da [C++] Add cpp methods signatures and implementations Andrzej Kotulski 2015-08-10 12:07:55 -0100
  • 352b8edff9 [copyrightor] turn checkCopyright into a standalone script Jules Villard 2015-08-10 08:25:51 -0100
  • 85b0ef7266 [clang] Refactor of creating method signatures. First step to use the map of pointers to find method declarations. Jules Villard 2015-08-10 07:41:15 -0100
  • ca2699842d [Infer][nullable] Fixing bad error messages when dereferencing null literal Sam Blackshear 2015-08-08 09:36:01 -0600
  • f20236fcac Parse metadata nodes. Rohan Jacob-Rao 2015-08-07 16:36:20 -0700
  • ef01c485da Made parser syntax consistent: list(X) -> X* and option(X) -> X?. Rohan Jacob-Rao 2015-08-07 15:53:34 -0700
  • 353f442efb Parse debug annotations and add them to AST. Rohan Jacob-Rao 2015-08-07 15:32:48 -0700
  • 026ca7176e Parse data layout and target triple. Rohan Jacob-Rao 2015-08-07 15:27:17 -0700
  • 06f6e349c7 Replace null_deref.ll with annotated version generated using -g flag. Rohan Jacob-Rao 2015-08-07 15:09:24 -0700
  • be0e3c417a Update fcp version Andrzej Kotulski 2015-08-07 15:02:12 -0100
  • 31e7a14344 Don't pass -lib args to InferPrint martinoluca 2015-08-07 10:01:06 -0100
  • 950b6f4aa4 Added dumb parsing of metadata. Rohan Jacob-Rao 2015-08-06 09:14:16 -0700
  • 44dfcf4a4d [Infer][nullables] Fix bad "indirectly marked" error messages Sam Blackshear 2015-08-06 09:47:51 -0600
  • 3c0e698671 Moved LLVM examples and added licence headers. Rohan Jacob-Rao 2015-08-05 18:18:13 -0700
  • b8b62cbcb0 Add optional alignment argument to alloca, load and store rules. Rohan Jacob-Rao 2015-08-05 18:13:45 -0700
  • 07d1f8b821 Properly add local variable declarations to procedure. Rohan Jacob-Rao 2015-08-05 18:09:32 -0700
  • 1d6873f471 [C++] Handle simple new cases Andrzej Kotulski 2015-08-05 15:34:00 -0100
  • 3b22adfc15 [C Frontend][Refactor] Remove code duplication on debug messages Andrzej Kotulski 2015-08-05 11:59:04 -0100
  • e1d071fb1f Fix error in parsing int constants. Rohan Jacob-Rao 2015-08-04 17:40:49 -0700
  • 66aecca31f Allow for attribute groups in function definitions. Rohan Jacob-Rao 2015-08-04 17:09:08 -0700
  • 8fbe358b34 Add tiny C example of null pointer error. Rohan Jacob-Rao 2015-08-04 11:00:29 -0700
  • e9f1f03aa0 Added empty AST node for binops, to prevent build warnings. Rohan Jacob-Rao 2015-08-03 15:49:21 -0700
  • 264a46f80c Initial attempt to translate alloca instruction. Rohan Jacob-Rao 2015-08-03 14:16:52 -0700
  • 8f03d67932 [clang] uglify json when not in frontend debug mode Jules Villard 2015-08-03 09:54:21 -0100
  • c1e5fa2194 [clang] bump fcp version Jules Villard 2015-08-03 08:34:16 -0100
  • 6dc20cd4e6 Add "unnamed" (i.e. numbered) variables to syntax. Rohan Jacob-Rao 2015-08-02 16:15:59 -0700
  • 2dc796542a [infer][java] the detection of a resource leak should not prevent the symbolic execution to proceed jrm 2015-08-01 15:53:10 -0700
  • 9ac4b11056 Translation of load instruction. Rohan Jacob-Rao 2015-07-31 22:13:47 -0700
  • a20d178e7c Translation of basic store instruction. Rohan Jacob-Rao 2015-07-31 15:38:46 -0700
  • 51ebf2493e Fixed bug in parsing of variables. Rohan Jacob-Rao 2015-07-31 08:54:03 -0700
  • 5169419216 [C frontend] Improve ObjCIvarRef/Member Exprs Andrzej Kotulski 2015-07-31 11:11:33 -0100
  • 98cb3c84ac Remove code that does nothing Andrzej Kotulski 2015-07-31 08:39:04 -0100
  • 9b8cd7d582 Generate chain of CFG nodes for instructions in a function. Rohan Jacob-Rao 2015-07-30 17:20:27 -0700
  • 7e00a845d8 [infer][java] stop swallowing errors coming from compilation failures jrm 2015-07-30 14:40:33 -0700
  • 4b241266df [infer][java] add model for java.io.StringWriter which does not need to be closed jrm 2015-07-30 10:25:39 -0700
  • 257bdd18f1 [Infer][tests] Adding missing copyright to ActivityLeaks Sam Blackshear 2015-07-30 10:07:09 -0600
  • 9cf74e0ce5 [infer][backend] basic Activity leak checking Sam Blackshear 2015-07-30 09:13:36 -0600
  • 642e6fd33a update fcp Andrzej Kotulski 2015-07-30 14:05:22 -0100
  • 732d23ce4d [clang] Add is_instance as part of the type of objc methods Dulma Rodriguez 2015-07-30 07:02:16 -0100
  • 53125b171a Added LLVM target to top level makefile. Rohan Jacob-Rao 2015-07-29 17:33:58 -0700
  • 17fc7c93f2 Add models for many methods in javax.lang.model and com.sun.source Jonathan Keljo 2015-07-29 17:33:03 -0700
  • a1c735dd84 Factor out modelTables module Jonathan Keljo 2015-07-29 17:32:05 -0700
  • cfd8a55f3b Add `-lib` flag to InferPrint to read specs files from multiple places martinoluca 2015-07-29 16:22:30 -0100
  • 743c73012d [infer][java] avoid converting javac command lines from bash to python as some buck options are incorectly parsed otherwise Jeremy Dubreil 2015-07-29 09:07:47 -0700
  • 7002d0d24c Adding a test in symbolic execution when a dangling uninitialized pointer is dereferenced Dino Distefano 2015-07-29 06:09:19 -0200
  • 795742a3a2 Clean up some comments. Rohan Jacob-Rao 2015-07-28 13:17:35 -0700
  • 4ad73acf9d [infer] adding is_activity method Sam Blackshear 2015-07-28 08:55:44 -0600
  • 66ef0ec0b9 [infer][reporting] Adding boilerplate for reporting Activity leaks Sam Blackshear 2015-07-28 08:44:15 -0600
  • 2f7c957008 [Infer] resolving TODO's by using java_is_static Sam Blackshear 2015-07-28 08:43:41 -0600
  • 7409d48305 Update fcp to include recent changes Andrzej Kotulski 2015-07-28 09:36:57 -0100
  • be640f9c4e Remove build warnings by commenting out unused tokens. Rohan Jacob-Rao 2015-07-27 22:21:49 -0700
  • e107058bf6 [Infer] Adding warning to eliminate needless rec keywords, fixing all warnings. Sam Blackshear 2015-07-27 11:14:57 -0600
  • f0c30fc166 [infer][build] Treating OCaml compiler warnings as build-blocking errors Sam Blackshear 2015-07-27 09:59:55 -0600
  • 4e389cc601 [infer][frontend] catch exception from directory already existing Sam Blackshear 2015-07-27 06:55:40 -0600
  • d8a2ce2417 Generate CFG and call graph files. Rohan Jacob-Rao 2015-07-26 21:20:36 -0700
  • d7db177b84 [infer][backend] minor refactoring of the code to report leaks jrm 2015-07-24 11:40:55 -0700
  • 60000be43b [infer][backend] refactoring code for getting reachable hpred's/pure atoms from a prop Sam Blackshear 2015-07-24 11:03:43 -0600
  • bae8a4dced [whitespace] indent .ml files as well Jules Villard 2015-07-24 14:38:06 -0100
  • 6911a1516c [whitespace] ocp-indent the code Jules Villard 2015-07-24 13:57:23 -0100
  • 0368f73ce9 add ocp-indent configuration and eclipse launcher Jules Villard 2015-07-24 13:56:23 -0100
  • d7bb75ad5d [infer][backend] eliminating duplicate declaration of ExpSet module Sam Blackshear 2015-07-24 07:53:57 -0600
  • ca613a77ff [copyrightor] format start and end of copyright comments Jules Villard 2015-07-24 12:32:46 -0100
  • d7655a087e [clang] Adding getters and setters for all the methods Dulma Rodriguez 2015-07-24 09:57:19 -0100
  • c9f07e31e3 [clang] Reimplement removing nodes from procdesc in a more efficient way Dulma Rodriguez 2015-07-24 08:46:41 -0100
  • 35400dd4f6 Rename Procname.from_string Andrzej Kotulski 2015-07-24 08:25:03 -0100
  • f1daf147b3 [infer][backend] Pruning pure predicates with unreachable vals in order to eliminate PRECONDITION_NOT_FOUND errors. Sam Blackshear 2015-07-23 11:00:40 -0600
  • 687f4958c8 Change procname types for objc/c functions Andrzej Kotulski 2015-07-23 14:40:51 -0100
  • 35b7011f81 Treating blocks iterators for NSArray Dino Distefano 2015-07-23 12:11:57 -0100
  • 14c41278e6 [Infer] Better error message for warnings based on @Nullable Sam Blackshear 2015-07-22 21:01:32 -0600
  • 0946c9e460 Start of SIL generation from AST. Rohan Jacob-Rao 2015-07-22 11:38:28 -0700
  • a9e7fac361 Remove part of the INSTALL.md that isn't applicable Rahul Parsani 2015-07-22 12:22:38 -0100
  • f07c7f9093 [infer] handle sentinel arguments in symb exec Jules Villard 2015-07-22 12:14:36 -0100
  • 768a850c58 [infer][clang] fix model of sockets Jules Villard 2015-07-22 12:12:47 -0100
  • b328ee1509 [C Frontend] Always add class prefix to a field name Andrzej Kotulski 2015-07-22 07:26:47 -0100
  • 2a0cca5cc7 Disable execution of some custom shell scripts while building martinoluca 2015-07-20 11:13:27 -0100
  • 1eb151a733 [back-end] make infer-out the default results directory Cristiano Calcagno 2015-07-20 08:35:30 -0200
  • 2b8e8dec7f Indent json files =?UTF-8?q?Deniz=20T=C3=BCrkoglu?= 2015-07-17 12:00:13 -0700
  • 902e5afa61 [infer][clang] fix name collision in the C tests Jeremy Dubreil 2015-07-17 10:08:48 -0700
  • 9b63476805 [infer][java] modeling that the resource created by ZipFile.getInputStream(ZipEntry entry) is closed by ZipFile.close() jrm 2015-07-17 09:25:48 -0700