Coccinelle - PDFSEARCH.IO - Document Search Engine

Coccinelle
Results: 57

#	Item
31	Du 1er au 31 mai 2015 JEU « espritCox » Règlement complet EN PARTICIPANT AU JEU, VOUS ACCEPTEZ EXPRESSEMENT ET SANS RESERVE LE PRESENT REGLEMENT. Add to Reading List Source URL: volkswagen-coccinelle.fr Language: French - Date: 2015-06-09 15:41:43
32	Dépliant pli-hop 3volets A4 V5:Mise en page:50 Page1 Bâtiment Polygone n Cube sauteur n Tirelire n Maison n Boîte élastique n Pyramide n Jet de confettis n Minilooping : coccinelle et papillon volant n Add to Reading List Source URL: www.cartes-voeux.info Language: French - Date: 2013-03-05 08:08:36
33	Autom Softw Eng: 119–148 DOIs10515z Generic patch inference Jesper Andersen · Julia L. Lawall Add to Reading List Source URL: www.diku.dk Language: English - Date: 2010-12-23 16:35:24 Patch Software maintenance Linux kernel Stat Diff Coccinelle Struct Computing Software System software
34	Electronic Communications of the EASST VolumeProceedings of the Fourth International Workshop on Foundations and Techniques for Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2012-10-25 20:24:56 Data types Software bugs Primitive types C programming language C++ Coccinelle Pointer C OCaml Software engineering Computing Computer programming
35	Coccinelle: Tool support for automated CERT C Secure Coding Standard certificationI Mads Chr. Olesena , Ren´e Rydhof Hansena,∗, Julia L. Lawallb , Nicolas Palixb a Department of Computer Science, Aalborg University, S Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2013-06-14 08:33:39 C programming language Programming language implementation Software bugs Cross-platform software Coccinelle Code refactoring OCaml C Pointer Computing Software engineering Computer programming
36	Semantic Patches for Documenting and Automating Collateral Evolutions in Linux Device Drivers Yoann Padioleau,1 Ren´e Rydhof Hansen,2 Julia L. Lawall,2 Gilles Muller1 1 OBASCO Group, Ecole des Mines de Nantes-INRIA, LI Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:09 SCSI Device driver Stat Coccinelle Linux kernel USB mass-storage device class Man page Computing Software Unix
37	Sheet1 Inlinkz Codes for #NAILlinkup September 2014 Theme 1 – Apples (Pommes) WP.org [inlinkz_linkup id=mode=1] WP.com Add to Reading List Source URL: www.craftynail.com Language: English - Date: 2014-08-28 10:06:47 Chemistry Matter Crystallography Sapphire Coccinelle Saphir
38	Improving Pattern Tracking with a Language-Aware Tree Differencing Algorithm Nicolas Palix Jean-Rémy Falleri Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2015-02-22 05:52:11 GumTree Unix Diff Coccinelle Pointer C Data differencing Patch Linux kernel Software Computing Cross-platform software
39	Autom Softw Eng: 119–148 DOIs10515z Generic patch inference Jesper Andersen · Julia L. Lawall Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:05 Patch Software maintenance Linux kernel Stat Diff Coccinelle Struct Computing Software System software
40	Finding Error Handling Bugs in OpenSSL using Coccinelle Julia Lawall∗ , Ben Laurie† , Ren´e Rydhof Hansen‡ , Nicolas Palix∗ and Gilles Muller§ ∗ University of Copenhagen, Email: {julia,npalix}@diku.dk † Goo Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:56 Source code Subroutines Cryptographic software OpenSSL Coccinelle Python Software bug Main function Printf format string Computer programming Computing Software engineering