Date: 2018-06-20 05:46:32Computing Software engineering Computer programming Software bugs Software testing Computer network security Debuggers Common Weakness Enumeration Memory debugger Memory safety Application security Frama-C | | Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report Kostyantyn Vorobyov, Nikolai Kosmatov, and Julien Signoles CEA, LIST, Software Reliability and Security Laboratory, PC 174,Add to Reading ListSource URL: julien.signoles.free.frDownload Document from Source Website File Size: 294,53 KBShare Document on Facebook
|