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

Commit Graph

  • 4e02e58709 [erl-frontend] rebar3 wrapper for Erlang projects Matteo Marescotti 2021-04-23 01:45:00 -0700
  • 8a234f1e9f [buck] deal with both ways buck can report infer-deps.txt Martin Trojer 2021-04-22 06:00:19 -0700
  • aae741419c [ConfigImpact] Ignore unknown library calls with no cost model Ezgi Çiçek 2021-04-22 02:38:07 -0700
  • 4920cce2f3 [sledge] Interpret negative bounds as unbounded Josh Berdine 2021-04-21 15:36:01 -0700
  • f52f9a09ca [sledge] Rename Dom to Domain Josh Berdine 2021-04-21 15:35:55 -0700
  • 716c207095 [sledge] Move analysis config options from Domain_intf to Control_intf Josh Berdine 2021-04-21 15:35:49 -0700
  • 0cd75f8551 [sledge] Refactor to clarify limited scope of Control.Stack.as_inlined_location Josh Berdine 2021-04-21 15:35:43 -0700
  • 45156d5901 [sledge] Parameterize Control.Make over the scheduler queue Josh Berdine 2021-04-21 15:35:36 -0700
  • dcc7ed5f00 [sledge] Move definition of Control.PrioQueue out of Control.Make Josh Berdine 2021-04-21 15:35:30 -0700
  • 932e4d459c [sledge] Refactor Control.PrioQueue to be parametric in Elt Josh Berdine 2021-04-21 15:35:10 -0700
  • 7378d9f2be [sledge] Simplify Control scheduling due to total join Josh Berdine 2021-04-21 15:35:00 -0700
  • 20a6eda491 [sledge] Revise type of Domain join operation, it is not partial Josh Berdine 2021-04-21 15:34:54 -0700
  • 88699f2f86 [sledge] Fix command to enable using shared llvm library Josh Berdine 2021-04-21 15:34:48 -0700
  • d36aae1bcf [sledge] Minor code cleanup of procedure symbolic execution Josh Berdine 2021-04-21 15:34:41 -0700
  • e11641587e [sledge] Cleanup initial execution of entry points Josh Berdine 2021-04-21 15:34:35 -0700
  • 79020c4880 [sledge] Remove no-longer-needed workaround for bounding recursion Josh Berdine 2021-04-21 15:34:26 -0700
  • 7817a87e32 [sledge] Support stopping on first report in release mode Josh Berdine 2021-04-21 15:34:07 -0700
  • 631eacd71f [sledge] Add explicit type for Alarms Josh Berdine 2021-04-21 15:34:00 -0700
  • cd7b11889e [pulse] remove now-unneeded hack to avoid dedup of error states Jules Villard 2021-04-21 10:26:20 -0700
  • eb86c9cc17 [pulse] dedup states during join Jules Villard 2021-04-21 10:25:54 -0700
  • fa10bb225a [uninit/pulse] Do not track captured variables of block Sungkeun Cho 2021-04-21 02:24:50 -0700
  • df9bb5dc37 [absint] Use none_if_top_opt Ezgi Çiçek 2021-04-20 07:53:56 -0700
  • d17cbfc155 [absint] Add filter_map to MonoMap signature Sungkeun Cho 2021-04-20 04:52:25 -0700
  • 35d6c53e9c [nullsafe] Add models for FileChannel$MapMode Artem Pianykh 2021-04-20 03:37:58 -0700
  • c264fc20c1 [ConfigImpact] Address unknown ObjC init methods as cheap Sungkeun Cho 2021-04-20 02:56:07 -0700
  • 6e3b02eaee [ConfigImpact] Filter known expensive callees when cost is constant Sungkeun Cho 2021-04-20 02:52:34 -0700
  • e98fe8d24c [ConfigImpact] Add known cheap builtin callee: __cast Sungkeun Cho 2021-04-19 04:49:03 -0700
  • ad2fc1148d [pulse][isl] manifest errors Loc Le 2021-04-18 13:11:46 -0700
  • 4c48b79f6c [siof] detect constexpr for all procedures Jules Villard 2021-04-16 04:09:33 -0700
  • 02a7dd7349 [ConfigImpact] Fix a bug on analyzing fields of configs Sungkeun Cho 2021-04-14 10:22:02 -0700
  • e2c2c2b7ab [pulse] Separate issue type for nil messaging of non-pod return type Daiva Naudziuniene 2021-04-14 08:19:42 -0700
  • 4afc51755c [ConfigImpact] Increase config-impact-max-callees-to-print from 3 to 5 Ezgi Çiçek 2021-04-14 02:23:00 -0700
  • e7efc38eb0 [ci] Use Java 11 version of Buck in tests Artem Pianykh 2021-04-14 01:20:51 -0700
  • 9a2768d66d [purity] Use instruction index for gettting inferbo result Sungkeun Cho 2021-04-13 09:19:44 -0700
  • fd219ae457 [absint] Give instr index to `exec_instr` to get inferbo result Sungkeun Cho 2021-04-13 09:19:38 -0700
  • 14fb38c0da Experiments with KLEE/fuzzing to catch linearizability bugs in simple data structures Roman Manevich 2021-04-13 06:12:38 -0700
  • a2bc973125 [nullsafe] Fix a bug in handling of modelled nullable fields Artem Pianykh 2021-04-13 03:31:37 -0700
  • 341169ff0f [inferbo] Evaluate cpp vector parameter symbolically Sungkeun Cho 2021-04-13 02:17:45 -0700
  • 2bdc4e5573 [ConfigImpact] Take cost insantiation and models into account Ezgi Çiçek 2021-04-13 01:44:36 -0700
  • 8ad471d5b3 [nullsafe] Add a model for `android.provider.ContactsContract$Contacts.CONTENT_URI` Artem Pianykh 2021-04-13 01:34:09 -0700
  • 913dfb8c37 [hoisting] Instantiate cost at call instruction Ezgi Çiçek 2021-04-12 06:10:41 -0700
  • 6b9d68a267 [ConfigImpact] Consider list.size as cheap and add tests Ezgi Çiçek 2021-04-12 02:20:08 -0700
  • fa9e19ac29 [topl] Deactivate baos test Radu Grigore 2021-04-12 01:31:39 -0700
  • 57ff90a11e [sledge] Fix construction of equalities between Concat Josh Berdine 2021-04-09 08:14:07 -0700
  • ed71043920 [sledge] Optimize Trace enabled checking Josh Berdine 2021-04-09 08:13:59 -0700
  • df26c0f231 [sledge] Work harder to detect infeasible paths when executing assume Josh Berdine 2021-04-09 08:13:53 -0700
  • 87a89bb825 [sledge] Enable LLVM transformations on test code compiled with -O0 Josh Berdine 2021-04-09 08:13:47 -0700
  • 4b700b37b5 [sledge] Translate casts between Typ.equivalent types to no-op Josh Berdine 2021-04-09 08:13:41 -0700
  • 6b32a003df [sledge] Use fresh var for length when extracting from a variable Josh Berdine 2021-04-09 08:13:35 -0700
  • d5cc42a7fd [sledge] Do not disable backtrace reporting in non-debug builds Josh Berdine 2021-04-09 08:13:29 -0700
  • 5c3c89a964 [sledge] Add definitions to llair_intrinsics for assert Josh Berdine 2021-04-09 08:13:22 -0700
  • 6dab0ee459 [sledge][llvm] Reformat to clean up following CAMLprim removal Josh Berdine 2021-04-09 08:13:12 -0700
  • 83421103cf [sledge][llvm] Remove vestigial CAMLprim declarations Josh Berdine 2021-04-09 08:13:01 -0700
  • 5ef9245ea5 [sledge][llvm] Omit unnecessary GC root registrations Josh Berdine 2021-04-09 08:12:55 -0700
  • 973e901f82 [sledge][llvm] Code simplification using string allocation functions Josh Berdine 2021-04-09 08:12:49 -0700
  • e2936c1a54 [sledge][llvm] Code simplification using option allocation functions Josh Berdine 2021-04-09 08:12:43 -0700
  • 99910de44a [sledge][llvm] Minor optimizations by avoiding double initialization Josh Berdine 2021-04-09 08:12:37 -0700
  • a7b44e6969 [sledge][llvm] Fix unsafe uses of Store_field Josh Berdine 2021-04-09 08:12:31 -0700
  • bea3f3b439 [starvation] add more detail in reporting Nikos Gorogiannis 2021-04-09 06:39:28 -0700
  • f0ea201f25 [ConfigImpact] Handle known expensive calls Sungkeun Cho 2021-04-09 05:00:37 -0700
  • fb350e779f [sledge][llvm] Pull in upstream changes Josh Berdine 2021-04-08 13:47:13 -0700
  • fb75c2fb11 [refactor] Correct misnomer: params -> args Ezgi Çiçek 2021-04-08 08:16:28 -0700
  • fbcf418ea4 [ConfigImpact] Loosen compares of field names and ungated callees Sungkeun Cho 2021-04-08 03:42:49 -0700
  • dcda9b39b3 [pulse][isl] remove er spec duplicates when code includes conditionals Loc Le 2021-04-07 10:06:37 -0700
  • 2492a4fd3f [tests] Enforce java 8 backward compatibility Ezgi Çiçek 2021-04-07 09:04:28 -0700
  • a6ab4d38cf [ConfigImpact] Use cost analysis to determine cheapness Ezgi Çiçek 2021-04-07 05:33:39 -0700
  • a89d88063d [pulse][isl] abduction for null case Loc Le 2021-04-06 10:26:51 -0700
  • 3d4b3ab4be [cost] Do not print inferbo issues in tests Sungkeun Cho 2021-04-06 09:06:58 -0700
  • 7c63bef44e [pulse][isl] enable to check invalid for er specs in interprocedural analysis Loc Le 2021-04-06 06:23:49 -0700
  • e549103d75 [pulse] use term_eqs Jules Villard 2021-04-01 10:24:57 -0700
  • 5a363c9b07 [pulse][arith] small normalization improvement Jules Villard 2021-04-01 10:24:51 -0700
  • 8602b709ef [pulse][arith] change bit shifts by a constant factor into multiplications Jules Villard 2021-04-01 10:24:45 -0700
  • 8e9bc54c4a [pulse][arith] eval constant terms before other simplifications Jules Villard 2021-04-01 10:24:39 -0700
  • d1b3e56574 [pulse] cap the size of literals in formulas Jules Villard 2021-04-01 10:24:33 -0700
  • 2d83dfdcb0 [pulse] add a term_eqs field to formulas Jules Villard 2021-04-01 10:24:26 -0700
  • a5b4992873 [clang] add support for VarTemplateSpecializationDecl Jules Villard 2021-04-01 09:47:46 -0700
  • d198cb855d [clang] move mk_sil.*_var to cVar_decl Jules Villard 2021-04-01 09:47:39 -0700
  • a0da881265 [siof][trivial] add logging when calling unknown procedures Jules Villard 2021-04-01 09:47:33 -0700
  • 33e1dc1a33 Add Microsoft to List of Infer Users (#1423) Matthew Jin 2021-04-01 03:27:08 -0700
  • c3a6fa8f8c [website] upgrade dependencies Jules Villard 2021-04-01 01:31:43 -0700
  • 3e5b4c8183 [sledge] Make tracing more explicit by including module names Josh Berdine 2021-03-31 12:54:16 -0700
  • 5408be4a3a [nullsafe] Deprecate @NullsafeStrict and @Nullsafe modes except LOCAL(trustAll) Artem Pianykh 2021-03-31 08:07:47 -0700
  • a32a1a41b0 [starvation] add model for WifiManager.getConnectionInfo Nikos Gorogiannis 2021-03-31 07:31:30 -0700
  • 7b0d47217c [starvation] add models for checkPermission/checkSelfPermission Nikos Gorogiannis 2021-03-30 12:32:35 -0700
  • a7bb4bd320 [ConfigImpact] Compare unchecked callees if lengths are the same Sungkeun Cho 2021-03-30 07:55:28 -0700
  • 22c6a42d5c [deadstore][minor] Add missing FP_ Daiva Naudziuniene 2021-03-30 04:50:26 -0700
  • 58007f7ab1 [pulse] Revert back error message for general case of AccessToInvalidAddress Daiva Naudziuniene 2021-03-30 03:25:30 -0700
  • a947961d76 [deadstore] False positive caused by exceptional cfg Daiva Naudziuniene 2021-03-30 03:15:24 -0700
  • 8f3cda4b1a [sledge] Remove NS.Either, use Either now in Stdlib Josh Berdine 2021-03-29 14:04:18 -0700
  • 6ad7bbe7f1 [sledge] Simplify ppx_trace using Stdlib.__FUNCTION__ Josh Berdine 2021-03-29 14:00:07 -0700
  • 673c944fc3 [opam] Move the opam files to an opam directory at repo root Josh Berdine 2021-03-29 14:00:01 -0700
  • 3783c52a76 [starvation] add models for getStreamVolume and getRingerMode Nikos Gorogiannis 2021-03-29 08:36:34 -0700
  • 4f9c113acb [racerd] ignore autogenerated methods Nikos Gorogiannis 2021-03-29 07:00:43 -0700
  • aff237306f [ConfigImpact] Add known cheap functions of System and Number Sungkeun Cho 2021-03-29 06:34:28 -0700
  • 7a1ec45ebe [pulse][objc][nullptr] A special case for objc nil messaging for unknown call Daiva Naudziuniene 2021-03-29 05:16:52 -0700
  • df191c4084 [biabduction] Make test independent of Java specific concat Ezgi Çiçek 2021-03-29 04:53:05 -0700
  • cd9b64bd41 [sledge][llvm] Fix a possible crash in llvm_struct_name Josh Berdine 2021-03-26 14:53:49 -0700
  • 200668b3b6 [sledge][llvm] Resolve const and unsigned compilation warnings Josh Berdine 2021-03-26 14:53:43 -0700
  • 68c15476c3 [sledge][llvm] Simplify llvm_global_initializer using ptr_to_option Josh Berdine 2021-03-26 14:53:38 -0700
  • 6375450211 [sledge] Add checking formatting to CI job Josh Berdine 2021-03-26 14:53:32 -0700