Login / Signup

Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification.

Mads Chr. OlesenRené Rydhof HansenJulia L. LawallNicolas Palix
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
  • coding scheme
  • third party
  • databases
  • end users
  • coding method
  • software engineering practices
  • security mechanisms