Introduction to Coccinelle Julia Lawall (Inria/LIP6) http://coccinelle.lip6.fr September 17, 2014

Source URL: coccinelle.lip6.fr

• Computing
• Software
• Coccinelle
• Code refactoring
• ANTIC
• Dd
• Dev
• Software bug

A Note on Distributed Computing Jim Waldo Geoff Wyant Ann Wollrath Sam Kendall

Source URL: www-ftp.lip6.fr

• Computing
• Concurrent computing
• Software engineering
• Distributed computing architecture
• Inter-process communication
• Object-oriented programming
• Parallel computing
• Component-based software engineering
• Distributed object
• Object
• Common Object Request Broker Architecture
• Remote procedure call

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Towards Documenting and Automating Collateral Evolutions in Linux Device Drivers Yoann Padioleau — René Rydhof Hansen — Julia L. Lawall — Gilles Mu

Source URL: coccinelle.lip6.fr

WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code Julia L. Lawall,1 Julien Brunel,1∗ Nicolas Palix,1 Ren´e Rydhof Hansen,2 Henrik Stuart,1 Gilles Muller3 1 DIKU, University of Copenhagen,

Source URL: coccinelle.lip6.fr

• Computing
• Software engineering
• Computer programming
• Data types
• Object-oriented programming languages
• Memory management
• C++
• Scripting languages
• Null
• Coccinelle
• Pointer
• Application programming interface

Getting Started with Coccinelle KVM edition part 1 Julia Lawall (Inria/LIP6/Irill/UPMC) http://coccinelle.lip6.fr

Source URL: coccinelle.lip6.fr

• C POSIX library
• System calls
• Write
• Errno.h
• QEMU

Hunting bugs with Coccinelle Department of Computer Science, University of Copenhagen Henrik Stuart 8th August 2008 Abstract

Source URL: coccinelle.lip6.fr

• Software bugs
• Coccinelle
• Buffer overflow
• C dynamic memory allocation
• Linux kernel
• Valgrind
• Dangling pointer
• C standard library

Advanced SmPL: Finding Missing IS ERR tests Julia Lawall January 26,

Source URL: coccinelle.lip6.fr

• C
• Data types
• Struct
• Pointer
• C++ classes
• Sizeof
• Stat

Faults in Linux: Ten Years Later Nicolas Palix ∗ DIKU, University of Copenhagen

Source URL: coccinelle.lip6.fr

• Computing platforms
• C POSIX library
• POSIX
• Stat
• Linux
• Kernel
• Ext4

Semantic Patches for specifying and automating Collateral Evolutions Yoann Padioleau

Source URL: coccinelle.lip6.fr

• Procedural programming languages
• Cross-platform software
• D
• ALGOL 68

The SmPL Grammar (versionResearch group on Coccinelle June 3, 2016 This document presents the grammar of the SmPL language used by the Coccinelle tool. For the most part, the grammar is written using standard no

Source URL: coccinelle.lip6.fr

• Syntax
• Metalogic
• Metavariable
• Functional languages
• Logical truth
• Propositional calculus
• Rule of inference
• Identifier
• OCaml
• Coccinelle
• Cascading Style Sheets
• Reserved word