static analysis tools often use an intermediate representation kubintu twibeshye ngenzi yasangiye akababaro ka mukarugambwa cyane