rapx::analysis::core

Module heap_item

source

Modules§

Structs§

  • DefaultOwnership
  • Encoder
  • FindPtr
  • HeapItem
    We encapsulate the interface for identifying heap items in a struct named HeapItem. This struct is a zero-sized type (ZST), so creating and using it does not incur any overhead. These interfaces typically take at least two fixed inputs. One is the context metadata of rCanary, which stores the cache for ADT analysis (of course, users do not need to know the specific information stored). The second input is the type that the user needs to process, along with other parameters.
  • IndexedTy
  • IsolatedParam 🔒
  • IsolatedParamFieldSubst 🔒
  • IsolatedParamPropagation 🔒
  • IsolatedParameter
    We encapsulate the interface for identifying isolated parameters in a struct named IsolatedParameter. This struct is a zero-sized type (ZST), so creating and using it does not incur any overhead. These interfaces typically take at least two fixed inputs. One is the context metadata of rCanary, which stores the cache for ADT analysis (of course, users do not need to know the specific information stored). The second input is the type that the user needs to process, along with other parameters.
  • OwnerPropagation 🔒
  • TypeAnalysis

Functions§

Type Aliases§