DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Coccinelle (software)
Coccinelle (software)
Semantic Patches for Java Program Transformation
Coccinelle: Reducing the Barriers to Modularization in a Large C Code Base
Inferring Semantic Patches for the Linux Kernel
Automating Patching of Vulnerable Open-Source Software Versions in Application Binaries
SED 1214 Transcript EPISODE 1214
Automated Secure Code Review for Webapplications
Detect Complex Code Patterns Using Semantic Grep
Introducing Semgrep
Towards Generating Transformation Rules Without Examples for Android API Replacement
Effective Source Code Analysis with Minimization
Clang and Coccinelle: Synergising Program Analysis Tools for CERT C Secure Coding Standard Certification
Aalborg Universitet Coccinelle Tool Support for Automated
Design and Implementation of Semantic Patch Support for the Spoon Java Transformation Engine
Coccinelle Usage (Version 1.1.0 )
Coccinelle: 10 Years of Automated Evolution in the Linux Kernel
Coccinelle Introduction for Wine
Improving the Quality of Error-Handling Code in Systems Software Using Function-Local Information Suman Saha
Finding Bugs in Open Source Systems Code Using Coccinelle
Top View
Program Analysis of Temporal Memory Mismanagement
Coccinelle: 10 Years of Automated Evolution in the Linux Kernel
Introducing Semgrep
Introduction to Coccinelle and Smpl
Clang and Coccinelle: Synergising Program Analysis Tools for CERT C Secure Coding Standard Certification
K-Miner: Uncovering Memory Corruption in Linux
Inside the Mind of a Coccinelle Programmer
Introduction to Semantic Patching of C Programs with Coccinelle
Coccinelle Semantic Patch Language
Semantic Patches for Documenting and Automating Collateral Evolutions in Linux Device Drivers
Linux Kernel, Glibc, Busybox
Detect Complex Code Patterns Using Semantic Grep
The Smpl Grammar (Version 1.1.0 )
Getting Started with Coccinelle KVM Edition Part 1
FOSS Static Analysis Tools for Embedded Systems and How to Use Them
Input Algebras
Automating Program Transformation for Java Using Semantic Patches Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo