Google Git
Sign in
bazel / crubit / 4a73ca7e489481dd2aa0f2f78e22294a17978530 / nullability_verification / pointer_nullability_diagnosis.h
  1. 4a73ca7 Update nullability verification framework to adapt to the new diagnoser API in the clang dataflow framework by Dani Ferreira Franco Moura · 2 years, 3 months ago
  2. 5e87fad Refactor diagnoser function to return CFGElement. by Dani Ferreira Franco Moura · 2 years, 5 months ago
  3. 217eb5f Replace `transfer(const Stmt *, ...)` with `transfer(const CFGElement *, ...)` in `crubit/nullability_verification`. by Wei Yi Tee · 2 years, 6 months ago
  4. 8b58e19 Separate analysis and diagnosis components for pointer nullability verification. by Wei Yi Tee · 2 years, 8 months ago