News

April 2011

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

January 2011

• 1.1.7 released
• Fixed ThreadChecker
• Code and output cleaned up

November 2010

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

June 2010

• 1.1.2 released
• Added LockChecker and Points-to analyses.

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.

2008

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

2007

• 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!