Module analysis 

Modules

alias

api_dependency

callgraph

dataflow

owned_heap

path

points_to

Unified points-to and value-flow graph.

range

safety_flow

scan

ssa_transform

Traits

Analysis

This is a general trait designed for all program analysis features.