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

Commit Graph

  • afac6dbfdc Fixing a couple of broken things in the script to compare Infer reports jrm 2015-11-20 23:14:52 -0800
  • c7c8d58334 fixing taint analysis so it doesn't prevent postcondition inference Sam Blackshear 2015-11-20 14:12:23 -0800
  • 16cb8e3f30 Translate CXXOperatorCallExpr Andrzej Kotulski 2015-11-20 09:44:13 -0800
  • c45f7793ea Assign proper location information to children of OpaqueValueExpr Andrzej Kotulski 2015-11-20 07:08:59 -0800
  • dbe4c0c307 Assign proper location information to block Andrzej Kotulski 2015-11-20 07:07:15 -0800
  • e7cc5c46af update version of facebook-clang-plugins Andrzej Kotulski 2015-11-20 02:38:35 -0800
  • 8e9ed5eb6b adding model for verifying sockets before reading from them Sam Blackshear 2015-11-19 09:20:31 -0800
  • 761e4acc08 Adding models of CADisplayLink for catching retain cycles. Dino Distefano 2015-11-19 07:08:22 -0800
  • cb42fdcc31 Use fully qualified names for functions Andrzej Kotulski 2015-11-19 03:03:36 -0800
  • 9748502a1a Handle C++ static methods Andrzej Kotulski 2015-11-19 02:47:33 -0800
  • 2e01d3402f adding some tests to outline the behaviour of the @Expensive checker with inheritance jrm 2015-11-18 11:37:56 -0800
  • 8fb90ccf54 get the @PerformanceCritical and @Expensive annotatations of overridden methods from the summaries jrm 2015-11-18 11:12:27 -0800
  • c2aaf867cd Cleanup handling of namespaces from ocaml code Andrzej Kotulski 2015-11-18 10:12:16 -0800
  • 66777d5f07 update xcode and java dependencies Jules Villard 2015-11-18 07:45:13 -0800
  • 71e424d6ba Use qual_name to extract class name from method decl Andrzej Kotulski 2015-11-18 06:59:41 -0800
  • 87a3d693e1 Adding static variables to blocks class to get retain cycles Dulma Rodriguez 2015-11-18 03:16:14 -0800
  • 930eaba2d5 model Inflater and Deflater as resources jrm 2015-11-17 15:34:57 -0800
  • 12e37c97fc sort the list of bugs in order to preserve the position of the entries in the JSON file jrm 2015-11-17 13:19:35 -0800
  • 631f2a9882 fixing spacing issue in context leak error message Sam Blackshear 2015-11-17 11:36:40 -0800
  • 3d646f012e use buck query for faster target lookup Sam Blackshear 2015-11-17 10:51:25 -0800
  • 0ad19a3b93 Fix wrong module name in toplevel buck module martinoluca 2015-11-17 04:41:23 -0800
  • 316ad95659 Fixing Bad pointer comparison checker in fast iteration Dino Distefano 2015-11-17 03:11:42 -0800
  • 03b4c11c06 Improved error message for taint analysis Dino Distefano 2015-11-17 03:05:20 -0800
  • 53a32848d5 Model and test FileChannel.tryLock throws Josh Berdine 2015-11-16 07:04:04 -0800
  • 55f9fb9d5e Add base class fields to C++ classes Andrzej Kotulski 2015-11-16 05:45:30 -0800
  • 10db97be1e cleanup print_errors() Jules Villard 2015-11-16 05:23:09 -0800
  • bf408a1d03 Add models of FileChannel.tryLock methods. Josh Berdine 2015-11-13 08:52:55 -0800
  • b77e24fa01 Model File.listFiles using undefined instead of allocation Josh Berdine 2015-11-13 08:35:56 -0800
  • 2367b1c9ff cleanup two c tests that were causing clang warnings Jules Villard 2015-11-13 08:16:20 -0800
  • c4b237e9f6 Fix type of CXXThisExpr_trans Andrzej Kotulski 2015-11-13 07:05:15 -0800
  • f20af0e9aa Add memory bucket for internal memory leak errors Dulma Rodriguez 2015-11-13 05:47:05 -0800
  • 3262640214 Move translation of init_expr to general function Andrzej Kotulski 2015-11-13 05:05:45 -0800
  • 81e143b3be move csv and json constants to issues.py Jules Villard 2015-11-13 04:16:40 -0800
  • 9efc1b6be7 move mkdir_if_not_exists to utils.py Jules Villard 2015-11-13 04:16:25 -0800
  • 1848f6deba move paths constants to config.py Jules Villard 2015-11-13 04:16:08 -0800
  • 7d5e129ac0 Translate categories on demand Dulma Rodriguez 2015-11-13 03:36:07 -0800
  • b2b2322db7 rename INFER to INFER_EXECUTABLE Jules Villard 2015-11-13 02:27:21 -0800
  • 5691f24090 Use the summaries to store the @CallsExpensive attributes jrm 2015-11-12 15:22:32 -0800
  • 4fa4c9f0d6 Deleting models that specify a non-null return value Sam Blackshear 2015-11-12 14:22:32 -0800
  • db7dd5aebe fixing angelic in case where unknown function is called indirectly Sam Blackshear 2015-11-12 11:15:09 -0800
  • f2ba1b1c76 Add model for java.io.File.listFiles Josh Berdine 2015-11-12 09:20:02 -0800
  • d545da14c1 fix stuff that was accidentally broken Jules Villard 2015-11-12 08:22:13 -0800
  • 0490e739b0 move LOCALE to config.py Jules Villard 2015-11-12 05:22:55 -0800
  • 2ec2858b66 move indenter to a new module source.py Jules Villard 2015-11-12 05:22:31 -0800
  • 88b615d8ab move code about infer issues formats to issues.py Jules Villard 2015-11-12 05:21:57 -0800
  • a416afeb44 move error types strings to a new issues.py Jules Villard 2015-11-12 05:21:14 -0800
  • 9139ab5dfb move analyzer constants to config.py Jules Villard 2015-11-12 05:20:41 -0800
  • ded09066ed create config.py and move BUG_FOUND_ERROR_CODE there Jules Villard 2015-11-12 05:17:17 -0800
  • 1180aabe39 Fix result of returnStmt_trans Andrzej Kotulski 2015-11-12 04:56:25 -0800
  • de1a627335 Translate enums as ints and not add them to the tenv Dulma Rodriguez 2015-11-12 04:17:25 -0800
  • 80af77a528 revert back to printing python lists Jules Villard 2015-11-12 03:59:27 -0800
  • 674c199605 remove vim hints Jules Villard 2015-11-12 02:56:59 -0800
  • b1b9cbe771 distinguish between the user added annotation @Expensive and the inferred annotation @CallsExpensive jrm 2015-11-11 12:38:40 -0800
  • 07ebdc0918 fix missing import Jules Villard 2015-11-11 08:55:40 -0800
  • 6d649259c8 unbreak the error path Jules Villard 2015-11-11 08:54:25 -0800
  • f72a1a4210 read errors from json instead of csv Jules Villard 2015-11-11 07:47:51 -0800
  • ae81d8d215 handle unicode in source code Jules Villard 2015-11-11 07:45:21 -0800
  • 0cd533f892 Enforcing subtyping rules for @Expensive and @PerformanceCritical jrm 2015-11-10 15:55:33 -0800
  • 6b6b4d1949 Detecting if methods annotated with @PerformanceCritical transitively call methods annotated with @Expensive jrm 2015-11-10 15:35:00 -0800
  • 8636aa1f70 open the jar file of the model only once jrm 2015-11-10 15:19:46 -0800
  • e03b36338b rename infer.py to analyze.py Jules Villard 2015-11-10 11:27:27 -0800
  • 5f57d199f3 print more info about ant/gradle/make/mvn capture Jules Villard 2015-11-10 11:21:10 -0800
  • 571bb306cf [sync] repair broken github sync Jules Villard 2015-11-10 19:02:41 +0000
  • 469d1e4902 fix printing number of analysed procs/files Jules Villard 2015-11-10 10:06:13 -0800
  • 02b9bec78e remove extra newlines in infer output Jules Villard 2015-11-10 10:02:35 -0800
  • d03dcb6961 generate json natively Jules Villard 2015-11-10 10:01:12 -0800
  • db35afef1e Handle variable declaration inside condition expression correctly Andrzej Kotulski 2015-11-10 10:00:24 -0800
  • 0db83eb5dd Adding the no progress bar option to the tests Dulma Rodriguez 2015-11-10 07:02:58 -0800
  • f5ddb983fe Initial version of the @Expensive checker jrm 2015-11-09 11:55:52 -0800
  • f88164dae9 define INFER_INFER_DIRECTORY more concisely Jules Villard 2015-11-09 08:56:31 -0800
  • d0d0a5efa0 print copy-pastable compilation command in case of failure Jules Villard 2015-11-09 08:56:03 -0800
  • 6bf9f47c14 add colored output Jules Villard 2015-11-09 08:54:17 -0800
  • 3b4dda102b Change return type of CTrans.loop_instruction Andrzej Kotulski 2015-11-09 07:36:41 -0800
  • 0f5aa343e7 Fixed line number in the reporting of strong delegate warning Dino Distefano 2015-11-09 06:10:41 -0800
  • d50a401cd0 replace string constants for json fields with variables Jules Villard 2015-11-09 06:04:42 -0800
  • 872ce8ea87 move python code to infer package Jules Villard 2015-11-09 05:08:25 -0800
  • c602ce7a83 Adding progress bar to the analysis Dulma Rodriguez 2015-11-09 03:43:54 -0800
  • 9177ba8d20 Add model for FileChannel.lock() returning not null Cristiano Calcagno 2015-11-09 03:00:41 -0800
  • 9466aeaef3 Revert "Revert "Revert "[sync] syncing files to github""" Jules Villard 2015-11-07 15:26:52 -0800
  • a84d23d4ae spacing in INSTALL.md Jules Villard 2015-11-07 15:11:14 -0800
  • a8388644b8 Add a flag to create the procedure descriptions of callees jrm 2015-11-06 09:14:07 -0800
  • 4300d1bf62 Add support for specifying the list of files to be analyzed in on-demand mode. Cristiano Calcagno 2015-11-06 06:28:56 -0800
  • 00e97afdf8 First version of taint analysis. Dino Distefano 2015-11-06 03:31:54 -0800
  • a9bdf2b291 Translate c++ constructor calls in var initialization Andrzej Kotulski 2015-11-05 06:19:46 -0800
  • ae49cacee8 Framework to emit warning from frontend Dino Distefano 2015-11-05 05:58:04 -0800
  • 740f673451 build integration tests: temporarily removing the hash value for the base reports jrm 2015-11-04 12:26:30 -0800
  • 088293b6c2 Add pointer type to argument of method call Andrzej Kotulski 2015-11-04 08:04:59 -0800
  • 790b653c4f Update facebook-clang-plugins repo Andrzej Kotulski 2015-11-03 08:51:46 -0800
  • 47cc250bdd add way to save build integration test results Jules Villard 2015-11-03 08:37:07 -0800
  • 859b816e95 No longer report context leak on private methods jrm 2015-11-02 12:35:57 -0800
  • 513eee3059 Adding initial support for Buck for Cxx with flavored targets martinoluca 2015-11-02 08:21:05 -0800
  • d151977b39 print stats in debug mode only Jules Villard 2015-11-02 07:10:05 -0800
  • 078d3f1c1e Remove special treatment of harness code Cristiano Calcagno 2015-11-01 16:52:08 -0800
  • 159d335da5 print source context together with each report Jules Villard 2015-11-01 10:16:09 -0800
  • 0091d3bdbb Gradle intergration test: fix the link to .inferconfig to point to the root of the repository jrm 2015-10-31 13:56:10 -0700
  • 43cb5ae7e0 refactor to expose indenter class Jules Villard 2015-10-30 18:33:22 -0700
  • 80057ea523 Translate classes on demand Dulma Rodriguez 2015-10-30 09:31:16 -0700
  • 8c1979410a print location of the html report Jules Villard 2015-10-30 08:45:40 -0700
  • c68464bd29 add html backend Jules Villard 2015-10-30 08:23:20 -0700
  • d8e74e456c report leaks on all context, not only activities jrm 2015-10-29 16:08:30 -0700