Marina Makienko

	open	closed	Total
Assigned issues	5	0	5
Reported issues	6	0	6

Project	Roles	Registered on
Linux Driver Verification	Reporter	07/04/2012
BLAST	Reporter	08/20/2012
LDV Tools	Reporter	03/17/2018
CPAchecker	Reporter	07/28/2018
CVC3 with small optimizations for BLAST	Reporter	07/25/2018

01:00 PM Track Finding Tools for NICA MPD Revision 93169bab (mpdroot): ZDC changes: Marina Makienko

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 Marina Makienko

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... Marina Makienko

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(). Marina Makienko

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... Marina Makienko

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:... Marina Makienko

Also available in: Atom

Open-Source Projects