[TF-A] ECLAIR for static analysis