• master Default
  • kkysen/analyze-callee-none-to-trivial
  • kkysen/analyze-canonical-path
  • kkysen/analyze-clean-artifacts
  • kkysen/analyze-expanded-triviality
  • kkysen/analyze-known-fn-generic-foreign-fns
  • kkysen/analyze-ptr-casts-dataflow
  • kkysen/analyze-skip-extern-calls
  • kkysen/analyze-tests-limit-output
  • kkysen/analyze-tests-no-cargo
  • kkysen/append-metadata
  • kkysen/c-void-casts
  • kkysen/cargo-test-more
  • kkysen/feat.borrowck.cast.alloc
  • kkysen/fix-docker-run
  • kkysen/fix-src-loc-equality-transitivity
  • kkysen/fixes-for-llvm-15-upgrade
  • kkysen/incremental-instrumentation
  • kkysen/instrument-cwd-simplification
  • kkysen/lighttpd-allow-extern-calls
  • kkysen/non-native-tests
  • kkysen/pdg-repr-graph-id-to-hash
  • kkysen/pfb/extra-info/print-format
  • kkysen/pfb/extra-info/renames
  • kkysen/pfb/unique-checking/check-unique-refactor
  • kkysen/pfb/unique-checking/checked-graph
  • feature/lua_ast_nodes
  • feature/pragmas
  • feature/remove-cross-checks
  • feature/string_builtins
  • feature/va_copy
  • fix.addr.deref
  • fix.rewrite.foreign
  • fw/analyze-pdg-input-cherrypick
  • fw/bump-rustc
  • fw/fix-comments
  • fw/fix-comments-rebased
  • fw/fix-resource-dir
  • fw/mm_fence_vector
  • fw/parenthesize-ref-to-cast
  • fw/pdg.sh-analyze
  • fw/pdg-rebase
  • fw/release-0.17.0
  • fw/remove-broken-fns
  • fw/rewrite-never-mutated-static-muts-rebase
  • fw/rustup-fallback-build.rs
  • fw/target-dependent-asm
  • fw/testing-tweaks
  • fw/tests-explicit-type
  • fw/unfork-prettyplease
  • fw/update-atomics
  • kkysen/analysis-test-strict-provenance
  • pfb/extra-info
  • pfb/extra-info-correct
  • pfb/flow-info-gathering
  • pfb/uninited-flags
  • pfb/unique-checking
  • polonius-facts
  • resurrect_refactor
  • revert.732
  • revert-730-kkysen/lighttpd-test
  • revert-845-feat.cast.loc
  • sp/cleanup-20240923
  • sp/dev-20230502
  • sp/dev-20240603
  • sp/develop-20240110
  • sp/extra-info-test-cases
  • sp/gc-test
  • std_raw_types
  • test.ci
  • test.demo
  • test.pdg.ptrptr
  • tests.refs.fields
  • update_deps
  • update-rustc-analyze-fixes
  • v0.14.0
  • wip/raw_function_pointers
  • kkysen/refactor-variadics
  • kkysen/remove-c2rust-testsuites-ci-slack-integration
  • kkysen/remove-unused-analysis-yaml
  • kkysen/rename-rustc-private-link-to-build-utils
  • kkysen/reorganize-analysis-test-dir
  • kkysen/revert-debug-mir-func-name-path-elision
  • kkysen/rustc-private-link-rpath-rustlib
  • kkysen/simd-x86
  • kkysen/sparse-registry
  • kkysen/stricter-ci-clippy
  • kkysen/tests.refs.fields/remove-outer-deref-refactor
  • kkysen/tests-default-targets
  • kkysen/update-rustc
  • kkysen/update-rustc-incrementally
  • kkysen/update-rustc-no-changes
  • kkysen/update-rustc-slowly
  • maintenance/0.10-prep
  • nightly/20191201
  • nightly/20191205
  • perl/builtin_assume
  • perl/c11_atomics
  • perl/fix_issue_1124
  • perl/fix-ast-exporter-link-order
  • perl/fix-warnings
  • perl/reverts
  • ahomescu/analyze-compare-static-dynamic-v2
  • analyze-fixed-base
  • analyze-function-calls
  • analyze-heap-stack
  • analyze-heap-stack-base
  • analyze-inline-annotations
  • analyze-merged-pointer-ids
  • analyze-merged-pointer-ids-base
  • analyze-metrics-scripts
  • analyze-metrics-scripts-base
  • analyze-metrics-scripts-fix
  • analyze-misc-fixes-20230509
  • analyze-no-cargo
  • analyze-no-fields-in-adt-metadata
  • analyze-non-null
  • analyze-pdg-input
  • analyze-pointee-interprocedural
  • analyze-pointee-interprocedural-base
  • analyze-pointee-type
  • analyze-pointee-type-base
  • analyze-polonius-cache
  • analyze-preserve-refs
  • analyze-preserve-refs-base
  • analyze-projection-pointerid
  • analyze-recover
  • analyze-refactor-apply
  • ahomescu/analyze-logging
  • ahomescu/non_null
  • ahomescu/pdg_comments
  • ahomescu/provenance_only_pdg
  • ahomescu/update_pdg_script
  • analyze-actual-lifetimes
  • analyze-actual-lifetimes-base
  • analyze-algo_md5-new
  • analyze-algo_md5
  • analyze-call-casts
  • analyze-call-casts-base
  • analyze-call-shims
  • analyze-call-shims-base
  • analyze-cli-options
  • analyze-compare-static-dynamic
  • analyze-compare-static-dynamic-base
  • analyze-dataflow-readonly
  • analyze-defid-filter
  • analyze-defid-filter-base
  • analyze-dont-rewrite-reasons
  • analyze-equivalence-classes
  • analyze-extern-static-tys
  • analyze-extern-static-tys-base
  • analyze-fix-deconstruct-type-alias
  • analyze-fixed
  • analyze-refactor-apply-base
  • analyze-unsupported-casts-base
  • delivery-2023-11-10
  • feat.borrowck.field
  • feat.borrowck.snapshot
  • feat.cast.loc
  • feat.lighttpd.test
  • feat.lighttpd-minimal.additions
  • feat.rewrite.addrof.cell
  • feat.static.agg
  • feat.static.minimal-lighttpd
  • feat.test.ubuntu2004
  • feature/attribute-fallthrough
  • feature/attrs-on-non-canonical-decls
  • feature/bool_literals
  • feature/ci-dev
  • feature/cpp_macros
  • feature/curl
  • feature/fn_aliases
  • feature/gh_caching
  • feature/ioq3
  • feature/llvm-10
  • feature/llvm-10.0.1
  • feature/llvm-11.0.0
  • feature/llvm-15.0.0
  • feature/llvm-18.1.1
  • analyze-refactor-mir-casts
  • analyze-refactor-mir-casts-base
  • analyze-refactor-struct-static-rewrites
  • analyze-remove-noop-casts
  • analyze-rewrite
  • analyze-rewrite-adjustment-cases
  • analyze-rewrite-box
  • analyze-rewrite-box-base
  • analyze-rewrite-non-null
  • analyze-rewrite-non-null-base
  • analyze-rewrite-nullable-projections
  • analyze-rewrite-pointwise
  • analyze-rewrite-pointwise-base
  • analyze-rvalue-ltys
  • analyze-separate-typechecking
  • analyze-shim-fail-recovery
  • analyze-simple-buffer
  • analyze-simple-buffer-fixes
  • analyze-simple-buffer-fixes-base
  • analyze-sort-driver-fixes
  • analyze-statics-like-locals
  • analyze-test-attrs
  • analyze-unlower
  • analyze-unlower-base
  • analyze-unsupported-casts