- 9eca4f7 Internal change by Martin Brænne · 1 year, 9 months ago
- ef1c7af Internal change by Martin Brænne · 1 year, 9 months ago
- d0b8997 Simplify tests, drop analyze_target_for_test by Sam McCall · 1 year, 9 months ago
- 89959d5 [nullability] Don't check-fail when calling variadic constructors. by Martin Brænne · 1 year, 9 months ago
- 0cdc04a Use correct LLVM gtest/gmock for inference tests by Sam McCall · 1 year, 9 months ago
- 4f6be42 consistently spell clang::tidy::nullability by Sam McCall · 1 year, 9 months ago
- da39880 Fix header guard styles by Sam McCall · 1 year, 9 months ago
- 7d9afee clang-format: PointerAlignment: Right, following LLVM style by Sam McCall · 1 year, 9 months ago
- 4af297f Fix build now that Environment is not copyable by Sam McCall · 1 year, 9 months ago
- bb7ddfd Integrate LLVM at llvm/llvm-project@d54bd7aced8b by Fangrui Song · 1 year, 9 months ago
- 60745f5 Collect null-safety constraints based on pointer usage and resolve them into implications of required nullability annotations. by Googler · 1 year, 9 months ago
- b323064 Add test to document clang's built-in nullability-merging across redecls by Sam McCall · 1 year, 9 months ago
- a354fb7 [nullability] Handle class templates with default arguments by Martin Brænne · 1 year, 9 months ago
- 381e2b9 [nullability] Fix a crash when calling builtin functions. by Martin Brænne · 1 year, 9 months ago
- 000d1c6 Add skeleton proto for distributed nullability inference by Sam McCall · 1 year, 9 months ago
- 60e4c36 [nullability] Don't crash when NullToPointer cast destination is nullptr_t. by Martin Brænne · 1 year, 9 months ago
- a6b35b6 Avoid crashing on partial template specialization by Sam McCall · 1 year, 9 months ago
- 1270d29 Add TODOs about false negatives by Dmitri Gribenko · 1 year, 9 months ago
- ad23563 Enable commented-out lines in a ParenTypeInTemplate test. by Martin Brænne · 1 year, 9 months ago
- c18ef6b Built-in alias templates aren't nullability annotations: don't crash checking by Sam McCall · 1 year, 9 months ago
- 74bf864 Allow binding nullability of decls to SAT variables, to support inference. by Sam McCall · 1 year, 9 months ago
- 6ab7b1d Internal change by Googler · 1 year, 10 months ago
- ed01de6 [nullability] When merging null states, first check if both pointers have null states. by Martin Brænne · 1 year, 10 months ago
- b1c6681 Make flow condition implications regardless of is_known properties. by Googler · 1 year, 10 months ago
- ef6dc92 add nullability_test runner, and convert some tests by Sam McCall · 1 year, 10 months ago
- 6716c46 [nullability] Use `Strict` `Environment` accessors in pointer_nullability.cc. by Martin Brænne · 1 year, 10 months ago
- 0da5885 [nullability] Use `Strict` `Environment` accessors in pointer_nullability_analysis.cc. by Martin Brænne · 1 year, 10 months ago
- f164e03 Expose whether a PointerVal has nullability properties. by Googler · 1 year, 10 months ago
- 26940a2 Recognize annotated aliases, e.g. Nullable<T> as equivalent to T _Nullable by Sam McCall · 1 year, 11 months ago
- 834d4b8 [nullability] Handle `CXXThisExpr` in non-flow-sensitive instead of flow-sensitive analysis. by Martin Brænne · 1 year, 11 months ago
- 901c35b Resugar substituted type params found in class template instantiations. by Sam McCall · 1 year, 11 months ago
- 9a442aa Add dep from tests to clang:basic by Sam McCall · 1 year, 11 months ago
- e8a3362 [nullability] Avoid crashing on alias templates with default arguments. by Martin Brænne · 1 year, 11 months ago
- 8a06793 Add README for nullability, document style quirks by Sam McCall · 1 year, 11 months ago
- 628b06b Add PointerModel for tracking dereference conditions during nullability analysis. by Googler · 1 year, 11 months ago
- d127f93 Add TypeNullability typedef for nullability vector by Sam McCall · 1 year, 11 months ago
- f2b62b3 Add non-flow-sensitive support for array types by Sam McCall · 1 year, 11 months ago
- 5b1af4f Clean up deps after splitting pointer_nullability, and add brief file doc by Sam McCall · 1 year, 11 months ago
- 9a893de Produce nullability vectors for reference types. by Sam McCall · 1 year, 11 months ago
- e37df98 Fix inconsistency between initPointerNullState and getPointerNullState by Sam McCall · 1 year, 11 months ago
- 5fc2a80 Split functions relating to type-nullability out of pointer_nullability.h by Sam McCall · 1 year, 11 months ago
- 189e965 Add test for array-declarator nullability syntax on params by Sam McCall · 1 year, 11 months ago
- 7f19b2b Rename /nullability_verification to /nullability in preparation for adding/relocating inference functionality here. by Googler · 1 year, 11 months ago
