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

Commit Graph

  • f8dfc1ce1f 0.0.1 master markma 2021-08-12 10:22:31 +0800
  • 09fba4a0b5 0.0.1 markma 2021-08-12 10:20:20 +0800
  • 10bcf894dc [starvation] remove redundant report parts Nikos Gorogiannis 2021-08-11 01:38:42 -0700
  • 095566c3ef [linters] do not read linter files if linters not enabled Nikos Gorogiannis 2021-08-10 03:51:15 -0700
  • 5aa4ee444b [ondemand] remove pdesc from return of file analysis Nikos Gorogiannis 2021-08-10 03:11:03 -0700
  • b1d86abbf0 [racerd] don't keep pdescs around when pnames suffice Nikos Gorogiannis 2021-08-10 03:10:58 -0700
  • 633e6bd067 [racerd] only use capture attributes instead of preanalysed Nikos Gorogiannis 2021-08-10 03:10:53 -0700
  • 7bbfb81706 [starvation] use capture attributes instead of preanalysed ones Nikos Gorogiannis 2021-08-10 03:10:48 -0700
  • 2d49f4b7ad [cost] Remove unnecessary attribute from extras Ezgi Çiçek 2021-08-10 03:08:43 -0700
  • e4c65eb2a1 [docker] update Dockerfiles Jules Villard 2021-08-06 04:22:33 -0700
  • b6278dfd7d [web] update FAQ Jules Villard 2021-08-06 02:50:59 -0700
  • 50c3f0ba64 [erl-frontend] Add more tests to check for tuple sizes Akos Hajdu 2021-08-05 08:04:54 -0700
  • 01d670299f [erl-frontend] Parse typed record fields Akos Hajdu 2021-08-05 07:55:50 -0700
  • e41babb7fd Install lzlib on macOS GitHub build Akos Hajdu 2021-08-05 04:28:48 -0700
  • 8efc8b637c [erl-frontend] Small fix to validator on map expressions Akos Hajdu 2021-08-04 09:47:07 -0700
  • f90153b428 [erl-frontend] Add tests for nested records Akos Hajdu 2021-08-03 09:30:52 -0700
  • 078d7c599f [erl-frontend] Report badrecord errors in Pulse Akos Hajdu 2021-08-03 09:17:30 -0700
  • 5f140ed91b [erl-frontend] Support records Akos Hajdu 2021-08-03 09:13:14 -0700
  • d48855913c [pulse][objc][nullptr] move nil insertion tests into a separate file Daiva Naudziuniene 2021-08-02 06:37:53 -0700
  • 1b7b1c8d52 [pulse] Normalize return values of binop/unop Sungkeun Cho 2021-08-02 04:01:07 -0700
  • ad09c1cda6 [erl-frontend] Support bitwise not operation Akos Hajdu 2021-07-30 06:17:10 -0700
  • 2fbcd3b38d [erl-frontend] Support bitwise binary operators Akos Hajdu 2021-07-30 06:08:19 -0700
  • 97fde8643c [erl-frontend] Add tests related to variables Akos Hajdu 2021-07-30 05:34:30 -0700
  • 722049f72b [erl-frontend] Add some function call tests Akos Hajdu 2021-07-30 05:28:39 -0700
  • 7107de7c8e [erl-frontend] Support tuples Akos Hajdu 2021-07-30 03:05:26 -0700
  • 489c55487b [ondemand] only look at capture DB or model summaries for CFGs Nikos Gorogiannis 2021-07-29 12:05:01 -0700
  • 6a6d888419 [ondemand] only look at capture DB for attributes Nikos Gorogiannis 2021-07-29 12:04:57 -0700
  • 389907f4da [biabduction] specialise java models without non-determinism Nikos Gorogiannis 2021-07-29 12:04:52 -0700
  • 95d25bd7c5 [clang/buck] use build report instead of stdout Nikos Gorogiannis 2021-07-29 07:56:45 -0700
  • bc99e3b38d [concurrency][c++] don't generate errors on guards without mutex Nikos Gorogiannis 2021-07-28 09:18:09 -0700
  • f15a68083c [erl-frontend] Add some list tests Akos Hajdu 2021-07-23 02:34:09 -0700
  • 89ba2cc163 [procdesc] look at capture DB only -- pulse Nikos Gorogiannis 2021-07-23 02:29:38 -0700
  • e00fe73f91 [procdesc] look at capture DB only -- closuresubst Nikos Gorogiannis 2021-07-23 02:29:34 -0700
  • 66d9ce1d51 [procdesc] look at capture DB only -- cost Nikos Gorogiannis 2021-07-23 02:29:29 -0700
  • 41c4021162 [attrs] look at capture DB only -- pulse Nikos Gorogiannis 2021-07-23 02:29:24 -0700
  • c10ddea518 [attrs] look at capture DB only -- selfinblock Nikos Gorogiannis 2021-07-23 02:29:17 -0700
  • 567fa3f955 [attrs] look at capture DB only -- cost Nikos Gorogiannis 2021-07-23 02:29:12 -0700
  • 1afd05a689 [attrs] look at capture DB only -- uninit.ml Nikos Gorogiannis 2021-07-23 02:29:07 -0700
  • ac158b26ea [attrs] look at capture DB only -- annotreach Nikos Gorogiannis 2021-07-23 02:29:02 -0700
  • 8f797bab84 [erl-frontend] Support xor expressions Akos Hajdu 2021-07-21 09:10:56 -0700
  • 888521a2ab [erl-frontend] Support short circuit logic operators (andalso, orelse) Akos Hajdu 2021-07-21 09:00:03 -0700
  • 68216ac1a1 [erl-frontend] Move back unary/binary operator matching into translation Akos Hajdu 2021-07-21 07:17:56 -0700
  • 320c82d9ad [pulse] Evaluate (e+0) as e Sungkeun Cho 2021-07-21 03:28:38 -0700
  • eb1c95a1f5 [attrs] look at capture DB only -- annotations.ml Nikos Gorogiannis 2021-07-21 03:16:25 -0700
  • a1381565f1 [attrs] look at capture DB only -- starvation Nikos Gorogiannis 2021-07-21 03:03:40 -0700
  • aa85648512 [attrs] look at capture DB only -- inferbo Nikos Gorogiannis 2021-07-21 02:57:23 -0700
  • e3685a8d9d [erl-frontend] Add tests for logic operators Akos Hajdu 2021-07-15 15:23:17 -0700
  • be8a2e1cac [erl-frontend] Add tests for comparison operators Akos Hajdu 2021-07-15 14:14:10 -0700
  • c337b06258 [erl-frontend] Split generic warning message to specific ones Akos Hajdu 2021-07-14 06:21:48 -0700
  • 02d413061a [pulse] More careful simplification of instanceof. Radu Grigore 2021-07-13 22:19:09 -0700
  • c42849964f [pulse] add a test on memory leak relating to mutual recursion Loc Le 2021-07-13 08:44:16 -0700
  • e04bc38fde [erl-frontend] Support if expressions Akos Hajdu 2021-07-13 03:49:29 -0700
  • 88beede7dc [erl-frontend] Add support for guards Akos Hajdu 2021-07-13 03:30:45 -0700
  • dbe39024bd [erl-frontend] Extract unary/binary operator matching to helper function Akos Hajdu 2021-07-12 07:28:10 -0700
  • eb41f6d8e4 [infer] Use allow/block list terminology Sungkeun Cho 2021-07-12 01:42:46 -0700
  • 622d981bda Bump ssri from 6.0.1 to 6.0.2 in /website (#1468) dependabot[bot] 2021-07-09 01:23:30 -0700
  • c82308e586 [erl-frontend] Support block expressions Akos Hajdu 2021-07-08 08:50:44 -0700
  • 87626160aa [erl-frontend] Support unary minus and not expressions and patterns Akos Hajdu 2021-07-08 08:46:21 -0700
  • f0ab545594 Add Infer# Support for Inference Between Type Expressions (#1455) Matthew Jin 2021-07-08 05:27:59 -0700
  • 9d7eb5684a Fix linguist tool configuration (exclude docs from stats) (#1466) Vladislav Prekel 2021-07-08 04:21:08 -0700
  • efba111eeb Bump prismjs from 1.23.0 to 1.24.0 in /website (#1462) dependabot[bot] 2021-07-08 04:18:29 -0700
  • 9d221eb692 [erlang] Not use --suffix option of mktemp Matteo Marescotti 2021-07-08 01:49:40 -0700
  • fbcee3198e [erl-frontend] Split up non-exhaustive pattern matching tests Akos Hajdu 2021-07-07 07:03:48 -0700
  • 7f64015957 [erl-frontend] Add tests for binary expression translation Akos Hajdu 2021-07-07 06:14:56 -0700
  • ab550541dc [c++] translate std::shared_ptr stdlib implementation Jules Villard 2021-07-07 05:22:06 -0700
  • f61425db29 [pulse] refactor initial state creation Jules Villard 2021-07-06 09:30:58 -0700
  • 07cb347912 [pulse] generate latent abort for non-POD nil messaging summary Jules Villard 2021-07-06 09:30:54 -0700
  • 79e45fae17 [pulse][objc][nils] Fix printing of non-pod type in the error message Daiva Naudziuniene 2021-07-06 08:56:10 -0700
  • 4410e9ab79 [pulse] avoid some FPs due to incompleteness in the arihtmetic engine Jules Villard 2021-07-06 08:39:57 -0700
  • 5093fe4614 [erl-frontend] Add tests for non-exhaistive case expressions Akos Hajdu 2021-07-06 06:05:30 -0700
  • a46bd3f55a [buck][clang] config options Nikos Gorogiannis 2021-07-06 05:43:21 -0700
  • c4eddcb179 [erl-frontend] Split up test methods into smaller units Akos Hajdu 2021-07-06 05:26:40 -0700
  • 566102d7f4 [pulse] better trace when realising latent invalid accesses Jules Villard 2021-07-06 03:19:12 -0700
  • 3ba916530a [erl-frontend] Adjust translation of expression Case Radu Grigore 2021-07-05 11:38:44 -0700
  • 6788fdef7e [erl-frontend] Translate expression Match Radu Grigore 2021-07-05 11:38:39 -0700
  • 2ecfa422ac [topl] Update static matching for Erlang procedures. Radu Grigore 2021-07-05 11:38:34 -0700
  • 0f4394503b [config] remove dead flag Nikos Gorogiannis 2021-07-05 07:37:00 -0700
  • 68356a40d2 [sourcefile] die on extension of invalid file Nikos Gorogiannis 2021-07-02 05:18:06 -0700
  • 268015fbf3 [sledge] Add concurrency analysis Josh Berdine 2021-07-02 03:06:59 -0700
  • 347887eebd [sledge] Rework Control to use an explicit abstract machine state Josh Berdine 2021-07-02 03:06:54 -0700
  • 5a4f3b4bcc [sledge] Rename joinable to equal_destination Josh Berdine 2021-07-02 03:06:49 -0700
  • bcd1e1e02e [sledge] Simplify Control.resolve_callee Josh Berdine 2021-07-02 03:06:44 -0700
  • 827e2b3de3 [sledge] Simplify Control.exec_call Josh Berdine 2021-07-02 03:06:40 -0700
  • f5c6a5a79d [sledge] Add type for instruction pointers and use in Control Josh Berdine 2021-07-01 17:35:17 -0700
  • e43582b480 [sledge] Add n-ary join to Domain and use in analysis Josh Berdine 2021-07-01 17:35:13 -0700
  • e8890c7bc6 [sledge] Memoize reg to var translation Josh Berdine 2021-07-01 17:35:08 -0700
  • 9150290abe [sledge] Minor improvement of Sh printing Josh Berdine 2021-07-01 12:26:45 -0700
  • ee4bb29cc4 [sledge] Global initializers do not contain registers Josh Berdine 2021-07-01 12:18:23 -0700
  • 063ddb5784 [erl-frontend] First Erlang test with warnings Radu Grigore 2021-07-01 03:33:34 -0700
  • 7bb2e678e3 [sledge] Add Ord.( @? ) to lexicographically compose compare functions Josh Berdine 2021-07-01 03:30:45 -0700
  • 37aa0159ea [sledge] Add Set.pop_min_elt_exn Josh Berdine 2021-07-01 03:30:40 -0700
  • ec8ba5aea3 [sledge] Add Map.max_binding_exn Josh Berdine 2021-07-01 03:30:35 -0700
  • df4ce19954 [sledge] Add List.foldi Josh Berdine 2021-07-01 03:30:30 -0700
  • 8678923ca2 [sledge] Add List.Assoc support for deriving compare, equal, sexp_of Josh Berdine 2021-07-01 03:30:25 -0700
  • d67a977f71 [sledge] Use opam var instead of opam config var Josh Berdine 2021-07-01 03:30:20 -0700
  • a7c4b5f951 [concurrency] log failure to parse lock arguments Nikos Gorogiannis 2021-07-01 02:07:22 -0700
  • 84d747b90c [erl-frontend] Translate some binary expressions Akos Hajdu 2021-06-30 09:32:34 -0700
  • 98c32643fa [erl-frontend] Extract helper methods for blocks Akos Hajdu 2021-06-30 09:06:09 -0700
  • 0a5323160f [erl-frontend] Translate case expressions and int literals Akos Hajdu 2021-06-30 09:01:20 -0700
  • c7e0f092a1 [kotlin] add flag controlling Kotlin capture Nikos Gorogiannis 2021-06-30 08:41:53 -0700