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

Commit Graph

  • 6b67a57029 [pulse][objc][nil] Add constraint `self > 0` before computing spec for Objective-C instance methods Daiva Naudziuniene 2021-06-30 05:39:30 -0700
  • 61ade247cd [pulse] model random(3) Jules Villard 2021-06-29 05:57:54 -0700
  • fb69d8aca1 [pulse] use phys_equal on the underlying abstract state instead of the toplevel pair Jules Villard 2021-06-29 05:57:49 -0700
  • 18097db701 [pulse] apply disjunct limit more strictly Jules Villard 2021-06-29 05:57:44 -0700
  • 2c93de142e [minor] Unnecessary sprintf Daiva Naudziuniene 2021-06-28 12:27:14 -0700
  • 661df0ca16 [erl-frontend] Translate expressions to blocks Akos Hajdu 2021-06-28 08:07:05 -0700
  • bb4963b6ab [sledge] Suppress warning in test from newer clang Josh Berdine 2021-06-28 03:34:38 -0700
  • 713d090743 [sledge] Make workaround for broken llvm-config easier Josh Berdine 2021-06-28 03:34:34 -0700
  • 0d430efb42 [sledge] Query llvm-config for compilation flags for tests Josh Berdine 2021-06-28 03:34:29 -0700
  • 5a8fe540d3 [sledge] Add missing build dep on env var Josh Berdine 2021-06-28 03:34:24 -0700
  • a07c71352b [sledge] Add a distinct formula and use it to strengthen Sh.pure_approx Josh Berdine 2021-06-28 03:34:19 -0700
  • 2378068442 [sledge] Add Array.contains_adjacent_duplicate Josh Berdine 2021-06-28 03:34:15 -0700
  • 69c4f089bd [sledge] Add Array.of_list_map Josh Berdine 2021-06-28 03:34:10 -0700
  • a6f3e15cec [sledge] Add List.fold_diagonal Josh Berdine 2021-06-28 03:34:05 -0700
  • abe8ba847a [sledge] Fix minor bug in test report generation Josh Berdine 2021-06-28 03:34:00 -0700
  • 099af312bb [sledge] Fix bug in Context.canon_extend Josh Berdine 2021-06-28 03:33:56 -0700
  • 3d14ef6c77 [sledge] Revise symbolic state joining Josh Berdine 2021-06-28 03:33:51 -0700
  • de2ee6f0fd [sledge] Fix control edge depth handling for mutually recursive calls Josh Berdine 2021-06-28 03:33:46 -0700
  • 9d877652d1 [pulse][objc][nil] Improve error message for nil insertion into collection and nil block call issues Daiva Naudziuniene 2021-06-28 02:50:47 -0700
  • 724fbc4ad6 [pulse] Revise semantics of TextUtils.is_empty Sungkeun Cho 2021-06-28 01:26:40 -0700
  • 740fb36f1b [pulse] Add semantic models for C++ string length Sungkeun Cho 2021-06-28 01:26:35 -0700
  • ef2b712941 [java] delete unused `skip-implementation` option and code Nikos Gorogiannis 2021-06-25 13:45:05 -0700
  • c423b0d6a6 [java] introduce flag controlling masking of sawja exceptions Nikos Gorogiannis 2021-06-25 03:53:40 -0700
  • db0ca12d93 [test-filtering] remove dead option and code Nikos Gorogiannis 2021-06-25 00:24:17 -0700
  • c683fbd1b4 [concurrency] add support for folly::DistributedMutex Nikos Gorogiannis 2021-06-25 00:24:01 -0700
  • 5c0d3fce24 [racerd] require container method to be non-static Nikos Gorogiannis 2021-06-24 04:07:19 -0700
  • 2d1ccf5994 [erl-frontend] Activate Pulse for Erlang Radu Grigore 2021-06-24 03:10:24 -0700
  • a4a9433982 [ondemand] print exception Nikos Gorogiannis 2021-06-23 08:07:46 -0700
  • 678386acbb [pulse] Add FP tests due to infeasible paths depending on string length Sungkeun Cho 2021-06-23 05:33:51 -0700
  • 158bfa7a7a [erl-frontend] Translation of some expressions Radu Grigore 2021-06-22 03:20:12 -0700
  • 66746e2b4b [pulse][nullptr] Show NULLPTR_DEREFERENCE issues as Null Dereference as Nullptr is C++ specific term Daiva Naudziuniene 2021-06-18 06:37:13 -0700
  • 4e18aa100d [pulse][nullptr] Improve error message by removing duplicated information about the call Daiva Naudziuniene 2021-06-18 03:52:48 -0700
  • b9a04a6537 [erl-frontend] Validate association kind in map pattern Akos Hajdu 2021-06-17 08:02:16 -0700
  • 25711189a8 [erl-frontend] extract AST from compiled BEAMS Matteo Marescotti 2021-06-17 07:26:54 -0700
  • 97c9481070 [pulse][isl] support dynamic-type for subseteq-checking Loc Le 2021-06-16 08:38:14 -0700
  • 7e4f5ec43b [starvation] default to recursive if type unknown Nikos Gorogiannis 2021-06-12 03:07:16 -0700
  • ae3da516e5 [erl-frontend] Fix typo in error message Akos Hajdu 2021-06-12 00:58:10 -0700
  • 94c68c8b2a [sledge] Avoid ocamlformat regression Josh Berdine 2021-06-10 15:56:48 -0700
  • 48ca11ef64 [sledge] Fix exclude list for fmt_all make target Josh Berdine 2021-06-10 15:56:43 -0700
  • 65884018dc [erl-frontend] validate AST Akos Hajdu 2021-06-10 11:56:30 -0700
  • 4d430fb00f [pulse][objcpp][nullptr] An example of false positive Daiva Naudziuniene 2021-06-10 07:54:02 -0700
  • da250cc8b4 [Liveness] Modify qualifier to show procedure/type as code Ezgi Çiçek 2021-06-10 06:03:29 -0700
  • f089012b42 [erl-frontend] Translate some patterns: variables and lists Radu Grigore 2021-06-09 22:47:50 -0700
  • eace6140f5 [website] Add documentation for Nil Messaging of non-POD return type issue Daiva Naudziuniene 2021-06-09 02:31:28 -0700
  • dfd4dd44dd [biabduction] move SymOp module and remove dead variant Nikos Gorogiannis 2021-06-08 12:22:21 -0700
  • d5d9a9369a [biabduction] more exception auditing Nikos Gorogiannis 2021-06-08 12:22:16 -0700
  • 85b8ad463c [pulse][nullptr][objc] Include non-pod return type to improve error messages for non-pod issues Daiva Naudziuniene 2021-06-08 06:09:10 -0700
  • 8089bcb191 [config] fix incorrect json decoding of some option types Jules Villard 2021-06-08 04:52:29 -0700
  • 953a907e7b Bump ws from 6.2.1 to 6.2.2 in /website (#1451) dependabot[bot] 2021-06-08 02:21:30 -0700
  • 849c49280f [erl-frontend] make guard sequence expression list list Akos Hajdu 2021-06-08 01:21:36 -0700
  • 3eb6e0d344 [racerd] refactor reporting and split by language Nikos Gorogiannis 2021-06-05 01:22:05 -0700
  • f1dbf2548d [sledge] Add scheduler strategy for random path sampling Josh Berdine 2021-06-04 13:10:12 -0700
  • 64a5fbf14e [biabduction] recognise restart exception in timeout handling Nikos Gorogiannis 2021-06-04 12:25:14 -0700
  • ec976d3be4 Apply patch for finding correct C++ header from Apple SDKs Sungkeun Cho 2021-06-04 09:03:50 -0700
  • da425d0a4f [caml] upgrade to 4.12 and most recent versions of dependencies Jules Villard 2021-06-04 08:33:07 -0700
  • 4e3afbe329 [caml] 4.12 is fussier about possible name ambiguities Jules Villard 2021-06-04 08:32:57 -0700
  • cfed4c4fa0 [erl-frontend] Translation for case clauses Radu Grigore 2021-06-04 03:53:52 -0700
  • e5b9d415f9 [merge] die on non-existent database Nikos Gorogiannis 2021-06-04 02:21:53 -0700
  • 990d0fbed5 [racerd] treat @Initializer methods as constructors wrt ownership Nikos Gorogiannis 2021-06-04 02:01:10 -0700
  • 1e77569e64 [uninit/pulse] Enable uninit/pulse issue by defualt Sungkeun Cho 2021-06-04 01:15:34 -0700
  • e67c4c1ac8 [specs] count overwrites Nikos Gorogiannis 2021-06-03 07:42:19 -0700
  • f3ded9e492 [starvation] determine lock recursiveness on language if type unknown Nikos Gorogiannis 2021-06-03 03:25:03 -0700
  • 951cc1f7f9 [opam] workaround opam ignoring the lock file with --locked Jules Villard 2021-06-03 02:49:40 -0700
  • 818a586580 [erl-frontend] Translation for functions Radu Grigore 2021-06-02 22:47:31 -0700
  • f0741626a1 [clang] fix order of parameters in some inherited constructors Jules Villard 2021-06-02 07:57:13 -0700
  • d285ee900b [pulse] functional unknown functions Jules Villard 2021-06-02 07:57:08 -0700
  • 24b32c24f4 [pulse] model two more objc ownership transferring functions Jules Villard 2021-06-01 07:18:36 -0700
  • 55253a2763 [linereader] simplify and remove exceptions Nikos Gorogiannis 2021-06-01 05:00:20 -0700
  • 5d2ba44292 Add exn expression support in json frontend (#1450) Xiaoyu Liu 2021-06-01 04:44:05 -0700
  • 70e062e7c0 Bump dns-packet from 1.3.1 to 1.3.4 in /website (#1449) dependabot[bot] 2021-06-01 03:17:49 -0700
  • 8a85a73af3 Adding Support For Instof Subtype (#1447) Matthew Jin 2021-06-01 02:34:26 -0700
  • 55f6e27c32 Fix matching double-quotes in json example (#1448) Sangwoo Joh 2021-06-01 02:32:10 -0700
  • 199f707495 [config] add option to disable the DBWriter daemon Jules Villard 2021-05-27 07:10:44 -0700
  • 7211e4cfbc [report] Print Cost/ConfigImpact json reports only for changed files Sungkeun Cho 2021-05-27 05:08:03 -0700
  • 11ea6f9ab1 [refactoring] Move read_config_changed_files from Driver to SourceFile Sungkeun Cho 2021-05-27 05:07:57 -0700
  • f624fc1197 [website] move IRC to Libera.chat Jules Villard 2021-05-26 04:39:04 -0700
  • 98c0419acc [racerd] litho-specific messaging Nikos Gorogiannis 2021-05-26 04:16:47 -0700
  • a1855dee8a [pulse][5/5] timestamps for MustBeInitialized Jules Villard 2021-05-25 09:09:43 -0700
  • df9a7bbc81 [pulse][4/5] add a path context to record timestamps Jules Villard 2021-05-25 09:09:36 -0700
  • 4bad4bf63c [pulse][3/5] delete stale comment Jules Villard 2021-05-25 09:09:30 -0700
  • 37a79d16b0 [pulse][2/5] do not overwrite attributes Jules Villard 2021-05-25 09:09:24 -0700
  • 721e64126e [pulse][1/5] add a test that we report on the first null access Jules Villard 2021-05-25 09:09:18 -0700
  • 8446ef488c [pulse][0/5] MustBeValid should be removed in the pre, not the post Jules Villard 2021-05-25 09:09:11 -0700
  • a2de3afc04 [erl-frontend] Create (empty) Procdesc for Erlang functions. Radu Grigore 2021-05-25 05:31:29 -0700
  • a3d7d87f96 [website] Update website: forgot to add untracked files Daiva Naudziuniene 2021-05-24 08:34:26 -0700
  • ec1a13fc52 [website] Update website Daiva Naudziuniene 2021-05-24 06:17:54 -0700
  • 5ec898a4f3 [pulse] suppress leaks that are not leaks due to pointer arithmetic Jules Villard 2021-05-24 05:05:55 -0700
  • 26f0309ec9 [pulse] add "fat pointers" mem leak tests Jules Villard 2021-05-24 05:05:49 -0700
  • 75a068b602 [pulse] delay leak reporting until summary is created Jules Villard 2021-05-24 05:05:43 -0700
  • 84cc2bd371 [pulse] more config options to model dynamic memory management Jules Villard 2021-05-24 05:05:37 -0700
  • 77865559f5 [pulse] model realloc(3) Jules Villard 2021-05-24 05:05:31 -0700
  • caad455e42 [pulse] remove pulse-specific matchers from PatternMatch Jules Villard 2021-05-24 05:05:25 -0700
  • 7b5bfa1796 [pulse] defend in depth against false leaks Jules Villard 2021-05-24 05:05:19 -0700
  • b7ee374d00 [pulse] values equal to live values are not dead Jules Villard 2021-05-24 05:05:13 -0700
  • 99c53b2d7b [pulse] report leaks as soon as values become unreachable Jules Villard 2021-05-24 05:05:07 -0700
  • d11852af9a [pulse][objc][nullptr] A separate issue type for calling nil blocks Daiva Naudziuniene 2021-05-24 03:41:40 -0700
  • c8771a3eeb [pulse][objc][nullptr] Improve nil messaging traces Daiva Naudziuniene 2021-05-24 01:41:56 -0700
  • 53e6aec80d Fix .NET resource leak detection leaked type lost (#1446) Xiaoyu Liu 2021-05-21 02:03:10 -0700
  • 7e58392558 [frontend] Add support for fields of Remodel-generated class in ObjC Sungkeun Cho 2021-05-21 01:55:12 -0700
  • d8d2f2b23d [pulse] added user-defined models for malloc/free Loc Le 2021-05-20 09:08:27 -0700