summaryrefslogtreecommitdiff
path: root/src/analysis
AgeCommit message (Expand)AuthorFilesLines
2015-07-10Add ability to check variables assigned in if/while and check outside of this...Andrei Karas3-22/+20
2015-07-08Add WHILE_STMT node analysis.Andrei Karas5-1/+119
2015-07-06Track variable for checking null pointer assigned from function call only if ...Andrei Karas1-0/+16
2015-07-06Add way to track variables if to it was assigned function result.Andrei Karas6-11/+129
2015-07-05Add non null function arguments to knownVars and knownNonNullVars collections.Andrei Karas1-1/+5
2015-07-05Remove old commented code from statement analysis.Andrei Karas1-20/+0
2015-07-05Fix analysis for BIND_EPXR nodes.Andrei Karas2-3/+3
2015-07-04Fix false positive in complex conditions like if (expr1 || expr2 || expr3)Andrei Karas1-23/+7
2015-07-04Fix most issues with linked vars.Andrei Karas3-33/+99
2015-07-03Fix some issues with linked vars.Andrei Karas3-51/+80
2015-07-03Add to debug pseudo function collections linkedVars and linkedReverseVars.Andrei Karas1-4/+53
2015-07-03Remove all variables from knownVars if both branches in if returned.Andrei Karas1-1/+3
2015-07-03Fix collections after IF_STMT or other conditions.Andrei Karas2-13/+33
2015-07-03Fix warning about wrong internal collection.Andrei Karas1-1/+1
2015-07-03Add incomplete implimentation for checkedElse* sets.Andrei Karas6-14/+73
2015-07-03Rename checkedNullVars into checkedThenNullVars and checkedNonNullVars into c...Andrei Karas6-74/+74
2015-07-03Try to fix false positives. Still not all issues fixed.Andrei Karas4-16/+69
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
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 bra...Andrei Karas1-1/+8
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 Karas5-0/+239
2015-07-01Move collection manipulation functions into separate file.Andrei Karas6-166/+235
2015-07-01Move report functions into separate file.Andrei Karas7-112/+187
2015-07-01Add macroses isIn and IsNotIn.Andrei Karas3-33/+33
2015-07-01Report useless checks if variable was checked for null and non null in all ca...Andrei Karas1-3/+6
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 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
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
2015-06-27Extract some code from analyseFunctionDecl.Andrei Karas1-12/+16