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

Age	Commit message (Collapse)	Author	Files	Lines
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

2015-07-06	Add way to track variables if to it was assigned function result.	Andrei Karas	6	-11/+129

2015-07-05	Update test 30.	Andrei Karas	6	-0/+393

2015-07-05	Update test results.	Andrei Karas	3	-0/+12

2015-07-05	Add non null function arguments to knownVars and knownNonNullVars collections.	Andrei Karas	1	-1/+5

2015-07-05	Update test 29.	Andrei Karas	6	-1384/+1896

2015-07-05	Remove old commented code from statement analysis.	Andrei Karas	1	-20/+0

2015-07-05	Fix analysis for BIND_EPXR nodes.	Andrei Karas	2	-3/+3

2015-07-04	Update test results.	Andrei Karas	14	-148/+515

2015-07-04	Update test 28.	Andrei Karas	2	-10/+10

2015-07-04	Fix false positive in complex conditions like if (expr1 \|\| expr2 \|\| expr3)	Andrei Karas	1	-23/+7

2015-07-04	Update test 22.	Andrei Karas	1	-0/+11

2015-07-04	Add test 31.	Andrei Karas	7	-1/+19897

2015-07-04	Fix most issues with linked vars.	Andrei Karas	3	-33/+99

2015-07-03	Fix some issues with linked vars.	Andrei Karas	3	-51/+80

2015-07-03	Add to debug pseudo function collections linkedVars and linkedReverseVars.	Andrei Karas	1	-4/+53

2015-07-03	Update test 29.	Andrei Karas	4	-0/+1178

2015-07-03	Remove all variables from knownVars if both branches in if returned.	Andrei Karas	1	-1/+3

2015-07-03	Add test 30.	Andrei Karas	7	-1/+2035

2015-07-03	Update test 29.	Andrei Karas	5	-133/+6394

2015-07-03	Fix collections after IF_STMT or other conditions.	Andrei Karas	3	-14/+34
	Still broken linked vars and using just checked pointer in expression.
2015-07-03	Fix warning about wrong internal collection.	Andrei Karas	1	-1/+1

2015-07-03	Add incomplete implimentation for checkedElse* sets.	Andrei Karas	7	-14/+75

2015-07-03	Rename checkedNullVars into checkedThenNullVars and checkedNonNullVars into ↵	Andrei Karas	7	-77/+78
	checkedThenNonNullVars.
2015-07-03	Try to fix false positives. Still not all issues fixed.	Andrei Karas	5	-17/+70

2015-07-02	Add test 29.	Andrei Karas	7	-1/+1899

2015-07-02	If add new variable into linked vars, add it also to knownVars set.	Andrei Karas	1	-0/+1

2015-07-02	Add into function for linking variables also update for knownVars sets.	Andrei Karas	2	-3/+26

2015-07-02	Update test 28.	Andrei Karas	6	-578/+1112

2015-07-02	Remove variable from checked vars if variable assigned unknown expression.	Andrei Karas	1	-10/+20
	For now it can be call to function or some complicated expression.
2015-07-02	Update test 28. Update test results.	Andrei Karas	9	-301/+686