summaryrefslogtreecommitdiff
path: root/src/analysis/analysis.cpp
AgeCommit message (Expand)AuthorFilesLines
2019-03-07Add GOTO_EXPRAndrei Karas1-0/+4
2015-08-19Skip CLEANUP_POINT_EXPR node as other NOP nodes.Andrei Karas1-3/+6
2015-08-04Add numeric value in node calculation.Andrei Karas1-0/+4
2015-07-23Remove null checks from COMPONENT_REF node. But add check in different parent...Andrei Karas1-0/+4
2015-07-20Work with break statement in same way like with continue.Andrei Karas1-0/+4
2015-07-10Add analysis for CONTINUE_STMT node.Andrei Karas1-0/+7
2015-07-08Add WHILE_STMT node analysis.Andrei Karas1-1/+5
2015-07-01Some fixes for known vars collections.Andrei Karas1-3/+6
2015-07-01Move collection manipulation functions into separate file.Andrei Karas1-143/+1
2015-07-01Move report functions into separate file.Andrei Karas1-98/+0
2015-07-01Add macroses isIn and IsNotIn.Andrei Karas1-17/+17
2015-07-01Add addNullVar function. Improve a bit analysis for MODIFY_EXPR.Andrei Karas1-0/+7
2015-07-01Add ability for remove variable from checks without linked vars.Andrei Karas1-0/+34
2015-07-01Rename removeNullVars into removeNullVarsAll.Andrei Karas1-6/+6
2015-06-30Into walkitem add set knownNonNullVars.Andrei Karas1-0/+2
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 Karas1-1/+4
2015-06-29Use some auto keywords for iterator types.Andrei Karas1-2/+2
2015-06-29Use in FOR_EACH macro range based for.Andrei Karas1-27/+21
2015-06-28Rename checkNullVars into needCheckNullVars.Andrei Karas1-25/+25
2015-06-28Add warning for more than one checks for non null variables.Andrei Karas1-0/+9
2015-06-28Add knownVars field to walkitem.Andrei Karas1-0/+2
2015-06-28Use bit mask for plugin command.Andrei Karas1-1/+1
2015-06-27Check function parameters what must be non nullAndrei Karas1-0/+37
2015-06-26Add missing check.Andrei Karas1-0/+2
2015-06-26Add comments and improve a bit analyser logic.Andrei Karas1-13/+20
2015-06-26Fix program name in copyright headers.Andrei Karas1-1/+1
2015-06-26Overload compare operators between pointer to Node and tree_code.Andrei Karas1-8/+7
2015-06-25Improve detecting null pointers in COMPONENT_REF.Andrei Karas1-13/+16
2015-06-25Add into analysis node INIT_EXPR.Andrei Karas1-0/+4
2015-06-25Add into analysis node NON_LVALUE_EXPR.Andrei Karas1-1/+7
2015-06-25Add support for detecting with normal variables also fields.Andrei Karas1-1/+11
2015-06-25Fix some false positives and other issues related to linked vars.Andrei Karas1-21/+43
2015-06-24Add analysis for node CLEANUP_POINT_EXPR.Andrei Karas1-0/+4
2015-06-23Add analysis for CALL_EXPR.Andrei Karas1-0/+4
2015-06-23Fix false positive for ADDR_EXPR node.Andrei Karas1-0/+9
2015-06-23Add analysis for node TRUTH_OR_EXPR.Andrei Karas1-0/+4
2015-06-23Add analysis for node TRUTH_AND_EXPR.Andrei Karas1-0/+4
2015-06-23Skip NOP_EXPR while walking tree.Andrei Karas1-0/+2
2015-06-23Add NOP_EXPR into analysis.Andrei Karas1-0/+3
2015-06-23Fix some scope issues. Can be tested with future test 21.Andrei Karas1-1/+9
2015-06-22Fix issue in related variables checks.Andrei Karas1-0/+8
2015-06-22Add support for related checks for "linked" variables.Andrei Karas1-12/+28
2015-06-22Remove possible variables for check for parents if need.Andrei Karas1-1/+5
2015-06-22In places where searched function parameters nodes (PARM_DECL)Andrei Karas1-1/+1
2015-06-22Add analysis for code like "type *var = parm"Andrei Karas1-5/+54
2015-06-21Add basic analysis for node COMPOUND_EXPR.Andrei Karas1-0/+4
2015-06-20Add analysis for node COND_EXPR.Andrei Karas1-0/+4
2015-06-20Add support for ignore already checked vars in complex expressions.Andrei Karas1-0/+12
2015-06-19Fix some issues in expressions like this "if (EXPR || EXPR)"Andrei Karas1-3/+11