smatch source matcher 08

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes

An experiment in finding kernel errors. There are two main parts to Smatch. The first is a patch to the gcc sources to print out a lot of information. The second part is a collection of perl scripts and libraries to analyze the information.

VERSION HISTORY

  • Version smatch-patch-v.08 posted on 2003-07-01
    Several fixes and updates
  • Version smatch-patch-v.08 posted on 2003-07-01

Program Details