Coccinelle: Tool support for automated CERT C Secure Coding Standard certification-Reference-Cited by-同舟云学术

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification

Published:2014-10 Issue: Volume:91 Page:141-160
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Olesen Mads Chr.,Hansen René Rydhof,Lawall Julia L.,Palix Nicolas

Funder

FTP

Publisher

Elsevier BV

Subject

Software

Reference21 articles.

1. WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code;Lawall,2009

2. Finding error handling bugs in OpenSSL using Coccinelle;Lawall,2010

3. Tracking code patterns over multiple software versions with Herodotos;Palix,2010

4. Monotone data flow analysis frameworks;Kam;Acta Informatica,1977

5. Weighted pushdown systems and their application to interprocedural dataflow analysis;Reps;Science of Computer Programming,2005

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Concretely Mapped Symbolic Memory Locations for Memory Error Detection;IEEE Transactions on Software Engineering;2024-07

2. Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?;ACM Transactions on Knowledge Discovery from Data;2024-06-19

3. All Use-After-Free Vulnerabilities Are Not Created Equal: An Empirical Study on Their Characteristics and Detectability;Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses;2023-10-16

4. Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05

5. An Efficient Metric-Based Approach for Static Use-After-Free Detection;2022 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom);2022-12