Sites Inria

There are 1 Results with the keyword : "source code audit"



Code verification with BINSEC and FRAMA-C

Teams List and CEATech -

Come see how binary code analysis and source code verification can provide formal security guarantees. These demonstrations are illustrations of the use of the BINSEC and FRAMA-C software analysis platforms to provide a set of formal tools for vulnerability detection, malware analysis, security policy enforcement, and code de-obfuscation. Developped as part of a large-scale, multi-project effort, these platforms will be shown here on real-world cybersecurity samples.


Home > Centre > Nancy > Innovation > RII 2016 > Demos > Code verification with BINSEC and FRAMA-C