summaryrefslogtreecommitdiff
path: root/src/analysis/statement.cpp
AgeCommit message (Expand)AuthorFilesLines
2015-08-06Fix false positive in return statment.Andrei Karas1-6/+22
2015-07-23Remove null checks from COMPONENT_REF node. But add check in different parent...Andrei Karas1-0/+2
2015-07-20Work with break statement in same way like with continue.Andrei Karas1-0/+6
2015-07-20Detect what variable is null after if with both branches set variable to null...Andrei Karas1-0/+8
2015-07-20Detect what variable is non null after if with both branches set variable to ...Andrei Karas1-1/+13
2015-07-20Add ability for detect what variable will be non null after if block (in else...Andrei Karas1-3/+3
2015-07-20If in if/while body changed any variable, outside of body it removed from kno...Andrei Karas1-0/+3
2015-07-19Fix ability for detect what variable will be non null after while block.Andrei Karas1-1/+3
2015-07-19Add ability for detect what variable will be non null after if block.Andrei Karas1-0/+4
2015-07-10Add analysis for CONTINUE_STMT node.Andrei Karas1-4/+12
2015-07-10Fix false positives in second check in while condition.Andrei Karas1-0/+2
2015-07-10Disable check for useless checks in second check in while condition.Andrei Karas1-4/+5
2015-07-10In WHILE_STMT also check condition after while body.Andrei Karas1-0/+5
2015-07-10Add ability to check variables assigned in if/while and check outside of this...Andrei Karas1-6/+6
2015-07-08Add WHILE_STMT node analysis.Andrei Karas1-0/+74
2015-07-05Remove old commented code from statement analysis.Andrei Karas1-20/+0
2015-07-03Fix some issues with linked vars.Andrei Karas1-51/+30
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 Karas1-5/+4
2015-07-03Add incomplete implimentation for checkedElse* sets.Andrei Karas1-12/+17
2015-07-03Rename checkedNullVars into checkedThenNullVars and checkedNonNullVars into c...Andrei Karas1-21/+21
2015-07-03Try to fix false positives. Still not all issues fixed.Andrei Karas1-12/+45
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 Karas1-0/+5
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-01Fix different issues in useless variables checks.Andrei Karas1-8/+8
2015-07-01Rename removeNullVars into removeNullVarsAll.Andrei Karas1-5/+5
2015-06-30Into walkitem add set knownNonNullVars.Andrei Karas1-3/+5
2015-06-29Use in FOR_EACH macro range based for.Andrei Karas1-14/+8
2015-06-28Add warning for more than one checks for null variables.Andrei Karas1-0/+2
2015-06-28Rename checkNullVars into needCheckNullVars.Andrei Karas1-7/+7
2015-06-28Add knownVars field to walkitem.Andrei Karas1-0/+4
2015-06-28Use bit mask for plugin command.Andrei Karas1-1/+1
2015-06-26Add comments and improve a bit analyser logic.Andrei Karas1-1/+6
2015-06-26Fix program name in copyright headers.Andrei Karas1-1/+1
2015-06-25Fix some false positives and other issues related to linked vars.Andrei Karas1-4/+2
2015-06-23Combine analysis code for IF_STMT and COND_EXPR into same function.Andrei Karas1-10/+22
2015-06-23Use same code in IF_STMT and COND_EXPR.Andrei Karas1-38/+40
2015-06-22Fix issue in related variables checks.Andrei Karas1-0/+7
2015-06-22Add analysis for code like "type *var = parm"Andrei Karas1-3/+5
2015-06-21Fix nested IF_STMT nodes analysis.Andrei Karas1-1/+2
2015-06-19Fix issue if both "if" branches terminated by return.Andrei Karas1-0/+12
2015-06-19Fix some "if (expr && expr)" and "if (expr || expr)" issues.Andrei Karas1-1/+1
2015-06-19Improve expression analysis.Andrei Karas1-3/+5
2015-06-19Switch analysis IF_STMT to new way. Add special expression flags for future u...Andrei Karas1-102/+43
2015-06-18Add basic analysis for node TRUTH_ANDIF_EXPR.Andrei Karas1-1/+0
2015-06-18Improve analysis for nodes EQ_EXPR, NE_EXPR, TRUTH_ORIF_EXPR (incomplete).Andrei Karas1-0/+10
2015-06-18Add support for checking is return present inside if statement.Andrei Karas1-0/+13
generated by cgit v1.2.3-60-g2f50 (git 2.42.0) at 2024-06-30 18:24:13 +0000