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