Function check 

pub fn check(source: &str) -> StaticAnalysisReport

Scan source for forbidden patterns. Returns a report of all violations. An empty violations list means the source passed all checks.