یاسر آرامش·۵ سال پیشآشنایی با Frama-C، ابزاری برای تست کد CFrama-C یک پلتفرم اختصاصی و قابل گسترش برای آنالیز سورس کد زبان C است.