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

Age	Commit message (Collapse)	Author	Files	Lines
2015-06-21	Fix nested IF_STMT nodes analysis.	Andrei Karas	1	-1/+2

2015-06-21	Fix nested COND_EXPR nodes analysis.	Andrei Karas	1	-2/+2

2015-06-21	Add basic analysis for node COMPOUND_EXPR.	Andrei Karas	3	-0/+44

2015-06-21	Fix COND_EXPR if in both branches return happend.	Andrei Karas	1	-1/+1

2015-06-21	fix COND_EXPR for C code.	Andrei Karas	1	-0/+37
	In C code COND_EXPR used like IF_STMT in C++.
2015-06-20	Add analysis for node COND_EXPR.	Andrei Karas	3	-0/+65
	This allow check expressions like: expr ? expr : expr
2015-06-20	Add support for not ignore already checked vars in complex expressions.	Andrei Karas	1	-0/+4
	Example: if (!a && a->b) if (a \|\| a->b)
2015-06-20	Add support for ignore already checked vars in complex expressions.	Andrei Karas	3	-2/+26
	Example: if (a && a->b) if (!a \|\| a->b)
2015-06-19	Fix issue if both "if" branches terminated by return.	Andrei Karas	1	-0/+12

2015-06-19	Fix some "if (expr && expr)" and "if (expr \|\| expr)" issues.	Andrei Karas	2	-36/+24

2015-06-19	Fix some issues in expressions like this "if (EXPR \|\| EXPR)"	Andrei Karas	3	-11/+32

2015-06-19	Improve expression analysis.	Andrei Karas	4	-11/+44

2015-06-19	Switch analysis IF_STMT to new way. Add special expression flags for future ↵	Andrei Karas	3	-117/+67
	usage.
2015-06-18	Add basic analysis for node TRUTH_ANDIF_EXPR.	Andrei Karas	5	-6/+52

2015-06-18	Improve analysis for nodes EQ_EXPR, NE_EXPR, TRUTH_ORIF_EXPR (incomplete).	Andrei Karas	5	-11/+51

2015-06-18	Add basic analysis for nodes EQ_EXPR and TRUTH_ORIF_EXPR.	Andrei Karas	3	-1/+45

2015-06-18	Add basic analysis for node NE_EXPR.	Andrei Karas	4	-3/+37

2015-06-18	Add support for checking is return present inside if statement.	Andrei Karas	3	-1/+20

2015-06-17	Add fake support for checking is return present inside if statemenets.	Andrei Karas	5	-7/+34

2015-06-17	Skip for analysis first function parameter if it names "this".	Andrei Karas	1	-0/+2

2015-06-17	Skip NOP_EXPR in most analysis code.	Andrei Karas	5	-10/+12

2015-06-17	Skip NOP_EXPR nodes in IF_STMT analysis.	Andrei Karas	3	-1/+17

2015-06-17	Improve null pointer warning message.	Andrei Karas	1	-1/+2

2015-06-17	Extract null pointer reporting code into separate function.	Andrei Karas	5	-54/+27

2015-06-17	Add file for analysis *_REF nodes. Add null pointer analysis in COMPOUND_REF ↵	Andrei Karas	3	-0/+106
	node.
2015-06-17	Improve parsing node INDIRECT_REF.	Andrei Karas	1	-2/+2

2015-06-15	Detect nullpointers also in methods.	Andrei Karas	1	-3/+9

2015-06-13	Fix different crash issues.	Andrei Karas	1	-2/+6

2015-06-13	Move indirect_ref and component_ref from expr directory to ref.	Andrei Karas	2	-2/+4

2015-06-12	Fix crashes in expression and statement analysis.	Andrei Karas	2	-5/+9

2015-06-12	Fix crash in function analysis.	Andrei Karas	1	-2/+4

2015-06-11	Fix some issues in test6.	Andrei Karas	3	-21/+47
	Now if variable check happend before other code variable will not trigger warning. Example: if (!a) return; *a = 10;
2015-06-11	Allow give from childs to parents variables what cant be checked.	Andrei Karas	2	-2/+12
	This need for case like this: if (!a) { ... return; } *a = 10;
2015-06-11	Change how node analysers getting information about current tasks.	Andrei Karas	11	-66/+82
	Now two variables one const for input data, and second for output data.
2015-06-10	In dumpnullpointer also dump checking variables for each node.	Andrei Karas	1	-1/+8

2015-06-10	Add into IF_STMT node analysis check for if(var).	Andrei Karas	1	-3/+32

2015-06-10	Allow in walking from one node change searched variables in same node levels.	Andrei Karas	2	-5/+11
	This fix bug in test6.
2015-06-10	Add plugin command dumpnullpointers.	Andrei Karas	1	-0/+7
	It search null pointers and also dump walking nodes.
2015-06-10	Add basic analysis for IF_STMT.	Andrei Karas	3	-0/+127

2015-06-10	Add to analysis node ADDR_EXPR.	Andrei Karas	3	-0/+26

2015-06-10	Analyse VAR_DECL for using possible null pointer input variable.	Andrei Karas	3	-0/+94

2015-06-09	Add warning in analyser for node POINTER_PLUS_EXPR.	Andrei Karas	3	-0/+26

2015-06-09	Add new plugin command detectnullpointers.	Andrei Karas	2	-11/+14

2015-06-09	Add location detection for *_EXPR nodes.	Andrei Karas	3	-1/+15
	Also fix line in warning for MODIFY_EXPR.
2015-06-09	Add first warning to MODIFY_EXPR node analysis.	Andrei Karas	1	-0/+22

2015-06-09	Add method for handle in analysis MODIFY_EXPR node.	Andrei Karas	3	-2/+85

2015-06-09	Add basic walking tree parameters.	Andrei Karas	5	-12/+79

2015-06-09	Simplify analysis code.	Andrei Karas	2	-27/+18

2015-06-09	Add basic tree analysis. Dump function arguments and detect pointers without ↵	Andrei Karas	4	-0/+255
	nonnull attribute