General

Profile

Marina Makienko

Issues

Projects

Activity

06/16/2014

06:28 PM C Instrumentation Framework Revision dddd0d89: Use ability to process actual arguments of macrofunctions substituted at the global scope
Conflicts:
models/0110.tmpl

01/31/2013

12:29 PM Linux Kernel Safety RuleDB Feature #2706: 101: All obtained blk requests should be put after all
If the last argument of function (gfp_t gfp_mask) is __GFP_WAIT, we don't need to check function return value. The st...

10/23/2012

12:19 PM Linux Kernel Safety RuleDB Feature #3431: 144: correct terminations of functions in usb-system
The rule 144_1p was added in this model. It checks the correction of functions used in rule 144_1a only in probe().

09/19/2012

11:07 AM Linux Kernel Safety RuleDB Feature #3431: 144: correct terminations of functions in usb-system
This model was devided on some rules:
- 144_1 - check the correction of functions, which use memory allocation
- 14...

09/12/2012

01:49 PM Linux Kernel Safety RuleDB Feature #3431 (Open): 144: correct terminations of functions in usb-system
After each function, which works with memory,should be other function, which frees it.
For example:...

09/11/2012

03:39 PM C Instrumentation Framework Revision 85046b45: Merge branch 'master' of itgdev.intra.ispras.ru:kernel-rules

09/06/2012

11:39 AM C Instrumentation Framework Revision 81384e53: Add description of 139 in DRVRULES

09/05/2012

04:15 PM C Instrumentation Framework Revision 694cf08f: Add links in DRVRULES_en.trl for 136
03:56 PM C Instrumentation Framework Revision 374d5ab0: Update DRVRULES_en.trl for 101
01:19 PM C Instrumentation Framework Revision 597e8db9: Delete #include <linux/err.aspect> in 139

Also available in: Atom