summaryrefslogtreecommitdiff
path: root/src/analysis/expression.cpp
AgeCommit message (Expand)AuthorFilesLines
2019-03-07Add GOTO_EXPRAndrei Karas1-2/+12
2015-08-19Fix some false positives in expressions like this: ptr1 = ptr2->data;Andrei Karas1-1/+1
2015-08-19Fix some false positive in function calls.Andrei Karas1-1/+3
2015-08-18Fix some false positives in experession like this: var = new type();Andrei Karas1-5/+38
2015-08-18Fix false positive like this: if (ptr && ptr->func())Andrei Karas1-1/+16
2015-08-17Fix false positives like this: var = &expr;Andrei Karas1-1/+11
2015-08-08In MODIFY_EXPR report only if vars without non null flags.Andrei Karas1-2/+4
2015-08-08Dont check variable in CALL_EXPR if variable have attribute NONNULLPOINTER.Andrei Karas1-1/+2
2015-08-08Add support for non null pointer attribute in PARM_DECL nodes.Andrei Karas1-1/+24
2015-08-06Fix false positives with references.Andrei Karas1-11/+0
2015-08-05Fix false positives in references. Before it counted as pointers.Andrei Karas1-0/+11
2015-08-05Add one debug line in code.Andrei Karas1-0/+1
2015-08-04Add more checks for attribute nonnullpointer.Andrei Karas1-8/+25
2015-08-04Add support for checking some global pointers.Andrei Karas1-0/+2
2015-08-04Add initial support for tracking 'nonnullpointer' attribute.Andrei Karas1-30/+49
2015-08-04Replace variables name types from std::string to VarItem.Andrei Karas1-75/+76
2015-08-04Ignore variables if FIELD_DECL have attribute nonnullpointer.Andrei Karas1-1/+19
2015-08-04Return from COMPOUND_EXPR numeric result.Andrei Karas1-0/+4
2015-08-04Add numeric value in node calculation.Andrei Karas1-8/+17
2015-08-03Fix false positives in IF_STMT/WHILE_STMT condition if useless checks detected.Andrei Karas1-0/+10
2015-07-24Add detection for some calls to new operator.Andrei Karas1-0/+6
2015-07-24Dont add unknown var if it already known and var node is empty.Andrei Karas1-1/+2
2015-07-23Add some missing checks for null pointers.Andrei Karas1-0/+6
2015-07-23Check right part of MODIFY_EXPR node.Andrei Karas1-0/+4
2015-07-23Do not check for null pointers variables with vptr.Andrei Karas1-0/+17
2015-07-23Fix some false positive with getting address from pointer variable.Andrei Karas1-0/+6
2015-07-23Fix some false positive with calling function.Andrei Karas1-4/+18
2015-07-23Dont check variable type on PARM_DECL also add unknown vars to known.Andrei Karas1-8/+22
2015-07-23Check all variables before using for pointer type.Andrei Karas1-1/+35
2015-07-23Remove null checks from COMPONENT_REF node. But add check in different parent...Andrei Karas1-3/+92
2015-07-22Allow detect some kind of empty pointer variables or if assigned unknown value.Andrei Karas1-11/+19
2015-07-22Allow detect as non null if to pointer assigned address from some var.Andrei Karas1-0/+14
2015-07-21Track new pointer variables if variable not have initial value.Andrei Karas1-0/+6
2015-07-21Track variables as non null if to pointer variable assigned non zero value.Andrei Karas1-2/+5
2015-07-21Fix false positives with detecting variables as pointers in VAR_DECL nodes.Andrei Karas1-0/+3
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
generated by cgit v1.2.3-60-g2f50 (git 2.42.0) at 2024-06-01 11:20:08 +0000