summaryrefslogtreecommitdiff
path: root/src/analysis/expression.cpp
AgeCommit message (Expand)AuthorFilesLines
2015-07-20Fix detection for normal variables as pointers.Andrei Karas1-2/+5
2015-07-20Fix handling "var = new Type" if Type have virtual destructor.Andrei Karas1-14/+45
2015-07-20Improve call function handling.Andrei Karas1-22/+33
2015-07-20Allow detect if variable was assigned nullptr.Andrei Karas1-0/+5
2015-07-19Handle situation like this: "type var = nullptr". Here var will be known as n...Andrei Karas1-0/+2
2015-07-18Fix detecting sub nodes in MODIFY_EXPR.Andrei Karas1-3/+6
2015-07-13Add ability to detect return from operator new as non null pointer.Andrei Karas1-1/+3
2015-07-10Fix false positive like this: ptr = ptr->val;Andrei Karas1-4/+9
2015-07-10Add ability to check variables assigned in if/while and check outside of this...Andrei Karas1-1/+2
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 Karas1-4/+74
2015-07-05Fix analysis for BIND_EPXR nodes.Andrei Karas1-2/+2
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 Karas1-12/+3
2015-07-03Fix collections after IF_STMT or other conditions.Andrei Karas1-8/+29
2015-07-03Add incomplete implimentation for checkedElse* sets.Andrei Karas1-0/+4
2015-07-03Rename checkedNullVars into checkedThenNullVars and checkedNonNullVars into c...Andrei Karas1-27/+27
2015-07-03Try to fix false positives. Still not all issues fixed.Andrei Karas1-4/+13
2015-07-02Add into function for linking variables also update for knownVars sets.Andrei Karas1-3/+4
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-01Add way for check internall collections by pseudo function call from code.Andrei Karas1-0/+7
2015-07-01Move collection manipulation functions into separate file.Andrei Karas1-0/+1
2015-07-01Move report functions into separate file.Andrei Karas1-0/+1
2015-07-01Add macroses isIn and IsNotIn.Andrei Karas1-15/+15
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 Karas1-3/+14
2015-07-01Add addNullVar function. Improve a bit analysis for MODIFY_EXPR.Andrei Karas1-20/+20
2015-07-01Add ability for remove variable from checks without linked vars.Andrei Karas1-3/+2
2015-07-01Rename removeNullVars into removeNullVarsAll.Andrei Karas1-5/+4
2015-06-30Into walkitem add set knownNonNullVars.Andrei Karas1-3/+7
2015-06-30Add into analysis ignoring variables if variable get unknown value.Andrei Karas1-0/+12
2015-06-30Move analysis for variable assignments into shared functions.Andrei Karas1-31/+32
2015-06-29Use in FOR_EACH macro range based for.Andrei Karas1-4/+4
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 Karas1-0/+8
2015-06-28Rename checkNullVars into needCheckNullVars.Andrei Karas1-8/+8
2015-06-28Add warning for more than one checks for non null variables.Andrei Karas1-18/+22
2015-06-28Add knownVars field to walkitem.Andrei Karas1-0/+4
2015-06-28Use bit mask for plugin command.Andrei Karas1-14/+14
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 Karas1-0/+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
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 comments and improve a bit analyser logic.Andrei Karas1-14/+2
generated by cgit v1.2.3-60-g2f50 (git 2.42.0) at 2024-07-06 14:02:00 +0000