Coccinelle - PDFSEARCH.IO - Document Search Engine

Coccinelle
Results: 57

#	Item
41	Documenting and Automating Collateral Evolutions in Linux Device Drivers Yoann Padioleau Julia Lawall Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:58 Linux Coccinelle Code refactoring Unix Linux kernel Stat Device driver Patch OCaml Software Computing System software
42	Towards Easing the Diagnosis of Bugs in OS Code Henrik Stuart René Rydhof Hansen ∗ Julia L. Lawall Jesper Andersen Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:20 Coccinelle Code refactoring Interrupt flag Software bug Debugging Linux kernel Program transformation Kernel Python Computing Computer programming Software engineering
43	Enforcing the Use of API Functions in Linux Code Julia L. Lawall DIKU, University of Copenhagen Denmark Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:26 Linux Linux kernel HAL Udev Coccinelle Operating system Device driver Stat Application programming interface Software Computing System software
44	Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification Mads Chr. Olesen1 , Ren´e Rydhof Hansen1 , Julia L. Lawall2 , Nicolas Palix2 1 rrh,, http://www.cs Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:19 Data types Primitive types C programming language Coccinelle Code refactoring Software bugs Pointer C OCaml Software engineering Computing Computer programming
45	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: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:56 Data types Coccinelle Code refactoring Null Pointer Software bug C Python Application programming interface Computing Software engineering Computer programming
46	Coccinelle: A program matching and transformation tool Himangi Saraogi, Linux kernel intern, FOSS Outreach Program for Women Round 8, Mentor: Julia Lawall Add to Reading List Source URL: lca2015.linux.org.au Language: English - Date: 2015-01-20 18:47:47 Linux kernel Kernel System software Coccinelle Software bug Software Computing Linux
47	Coccinelle: A program matching and transformation tool Himangi Saraogi, Linux kernel intern, FOSS Outreach Program for Women Round 8, Mentor: Julia Lawall Add to Reading List Source URL: linux.conf.au Language: English - Date: 2015-01-20 18:47:47 Linux kernel Kernel System software Coccinelle Software bug Software Computing Linux
48	LA COCCINELLE… LA RENTRÉE 2013 Postes de suppléance pour les sites Alain-Fortin ♦ Arc-en-Ciel ♦ De la Découverte ♦ Des Sentiers ♦ La Source ♦ Le Prélude ♦ Reine-des-Bois ♦ Saint-Guillaume L Add to Reading List Source URL: www.cscvanier.com Language: French - Date: 2014-06-16 08:11:36
49	Hunting bugs with Coccinelle Department of Computer Science, University of Copenhagen Henrik Stuart 8th August 2008 Abstract Add to Reading List Source URL: www.emn.fr Language: English - Date: 2008-09-29 10:30:00 Software bugs Coccinelle OCaml Buffer overflow Linux kernel Valgrind Debian C dynamic memory allocation C standard library Software Computing Computer programming
50	es À 10 minut d’Arcachon Saison 2014 Add to Reading List Source URL: la-coccinelle.fr Language: French - Date: 2014-04-08 10:01:24