[Vala] Static Analyzer for Vala

From: "Mario Daniel Ruiz Saavedra" <desiderantes rocketmail com>
To: vala-list gnome org
Subject: [Vala] Static Analyzer for Vala
Date: Mon, 1 Apr 2013 01:44:41 +0000

Is out there anything like Frama-C(frama-c.com) for Vala? Yes i could use Frama-C over the C generated code, 
but it would diminish the convenient abstraction that Vala provides


Mario Daniel Ruiz Saavedra
Estudiante Ing. Sistemas - Uninorte
mruizd uninorte edu co - identi.ca/desiderantes

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]