Back to Results
First PageMeta Content
Computing / 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 List

Document Date: 2018-06-20 05:46:32

Open Document

File Size: 294,53 KB

Share Result on Facebook
UPDATE