Frama-C API - Apron_domain
Experimental binding for the numerical abstract domains provided by the APRON library: http://apron.cri.ensmp.fr/library For now, this binding only processes scalar integer variables.
val octagon : Eva.Abstractions.Domain.registeredval box : Eva.Abstractions.Domain.registeredval polka_loose : Eva.Abstractions.Domain.registeredval polka_strict : Eva.Abstractions.Domain.registeredval polka_equality : Eva.Abstractions.Domain.registered