Back to Results
First PageMeta Content
C programming language / Programming language implementation / Software bugs / Cross-platform software / Coccinelle / Code refactoring / OCaml / C / Pointer / Computing / Software engineering / Computer programming


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

Document Date: 2013-06-14 08:33:39

Open Document

File Size: 291,91 KB

Share Result on Facebook

Country

Denmark / /

/

Facility

Aalborg University / University of Copenhagen / WALi library / /

IndustryTerm

excellent tool / prototype tool / secure systems / static analysis tools / search capabilities / command processors / code search / open source infrastructure software / adaptable tool / analysis tools / web site4 / search patterns / program transformation tool / software project / /

OperatingSystem

ISIS / Linux / GNU / POSIX / /

Organization

Aalborg University / Department of Computer Science / University of Copenhagen / US CERT1 / /

Person

Nicolas Palixb / Julia L. Lawallb / Selma Lagerl / Nicolas Palix / Julia L. Lawall / /

/

Position

human programmer / tun virtual network driver / programmer / /

ProgrammingLanguage

C / Python / /

Technology

external command processors / Linux / API / /

URL

http /

SocialTag