Module Concurrency.RacerDFileAnalysis

val analyze : RacerDDomain.summary Absint.InterproceduralAnalysis.file_t -> Absint.IssueLog.t