Crate rapx 

Modules

analysis

check

cli

compat 🔒

def_id 🔒

Resolution of well-known core/std/alloc function paths to their internal [DefId]s.

graphs 🔒

help

helpers 🔒

limit 🔒

Central home for every numeric limit / bound used across the analysis and verification pipeline.

preprocess 🔒

utils

verify 🔒

The staged verification pipeline.

Macros

def_paths

rap_debug

rap_error

rap_info

rap_trace

rap_warn

Structs

RapCallback

This is the data structure to handle rapx options as a rustc callback.

Statics

RAPX_DEFAULT_ARGS

Functions

start_analyzer

Start the analysis with the features enabled.