Module analysis 

Modules

alias_analysis

api_dependency

callgraph

dataflow

ownedheap_analysis

path_analysis

range_analysis

safetyflow_analysis

scan

ssa_transform

Traits

Analysis

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