summaryrefslogtreecommitdiff
path: root/src/analysis
AgeCommit message (Collapse)AuthorFilesLines
2015-07-01Add ability for remove variable from checks without linked vars.Andrei Karas4-4/+43
2015-07-01Rename removeNullVars into removeNullVarsAll.Andrei Karas5-30/+29
2015-06-30Into walkitem add set knownNonNullVars.Andrei Karas4-7/+18
2015-06-30Add into analysis ignoring variables if variable get unknown value.Andrei Karas1-0/+12
2015-06-30Improve copy walk flags to child nodes.Andrei Karas1-7/+7
2015-06-30Fix issue if linking var to child linked var. Now it always replaced to parent.Andrei Karas2-2/+5
This allow do in code like this: var1 = param1; var2 = var1; if (var2) { // do some work with param1 or var1 or var2 }
2015-06-30Move analysis for variable assignments into shared functions.Andrei Karas2-31/+41
2015-06-29Use some auto keywords for iterator types.Andrei Karas1-2/+2
2015-06-29Use in FOR_EACH macro range based for.Andrei Karas3-45/+33
2015-06-28Add exception for delete operator in checks for multiply non null checks.Andrei Karas1-1/+79
2015-06-28Add warning for more than one checks for null variables.Andrei Karas3-0/+13
2015-06-28Rename checkNullVars into needCheckNullVars.Andrei Karas6-47/+47
2015-06-28Add warning for more than one checks for non null variables.Andrei Karas4-19/+35
2015-06-28Add knownVars field to walkitem.Andrei Karas5-0/+14
2015-06-28Use bit mask for plugin command.Andrei Karas6-21/+21
2015-06-27Before linking vars check is parent var must be checked.Andrei Karas1-2/+7
2015-06-27Check function parameters what must be non nullAndrei Karas4-0/+62
and report if variable must be checked for null
2015-06-27Extract some code from analyseFunctionDecl.Andrei Karas1-12/+16
2015-06-27Dont check first parameter in calling function by reference.Andrei Karas1-0/+7
2015-06-27Allow check function pointers in arrays in local variables.Andrei Karas1-1/+4
2015-06-27Allow check function pointers in arrays.Andrei Karas1-6/+15
2015-06-26Dont check first function parameter if function is pointer to function.Andrei Karas1-1/+3
Also detect component variable name with field type VAR_DECL.
2015-06-26Dont check for null pointer first parameter in function pointer.Andrei Karas1-0/+4
2015-06-26Check for null pointer calling function or pointer.Andrei Karas1-0/+4
2015-06-26Add missing check.Andrei Karas1-0/+2
2015-06-26Add comments and improve a bit analyser logic.Andrei Karas5-31/+28
2015-06-26Fix program name in copyright headers.Andrei Karas13-13/+13
2015-06-26Overload compare operators between pointer to Node and tree_code.Andrei Karas4-39/+27
2015-06-26Fix compilation warnings.Andrei Karas4-7/+19
2015-06-25Dont add empty vars in MODIFY_EXPR node.Andrei Karas1-2/+5
2015-06-25Improve detecting null pointers in COMPONENT_REF.Andrei Karas1-13/+16
2015-06-25Add into analysis node INIT_EXPR.Andrei Karas3-0/+23
2015-06-25Add into analysis node NON_LVALUE_EXPR.Andrei Karas3-1/+21
It works like NOP node.
2015-06-25Add support for detecting with normal variables also fields.Andrei Karas3-13/+78
2015-06-25Fix some false positives and other issues related to linked vars.Andrei Karas4-25/+51
Add reverse linked vars map.
2015-06-24Add analysis for node CLEANUP_POINT_EXPR.Andrei Karas3-0/+23
This allow fix some false positives.
2015-06-24Fix false positive report for first pointer argument for function (not method).Andrei Karas1-2/+9
2015-06-24Reorder child nodes in BIND_EXPR.Andrei Karas1-3/+15
2015-06-24Check only first function parameter and only if this is not FUNCTION_DECL.Andrei Karas1-3/+22
2015-06-23Add analysis for CALL_EXPR.Andrei Karas3-0/+27
This allow detect null pointers like this: ptr->function();
2015-06-23Fix false positive for ADDR_EXPR node.Andrei Karas3-0/+27
Ignored example: arr.push_back(ptr);
2015-06-23Add analysis for node TRUTH_OR_EXPR.Andrei Karas3-0/+17
2015-06-23Add analysis for node TRUTH_AND_EXPR.Andrei Karas3-0/+17
2015-06-23Move TRUTH_ORIF_EXPR analysis into shared function.Andrei Karas1-7/+12
2015-06-23Move TRUTH_ANDIF_EXPR analysis into shared function.Andrei Karas1-7/+12
2015-06-23Skip NOP_EXPR while walking tree.Andrei Karas1-0/+2
2015-06-23Add NOP_EXPR into analysis.Andrei Karas3-0/+17
2015-06-23Fix conditions like "if (expr && badexpr)"Andrei Karas1-1/+1
2015-06-23Fix some issues in TRUTH_ANDIF_EXPR analysis.Andrei Karas1-0/+6
2015-06-23Combine analysis code for IF_STMT and COND_EXPR into same function.Andrei Karas3-95/+38