Tracking Code Patterns over
Multiple Software Versions with Herodotos

Downloads

• Data archive
• Herodotos tool
• Herodotos Configuration
• SmPL defect patterns (more information here)
  • File descriptor not released (open)
  • Check for return without free when some memory has been allocated (kernel version -- kmalloc)
  • Check for return without free when some memory has been allocated (user-space version -- malloc)
  • Dereferencing a pointer know to be NULL (isnull)
  • Find cases where a pointer is dereferenced and then compared to NULL (null_ref)
  • Dectect test against NULL when the value is know not be NULL (notnull)
  • Check for unused variable which are affected only by constant (unused)
  • Use the integer zero instead of NULL with pointer variable (badzero)
  • !x&y combines boolean negation with bitwise and (notand)
  • Comparison of unsigned value with less than zero (unsigned)
• Corresponding generated files [SVG] [PNG]

• Linux
• OpenSSL
• VLC
• Wine

• Linux
• OpenSSL
• VLC
• Wine

Other resources

• Coccinelle