Rinser: Deriving Succinct Evidence for Automated Code Reviews
Rinser is a tool developed at Amazon to ease user interaction with static analysis results presented in code reviews and is able to produce traces on average 10x shorter than Infer traces in under 6 seconds on average due the the removal of irrelevant information.