summaryrefslogtreecommitdiff
path: root/src/analysis
AgeCommit message (Expand)AuthorFilesLines
2015-06-20Add support for ignore already checked vars in complex expressions.Andrei Karas3-2/+26
2015-06-19Fix issue if both "if" branches terminated by return.Andrei Karas1-0/+12
2015-06-19Fix some "if (expr && expr)" and "if (expr || expr)" issues.Andrei Karas2-36/+24
2015-06-19Fix some issues in expressions like this "if (EXPR || EXPR)"Andrei Karas3-11/+32
2015-06-19Improve expression analysis.Andrei Karas4-11/+44
2015-06-19Switch analysis IF_STMT to new way. Add special expression flags for future u...Andrei Karas3-117/+67
2015-06-18Add basic analysis for node TRUTH_ANDIF_EXPR.Andrei Karas5-6/+52
2015-06-18Improve analysis for nodes EQ_EXPR, NE_EXPR, TRUTH_ORIF_EXPR (incomplete).Andrei Karas5-11/+51
2015-06-18Add basic analysis for nodes EQ_EXPR and TRUTH_ORIF_EXPR.Andrei Karas3-1/+45
2015-06-18Add basic analysis for node NE_EXPR.Andrei Karas4-3/+37
2015-06-18Add support for checking is return present inside if statement.Andrei Karas3-1/+20
2015-06-17Add fake support for checking is return present inside if statemenets.Andrei Karas5-7/+34
2015-06-17Skip for analysis first function parameter if it names "this".Andrei Karas1-0/+2
2015-06-17Skip NOP_EXPR in most analysis code.Andrei Karas5-10/+12
2015-06-17Skip NOP_EXPR nodes in IF_STMT analysis.Andrei Karas3-1/+17
2015-06-17Improve null pointer warning message.Andrei Karas1-1/+2
2015-06-17Extract null pointer reporting code into separate function.Andrei Karas5-54/+27
2015-06-17Add file for analysis *_REF nodes. Add null pointer analysis in COMPOUND_REF ...Andrei Karas3-0/+106
2015-06-17Improve parsing node INDIRECT_REF.Andrei Karas1-2/+2
2015-06-15Detect nullpointers also in methods.Andrei Karas1-3/+9
2015-06-13Fix different crash issues.Andrei Karas1-2/+6
2015-06-13Move indirect_ref and component_ref from expr directory to ref.Andrei Karas2-2/+4
2015-06-12Fix crashes in expression and statement analysis.Andrei Karas2-5/+9
2015-06-12Fix crash in function analysis.Andrei Karas1-2/+4
2015-06-11Fix some issues in test6.Andrei Karas3-21/+47
2015-06-11Allow give from childs to parents variables what cant be checked.Andrei Karas2-2/+12
2015-06-11Change how node analysers getting information about current tasks.Andrei Karas11-66/+82
2015-06-10In dumpnullpointer also dump checking variables for each node.Andrei Karas1-1/+8
2015-06-10Add into IF_STMT node analysis check for if(var).Andrei Karas1-3/+32
2015-06-10Allow in walking from one node change searched variables in same node levels.Andrei Karas2-5/+11
2015-06-10Add plugin command dumpnullpointers.Andrei Karas1-0/+7
2015-06-10Add basic analysis for IF_STMT.Andrei Karas3-0/+127
2015-06-10Add to analysis node ADDR_EXPR.Andrei Karas3-0/+26
2015-06-10Analyse VAR_DECL for using possible null pointer input variable.Andrei Karas3-0/+94
2015-06-09Add warning in analyser for node POINTER_PLUS_EXPR.Andrei Karas3-0/+26
2015-06-09Add new plugin command detectnullpointers.Andrei Karas2-11/+14
2015-06-09Add location detection for *_EXPR nodes.Andrei Karas3-1/+15
2015-06-09Add first warning to MODIFY_EXPR node analysis.Andrei Karas1-0/+22
2015-06-09Add method for handle in analysis MODIFY_EXPR node.Andrei Karas3-2/+85
2015-06-09Add basic walking tree parameters.Andrei Karas5-12/+79
2015-06-09Simplify analysis code.Andrei Karas2-27/+18
2015-06-09Add basic tree analysis. Dump function arguments and detect pointers without ...Andrei Karas4-0/+255