[lsb-discuss] AppChecker with DynChk support - GSoC 2012 results merged

[Denis Silakov]

Hi all,

I've recently merged to bazaar results of another GSoC 2012 project 
aimed to add dynchk support for the Application Checker.

Dynchk is a runtime checker (also developed during one of the previous 
GSoC projects) that verifies different aspects of runtime behavior - 
e.g., that it doesn't pass NULLs as parameters when it is not allowed, 
uses only 'legitimate' (from LSB pov) ioctl values, etc. (though only a 
few checks exist atm; more to be added in future).

The patches merged introduce a new tab into AppChecker WebUI. That tab 
is quite independent from others; you should enter there a name of the 
command to be launched (with all the parameters), and that command will 
be passed to dynchk analysis. Results will be displayed in the same tab.

Now we should build a snapshot AppChecker, and then feel free to test 
the new features and expose you ideas/suggestions.

-- 
Regards,
Denis.