April 2011

  • 1.2.2 released
  • Added basic support for C++
  • Linear code framework
  • Fixed some trigerred assertions

January 2011

November 2010

  • 1.1.4 released
  • Better bugs ordering
  • Added support for more kernel constructs
  • Many fixes

June 2010

March 2010

  • 1.1.0 released
  • Added Windows support (see README.WIN32 provided in the package)

October 2009

  • 1.0.0 officially released
  • Many things rewritten, many bugs fixed

August 2009

  • 1.0.0 prerelease released. It fixes many bugs and improves usability a lot.
  • Interprocedural analysis added.
  • Many checker definitons rewritten from scratch to conform to the new interprocedural handling.
  • We still find bugs in the Linux kernel.
  • Sources and binaries (incl. rpms) released – see download page.

March 2009

  • Version 0.9 released. This is a complete rewrite of the previous tool.
  • Many bugs found in the current Linux development kernel.
  • New website unvealed.


  • Stanse is being completely rewritten.
  • Marek and Jiri join the development team.
  • Project renamed to Stanse.
  • Jan successfully defends his bachelor thesis.


  • Jarek joins ANF Data.
  • During August, the current version was evaluated at ANF DATA. The tool found several previously unknown memory errors in production code.
  • One months interships in ANF DATA, Michal, Jarek and Jan.
  • Jarek and Michal succesfully defended their master's thesis, both getting the highest grade A. Congratulations!