summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2015-07-03Try to fix false positives. Still not all issues fixed.Andrei Karas5-17/+70
2015-07-02If add new variable into linked vars, add it also to knownVars set.Andrei Karas1-0/+1
2015-07-02Add into function for linking variables also update for knownVars sets.Andrei Karas2-3/+26
2015-07-02Remove variable from checked vars if variable assigned unknown expression.Andrei Karas1-10/+20
For now it can be call to function or some complicated expression.
2015-07-02Ignore analysis for node CALL_EXPR if enabled plugin command findargs.Andrei Karas1-0/+3
2015-07-02Remove var from knownVars collections if to var assigned "garbage" value.Andrei Karas1-0/+3
2015-07-02Fix knownVars collection again.Andrei Karas1-4/+10
2015-07-02Fix knownVars collections after exit from IF_STMT with return in some/all ↵Andrei Karas1-1/+8
branches.
2015-07-01Some fixes for known vars collections.Andrei Karas2-3/+11
2015-07-01Add way for check internall collections by pseudo function call from code.Andrei Karas6-0/+241
2015-07-01Move collection manipulation functions into separate file.Andrei Karas7-166/+237
2015-07-01Move report functions into separate file.Andrei Karas8-112/+189
2015-07-01Add macroses isIn and IsNotIn.Andrei Karas5-34/+40
2015-07-01Report useless checks if variable was checked for null and non null in all ↵Andrei Karas1-3/+6
cases.
2015-07-01Fix different issues in useless variables checks.Andrei Karas2-11/+22
2015-07-01Add addNullVar function. Improve a bit analysis for MODIFY_EXPR.Andrei Karas3-20/+30
2015-07-01Add ability for remove variable from checks without linked vars.Andrei Karas5-4/+44
2015-07-01Rename removeNullVars into removeNullVarsAll.Andrei Karas6-31/+31
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 Karas2-3/+2
2015-06-29Use in FOR_EACH macro range based for.Andrei Karas6-75/+49
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 Karas4-0/+14
2015-06-28Rename checkNullVars into needCheckNullVars.Andrei Karas7-48/+48
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 Karas6-0/+15
2015-06-28Use bit mask for plugin command.Andrei Karas10-41/+43
2015-06-28Improve debug logging.Andrei Karas1-23/+32
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-27Allow parse parameters atribute nodes for nested functions or calls.Andrei Karas1-1/+2
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 Karas320-320/+320
2015-06-26Overload compare operators between pointer to Node and tree_code.Andrei Karas8-40/+63
2015-06-26Fix compilation warnings.Andrei Karas5-8/+23
2015-06-26Rename to Ast dumper to Paranoid null checker.Andrei Karas10-18/+18
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