Scilint Change Log

Version 0.3, Nov 22, 2013:

• General:
  • Support for FireHose output format
• Arguments:
  • New argument -I, to add a directory to the search path
  • New argument -xml, to output in FireHost format
• Fixes:
  • Remove assertion failures during analysis
• Warnings:
  • Warning W008: for variable modified in for loop
  • Warning W009: redefinition of primitive function
  • Warning W010: redefinition of local function
  • Warning W011: redefinition of library function
  • Warning W012: unexpected string argument
  • Warning W013: primitive with too many arguments

Version 0.2, Nov 12, 2013:

• Warnings:
  • Warning W003: duplicate function argument
  • Warning W004:duplicate return variable
  • Warning W005: function argument used as return variable
  • Warning W006: return variable is never set
  • Warning W007: return variable used as a local variable

Version 0.1, Sep 20, 2013:

• General
  • First public appearance of Scilint
• Warnings
  • Warning W001: variable not initialized
  • Warning W002: unused function argument