Module analysis

Modules

core

opt

rcanary

safedrop

senryx

test

unsafety_isolation

utils

Traits

Analysis

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