Coccinelle - PDFSEARCH.IO - Document Search Engine

Coccinelle
Results: 57

#	Item
11	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, Add to Reading List Source URL: coccinelle.lip6.fr Language: English Computing Software engineering Computer programming Data types Object-oriented programming languages Memory management C++ Scripting languages Null Coccinelle Pointer Application programming interface
12	Getting Started with Coccinelle KVM edition part 1 Julia Lawall (Inria/LIP6/Irill/UPMC) http://coccinelle.lip6.fr Add to Reading List Source URL: coccinelle.lip6.fr Language: English C POSIX library System calls Write Errno.h QEMU
13	Hunting bugs with Coccinelle Department of Computer Science, University of Copenhagen Henrik Stuart 8th August 2008 Abstract Add to Reading List Source URL: coccinelle.lip6.fr Language: English Software bugs Coccinelle Buffer overflow C dynamic memory allocation Linux kernel Valgrind Dangling pointer C standard library
14	Advanced SmPL: Finding Missing IS ERR tests Julia Lawall January 26, Add to Reading List Source URL: coccinelle.lip6.fr Language: English C Data types Struct Pointer C++ classes Sizeof Stat
15	Faults in Linux: Ten Years Later Nicolas Palix ∗ DIKU, University of Copenhagen Add to Reading List Source URL: coccinelle.lip6.fr Language: English Computing platforms C POSIX library POSIX Stat Linux Kernel Ext4
16	Semantic Patches for specifying and automating Collateral Evolutions Yoann Padioleau Add to Reading List Source URL: coccinelle.lip6.fr Language: English Procedural programming languages Cross-platform software D ALGOL 68
17	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 Add to Reading List Source URL: coccinelle.lip6.fr Language: English Syntax Metalogic Metavariable Functional languages Logical truth Propositional calculus Rule of inference Identifier OCaml Coccinelle Cascading Style Sheets Reserved word
18	How Often do Experts Make Mistakes? Add to Reading List Source URL: coccinelle.lip6.fr Language: English Linux kernel Cross-platform software Memory management Linux Software bug Operating system C dynamic memory allocation Application programming interface Loadable kernel module Pointer Memory leak Kernel
19	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julia Lawall (University of Copenhagen) Joint work with Add to Reading List Source URL: coccinelle.lip6.fr Language: English C Struct Sizeof Stat C++ classes Coccinelle
20	Documenting and Automating Collateral Evolutions in Linux Device Drivers Yoann Padioleau Julia Lawall Add to Reading List Source URL: www.padator.org Language: English - Date: 2008-06-02 18:08:45 Linux kernel Coccinelle Code refactoring Loadable kernel module Device driver Kernel Patch Stat Linux Typedef