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

Commit Graph

  • 21ad5d64f6 [website] adjust internal links in old latest when making a new version Jules Villard 2021-03-26 10:17:34 -0700
  • 68b4b5cc27 [pulse] IsInstanceOf simplification for null obj Gabriela Cunha Sampaio 2021-03-26 09:48:00 -0700
  • 6357a97d6c [pulse] Adding model for Java Map Gabriela Cunha Sampaio 2021-03-26 09:45:29 -0700
  • 76d4563f8c [ConfigImpact] Collect all object fields that may have config values Sungkeun Cho 2021-03-26 08:27:41 -0700
  • 4ad7d23216 [ConfigImpact] Extend analysis to include conditional field checks Sungkeun Cho 2021-03-26 08:27:34 -0700
  • a8a7379423 update changelog Jules Villard 2021-03-26 08:25:03 -0700
  • b83bd1b5f7 [website] version all internal links Jules Villard 2021-03-26 06:49:42 -0700
  • eed1f3e180 [website] new version 1.1.0 Jules Villard 2021-03-26 03:21:13 -0700
  • f9b6f2bdf1 [Topl] add doc and change TOPL -> Topl Jules Villard 2021-03-25 08:13:11 -0700
  • 6f83c45e47 [topl] Remove nondet marker Radu Grigore 2021-03-25 07:39:39 -0700
  • 55af83de03 [sledge] Add convenience links to executables Josh Berdine 2021-03-25 06:17:57 -0700
  • c777325185 [sledge] Suppress newly flagged no-cmx-file warning Josh Berdine 2021-03-24 14:18:42 -0700
  • f322d92cba [sledge] Add nonsupport for preallocated operand bundles Josh Berdine 2021-03-24 14:18:36 -0700
  • 94395d9bec [sledge] Add support for ScalableVector type Josh Berdine 2021-03-24 14:18:30 -0700
  • 55813164dc [sledge] Add support for Freeze instruction Josh Berdine 2021-03-24 14:18:24 -0700
  • 6095771e57 [sledge] Add support for BFloat type Josh Berdine 2021-03-24 14:18:18 -0700
  • 5316e64230 [sledge] Add nonsupport for CallBr instruction Josh Berdine 2021-03-24 14:18:12 -0700
  • de0b4e764c [sledge] Add support for FNeg instruction Josh Berdine 2021-03-24 14:18:06 -0700
  • aeca13145a [sledge] Update operand index of Invoke callee Josh Berdine 2021-03-24 14:18:00 -0700
  • 38eb6aa8d0 [sledge] Add memtrace support Josh Berdine 2021-03-24 14:17:54 -0700
  • fb95eee214 [sledge] Update build to use vendored package for LLVM 11 Josh Berdine 2021-03-24 14:17:48 -0700
  • 8d1743bf27 [sledge] Make reading config file more robust Josh Berdine 2021-03-24 14:17:42 -0700
  • 4689a2881d [sledge][llvm] Add LLVMInternalizePredicateBindings Josh Berdine 2021-03-24 14:17:36 -0700
  • b5974020b8 [sledge][llvm] Handle nullptr in Llvm.global_initializer Josh Berdine 2021-03-24 14:17:30 -0700
  • fc348d0ac4 [sledge][llvm] Add missing TypeKinds, Opcode, and AtomicRMWBinOps Josh Berdine 2021-03-24 14:17:24 -0700
  • 637b566726 [sledge][llvm] Add OCaml APIs to access DebugLoc info Josh Berdine 2021-03-24 14:17:18 -0700
  • 823cd76f3c [sledge][llvm] Vendor LLVM OCaml bindings Josh Berdine 2021-03-24 14:17:11 -0700
  • b3b6e0e48a [sledge][llvm-dune] Vendor llvm-dune Josh Berdine 2021-03-24 14:17:05 -0700
  • 1fa2e6e430 [sledge] Update build of sledge models to use vendored cxxabi Josh Berdine 2021-03-24 14:16:59 -0700
  • bafea13b08 [sledge][cxxabi] Vendor LLVM cxxabi project Josh Berdine 2021-03-24 14:16:53 -0700
  • a68e184e92 [sledge] Add vendor dir Josh Berdine 2021-03-24 14:16:47 -0700
  • 585237aec1 [sledge] Remove functionality depending on Llvm_linker.link_in Josh Berdine 2021-03-24 14:16:41 -0700
  • 26014ecd4d [sledge] Distinguish LLVM assertion violations from general aborts Josh Berdine 2021-03-24 14:16:35 -0700
  • 6b9b16b077 [sledge] Drop calls to llvm.dbg.label Josh Berdine 2021-03-24 14:16:29 -0700
  • 45c155fdf1 [sledge] Combine multiple passes in Llair.Func.mk, fix termination bug Josh Berdine 2021-03-24 14:16:23 -0700
  • c531096f97 [sledge] Make name arg of Var.identified non-optional Josh Berdine 2021-03-24 14:16:17 -0700
  • 018c738499 [sledge] Make type arg of Exp.conditional non-optional Josh Berdine 2021-03-24 14:16:11 -0700
  • eb4a01ce8d [sledge] Change args of Loc.mk from optional to explicit options Josh Berdine 2021-03-24 14:16:04 -0700
  • 9ee705bb88 [sledge] Resolve match-on-mutable-state-prevent-uncurry warnings Josh Berdine 2021-03-24 14:15:58 -0700
  • 65f8b48aac [sledge] Check type of arg of Resume the same as param of LandingPad Josh Berdine 2021-03-24 14:15:52 -0700
  • 40fe8a8bc3 [sledge] Avoid calling Llvm.is_declaration on formal parameters Josh Berdine 2021-03-24 14:15:46 -0700
  • 5a81118e14 [sledge] Fix bug in translation of ExtractElement InsertElement instructions Josh Berdine 2021-03-24 14:15:40 -0700
  • e32f5ef6bd [sledge] Fix assert when Fpath.v passed empty string Josh Berdine 2021-03-24 14:15:34 -0700
  • d65df3457f [website] make doc-publish Jules Villard 2021-03-24 07:52:37 -0700
  • 346380c649 [pulse] Init struct fields with zero when a message is sent to nil Sungkeun Cho 2021-03-24 07:43:40 -0700
  • cd3c7b55da [pulse] FN about bug after malloc Loc Le 2021-03-24 07:20:59 -0700
  • 74f7df378d [pulse] Refactor Java Integer model Gabriela Cunha Sampaio 2021-03-24 07:12:30 -0700
  • 4ba4c74ffc [website] delete outdated "Advanced features" section Jules Villard 2021-03-24 05:31:33 -0700
  • d9c037e062 [CLI] rename biabduction-specific option Jules Villard 2021-03-24 05:31:27 -0700
  • 7d0aa9ec1c Adding a new line when pretty-printing a structured value (#1416) Andrew V. Jones 2021-03-24 05:28:52 -0700
  • c07af055eb [topl] delete shallow implementations in favour of a single Pulse one Jules Villard 2021-03-24 04:48:16 -0700
  • fd1731c34b [pulse] Refining model for Java Collection interface Gabriela Cunha Sampaio 2021-03-24 04:19:29 -0700
  • e05fd1be67 [ConfigImpact] Ignore cheap functions like Math.ceil during the analysis Sungkeun Cho 2021-03-24 03:04:18 -0700
  • 41366b5d7c Fix the URL of getting-started in build-infer.sh (#1415) HARUYAMA Seigo 2021-03-23 09:36:48 -0700
  • 30de9be354 [pulse] protect against Z exceptions Jules Villard 2021-03-23 08:43:03 -0700
  • bf0fa55a45 [immutability] Add support for modifications to Litho's Immutable Maps Ezgi Çiçek 2021-03-19 10:19:12 -0700
  • 583a011666 [pulse] Add a new config for modelling a function as returning the first arg Ezgi Çiçek 2021-03-19 09:50:33 -0700
  • 36ebf276a3 [pulse] simplify IsInstanceOf inside sub-terms too Jules Villard 2021-03-19 04:49:26 -0700
  • f322cfc261 (overdue) changelog info for 1.0.0 Jules Villard 2021-03-19 04:26:50 -0700
  • 4546dddb76 [website] update NULL_DEREFERENCE documentation Jules Villard 2021-03-19 03:20:25 -0700
  • 572080a8e9 [pulse] Havoc actuals when lengths of actuals and formals mismatch Sungkeun Cho 2021-03-19 02:22:38 -0700
  • 2b144509ab [ConfigImpact] Handle hash collision Ezgi Çiçek 2021-03-18 11:02:54 -0700
  • f56f18350d [pulse] bump base_fuel to 10 to avoid under-normalising formulas Jules Villard 2021-03-18 09:13:02 -0700
  • 4436265f6b [pulse] fold linear normalization into normalization Jules Villard 2021-03-18 09:12:54 -0700
  • 026ff12e69 [pulse][trivial] remove unused warning suppression Jules Villard 2021-03-18 09:12:47 -0700
  • 4bcf013859 [pulse] fix some new_eqs propagation issues Jules Villard 2021-03-18 09:12:40 -0700
  • df8b3e2428 bump version: 1.0.0 -> 1.1.0 Jules Villard 2021-03-18 09:04:09 -0700
  • 056c8abbff [pulse][refactor] Move operations related to function calls to PulseCallOperations Daiva Naudziuniene 2021-03-18 05:53:56 -0700
  • 55871dd285 [pulse][2/2] generate latent issues when null is allocated Jules Villard 2021-03-17 03:52:35 -0700
  • 8a1213962e [pulse][1/2] new kind of latent issues to remove some FNs Jules Villard 2021-03-17 03:52:04 -0700
  • d0cf7e3135 [pulse] refine canonicalisation Jules Villard 2021-03-17 03:51:53 -0700
  • 6273b1f445 [pulse] move summarisation and reporting functions around Jules Villard 2021-03-17 03:51:44 -0700
  • 605d6db7a7 [infer] add common C2/branch build scripts Martin Trojer 2021-03-17 03:30:53 -0700
  • abb6131e88 [cost] Add models for Java Set Ezgi Çiçek 2021-03-16 08:19:45 -0700
  • 0ada579f31 Patch missing 'limits' in facebook-clang-plugins #1407 (#1409) Andrew V. Jones 2021-03-16 05:36:02 -0700
  • b352b2c61b Add support for correctly reading the 'TMPDIR' environment variable (#1408) Andrew V. Jones 2021-03-16 05:36:03 -0700
  • e47892b7dd [tests] config-dependent cost tests Jules Villard 2021-03-16 05:01:28 -0700
  • d966003b31 [nullsafe] Change "Field not initialized" error message Mitya Lyubarskiy 2021-03-16 03:13:56 -0700
  • e0142794a3 [lab] adjust README to reflect new option name Jules Villard 2021-03-16 02:53:36 -0700
  • e7aa401777 [pulse][uninit] Remove special case for ObjC block captured variables Daiva Naudziuniene 2021-03-16 02:20:44 -0700
  • 7be85f40a2 [impurity] Refactor Option type and hoist out report functions Ezgi Çiçek 2021-03-12 07:35:50 -0800
  • b004a7f510 [liveness] Handles live variables in catch block Sungkeun Cho 2021-03-12 06:45:28 -0800
  • 8e1ea769ea [cost] Remove warning message Ezgi Çiçek 2021-03-12 06:40:41 -0800
  • d9021b9517 [frontend] Add try_entry, try_exit statements for C++ try-catch blocks Sungkeun Cho 2021-03-12 05:41:53 -0800
  • 18f28395e8 [clang] migrate to llvm/clang11 Martin Trojer 2021-03-12 04:40:25 -0800
  • c67f3d5753 [objc] Suppress block counter when getting method name Ezgi Çiçek 2021-03-12 02:55:59 -0800
  • 02598a575e [pulse] Enable OPTIONAL_EMPTY_ACCESS by default Daiva Naudziuniene 2021-03-12 02:31:26 -0800
  • 432a970432 [refactor] Remove `then ()` Ezgi Çiçek 2021-03-12 01:36:11 -0800
  • 36135aed68 [refactor] Remove `else ()` Ezgi Çiçek 2021-03-12 01:36:04 -0800
  • aae28efb44 [procname][refactor] Move is_cpp_lambda to Procname Daiva Naudziuniene 2021-03-11 09:32:29 -0800
  • 778c629401 [clang frontend][objc] Fix types of variables captured by reference in objc blocks Daiva Naudziuniene 2021-03-11 08:09:40 -0800
  • 0599185fca [litho] Add test for replicating issue with null access path args Ezgi Çiçek 2021-03-11 07:37:58 -0800
  • 55e4108a35 [cost][differential] Add FP test for blocks Ezgi Çiçek 2021-03-11 06:23:06 -0800
  • 7110c1ca3f [litho] Handle non-existing caller path Ezgi Çiçek 2021-03-11 02:05:31 -0800
  • 2d56b1bff1 [pulse] Suppress reports containing skipped calls Gabriela Cunha Sampaio 2021-03-10 06:37:36 -0800
  • c736015316 [pulse] Updating Pulse website Gabriela Cunha Sampaio 2021-03-10 03:15:03 -0800
  • cba144b779 [pulse] Adapting error messages Gabriela Cunha Sampaio 2021-03-10 03:12:25 -0800
  • 6a19997303 [racerd] fix analysis of class initializers Nikos Gorogiannis 2021-03-09 05:22:45 -0800
  • b6c006f480 [immutability] Add test to Makefile Ezgi Çiçek 2021-03-09 04:25:24 -0800
  • 68ef8ab147 [clang] [frontend] sort big match clauses Martin Trojer 2021-03-09 02:47:55 -0800