mana/paranucker - Paranoid static code analyzer for C/C++ Regular Users should NOT download this.

Age	Commit message (Collapse)	Author	Files	Lines
2015-07-21	Track variables as non null if to pointer variable assigned non zero value.	Andrei Karas	1	-2/+5

2015-07-21	Fix false positives with detecting variables as pointers in VAR_DECL nodes.	Andrei Karas	1	-0/+3

2015-07-21	Allow in each node set limit for child nodes to parse.	Andrei Karas	52	-65/+70

2015-07-21	Add to parsers to get fields type. Limit type pointers to parse only one ↵	Andrei Karas	9	-10/+22
	child nodes level.
2015-07-20	Update test 34.	Andrei Karas	4	-0/+2080

2015-07-20	Work with break statement in same way like with continue.	Andrei Karas	3	-0/+15

2015-07-20	Update test 38.	Andrei Karas	8	-873/+1300

2015-07-20	Fix detection for normal variables as pointers.	Andrei Karas	1	-2/+5

2015-07-20	Update test 36.	Andrei Karas	5	-398/+2769

2015-07-20	Fix handling "var = new Type" if Type have virtual destructor.	Andrei Karas	1	-14/+45

2015-07-20	Improve call function handling.	Andrei Karas	2	-22/+34

2015-07-20	Update test 36.	Andrei Karas	4	-0/+488

2015-07-20	Update test 37. Update test results.	Andrei Karas	11	-439/+5224

2015-07-20	Detect what variable is null after if with both branches set variable to ↵	Andrei Karas	1	-0/+8
	null value.
2015-07-20	Allow detect if variable was assigned nullptr.	Andrei Karas	1	-0/+5

2015-07-20	Update test 37.	Andrei Karas	4	-0/+3297

2015-07-20	Detect what variable is non null after if with both branches set variable to ↵	Andrei Karas	1	-1/+13
	non null value.
2015-07-20	Update test 37.	Andrei Karas	4	-0/+1660

2015-07-20	Add ability for detect what variable will be non null after if block (in ↵	Andrei Karas	3	-5/+21
	else branch)
2015-07-20	Add test 38. Update test results.	Andrei Karas	15	-1549/+14767

2015-07-20	If in if/while body changed any variable, outside of body it removed from ↵	Andrei Karas	3	-0/+16
	known null vars.
2015-07-19	Handle situation like this: "type var = nullptr". Here var will be known as ↵	Andrei Karas	3	-0/+16
	nulled variable.
2015-07-19	Update test 37.	Andrei Karas	4	-0/+1372

2015-07-19	Fix ability for detect what variable will be non null after while block.	Andrei Karas	1	-1/+3

2015-07-19	Add test 37.	Andrei Karas	7	-1/+7584

2015-07-19	Add ability for detect what variable will be non null after if block.	Andrei Karas	3	-0/+41
	Example: if (!ptr) { ptr1 = new data; } // here ptr1 always non null
2015-07-18	Fix detecting sub nodes in MODIFY_EXPR.	Andrei Karas	1	-3/+6
	Was missing skipNop call.
2015-07-13	Add test 36.	Andrei Karas	7	-1/+1730

2015-07-13	Add ability to detect return from operator new as non null pointer.	Andrei Karas	1	-1/+3
	It allow this example: int ptr = new int[10]; // paranucker work with ptr here as with non null pointer
2015-07-10	Add test 35. Update test results.	Andrei Karas	17	-1422/+5435

2015-07-10	Fix false positive like this: ptr = ptr->val;	Andrei Karas	1	-4/+9

2015-07-10	Update test 34.	Andrei Karas	4	-0/+4160

2015-07-10	Add analysis for CONTINUE_STMT node.	Andrei Karas	5	-4/+29

2015-07-10	Update test 34.	Andrei Karas	4	-0/+1769

2015-07-10	Unlink assigned variable in if/while body.	Andrei Karas	2	-10/+19

2015-07-10	Update test 34.	Andrei Karas	7	-44/+1260

2015-07-10	Fix false positives in second check in while condition.	Andrei Karas	1	-0/+2

2015-07-10	Update test 34.	Andrei Karas	6	-737/+1922

2015-07-10	Disable check for useless checks in second check in while condition.	Andrei Karas	4	-7/+22
	This fix false positive in this example: while(ptr) { ... }
2015-07-10	Update test 34. Update test results.	Andrei Karas	8	-0/+1365

2015-07-10	In WHILE_STMT also check condition after while body.	Andrei Karas	1	-0/+5
	This allow detect issue like this: if (!ptr) return; while (ptr->num) { ... ptr = someothervalue; }
2015-07-10	Add test 34. Update test 31. Update test results.	Andrei Karas	14	-1503/+8009

2015-07-10	Add ability to check variables assigned in if/while and check outside of ↵	Andrei Karas	3	-22/+20
	this block.
2015-07-08	Add test 33.	Andrei Karas	7	-1/+2100

2015-07-08	Update test 32. Update test results.	Andrei Karas	26	-3745/+8697

2015-07-08	Add WHILE_STMT node analysis.	Andrei Karas	5	-1/+119
	This add basic support for while(exprt) {code}
2015-07-06	Allow parse function type attributes in FUNCTION_TYPE always.	Andrei Karas	2	-2/+2

2015-07-06	Update test 32. Update test retulst.	Andrei Karas	18	-3418/+6745

2015-07-06	Track variable for checking null pointer assigned from function call only if ↵	Andrei Karas	11	-8/+52
	function return pointer. Update METHOD_TYPE for always parse function return type.
2015-07-06	Add test 32. Update test results.	Andrei Karas	14	-3378/+6181